Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

initial book entry for concolic #257

Merged
merged 3 commits into from
Aug 23, 2021
Merged

initial book entry for concolic #257

merged 3 commits into from
Aug 23, 2021

Conversation

julihoh
Copy link
Collaborator

@julihoh julihoh commented Aug 10, 2021 •
edited

TODO:

  • release concolic crates to make links work.
  • I assumed in the markdown that the next version of libafl will be 0.6.0. if this is not the case, I'll have to update the links.

@julihoh
Copy link
Collaborator Author

julihoh commented Aug 20, 2021

This is ready to be merged from my side @andreafioraldi @domenukk

@julihoh julihoh requested a review from domenukk August 20, 2021 14:17
domenukk
domenukk approved these changes Aug 20, 2021
View reviewed changes
Copy link
Member

@domenukk domenukk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sweet intro! :)

docs/src/advanced_features/concolic/concolic.md Outdated Show resolved Hide resolved
docs/src/advanced_features/concolic/concolic.md Outdated Show resolved Hide resolved
docs/src/advanced_features/concolic/concolic.md Outdated Show resolved Hide resolved
docs/src/advanced_features/concolic/concolic.md Outdated Show resolved Hide resolved
@julihoh
Copy link
Collaborator Author

julihoh commented Aug 23, 2021

fixed all nits + some more. can we get this merged + published before tonight? (tonight's the deadline for GSoC 😬)

@andreafioraldi andreafioraldi merged commit d1021c7 into main Aug 23, 2021
@domenukk domenukk deleted the concolic_book_additions branch September 14, 2021 12:10
khang06 pushed a commit to khang06/LibAFL that referenced this pull request Oct 11, 2022
@julihoh
initial book entry for concolic (AFLplusplus#257)
e96bedd 
* initial book entry for concolic

* update links to still work with fixed version of symcc_runtime

* spelling
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@domenukk domenukk domenukk approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@julihoh @domenukk @andreafioraldi