LibAFL icon indicating copy to clipboard operation
LibAFL copied to clipboard

Updating Components in LibAFL and Dockerfile

Open nomnomshark41 opened this issue 6 months ago • 3 comments

Description

updated bitbybit to latest version because the issue https://github.com/danlehmann/bitfield/issues/66 has been solved and using also the git version because of the issue https://github.com/danlehmann/bitfield/issues/2

Checklist

  • [x] I have run ./scripts/precommit.sh and addressed all comments

nomnomshark41 avatar Jun 01 '25 19:06 nomnomshark41

forgot to talk about z3 it should be statically builded because z3-sys doesn't build per default the c project

nomnomshark41 avatar Jun 01 '25 20:06 nomnomshark41

Thanks! However, crates can't depend on git if we want to upload them to crates.io, so we'll have to wait for the changes to get published.

domenukk avatar Jun 02 '25 05:06 domenukk

As for Z3, you can enable this feature in your own project's Cargo.toml if you want to build it statically - usually it's easier/faster to install z3, instead

domenukk avatar Jun 02 '25 05:06 domenukk