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.

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

Libafl forkserver test #1585

Merged
merged 15 commits into from
Jan 11, 2023
Merged

Conversation

andreafioraldi
Copy link
Contributor

Recently, we added the support to run AFL++ binaries in LibAFL with CmpLog and shmem inputs.
With this PR, I'm requesting a bug-based benchmark (as the advantage of the forkserver is reliability even when the target is crashing often) to test if the Rust implementation matches the original C version of AFL++ in code and bug coverage.

Related to this, #1584

@andreafioraldi andreafioraldi marked this pull request as draft December 13, 2022 16:33
@andreafioraldi andreafioraldi marked this pull request as ready for review December 13, 2022 21:45
@jonathanmetzman
Copy link
Contributor

Bug based benchmarks is extremely broken now.

@andreafioraldi
Copy link
Contributor Author

Bug based benchmarks is extremely broken now.

Every benchmark? Just 2 or 3 would be fine.

presubmit doesn't fail locally and it seems to fail a test that is (probably) unrelated to my PR.

@andreafioraldi
Copy link
Contributor Author

Do you know the last working commit? At least I can rebase on it and run on a subset of the programs locally

@andreafioraldi andreafioraldi marked this pull request as draft December 14, 2022 13:14
@jonathanmetzman
Copy link
Contributor

Do you want to run this now? I think we're in better shape

@andreafioraldi
Copy link
Contributor Author

Do you want to run this now? I think we're in better shape

No for a strange reason some benchmarks don't build with afl++ under libafl_forkserver, I'm trying to figure out why, I'll remove the draft mark when ready

@andreafioraldi andreafioraldi marked this pull request as ready for review January 11, 2023 13:41
@andreafioraldi
Copy link
Contributor Author

@jonathanmetzman ok to merge now, bug benchs build

@jonathanmetzman jonathanmetzman merged commit 4a58f44 into google:master Jan 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants