SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix cargo.toml

Browse Source
This commit is contained in:
Alwin Berger 2024-08-14 09:41:02 +02:00
parent 46aa6cec0f
commit 72f9de45d0
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
fuzzers/FRET/Cargo.toml
View File

@ -20,6 +20,7 @@ observe_hitcounts = [ "observe_edges" ] # reduces edge granularity
observe_systemstate = [] observe_systemstate = []
do_hash_notify_state = [] do_hash_notify_state = []
trace_stg = [ "observe_systemstate" ] trace_stg = [ "observe_systemstate" ]
trace_reads = [ "trace_stg" ]
# feedbacks # feedbacks
feed_stg = [ "trace_stg", "observe_systemstate" ] feed_stg = [ "trace_stg", "observe_systemstate" ]
# feed_stg_edge = [ "feed_stg"] # feed_stg_edge = [ "feed_stg"]
@ -57,9 +58,11 @@ libafl = { path = "../../libafl/", features = ["multipart_inputs"] }
libafl_bolts = { path = "../../libafl_bolts/" } libafl_bolts = { path = "../../libafl_bolts/" }
libafl_qemu = { path = "../../libafl_qemu/", features = ["arm", "systemmode"] } libafl_qemu = { path = "../../libafl_qemu/", features = ["arm", "systemmode"] }
serde = { version = "1.0", default-features = false, features = ["alloc"] } # serialization lib serde = { version = "1.0", default-features = false, features = ["alloc"] } # serialization lib
serde_json = { version = "1.0", default-features = false, features = ["alloc"] }
hashbrown = { version = "0.14.0", features = ["serde"] } # A faster hashmap, nostd compatible hashbrown = { version = "0.14.0", features = ["serde"] } # A faster hashmap, nostd compatible
petgraph = { version="0.6.4", features = ["serde-1"] } petgraph = { version="0.6.4", features = ["serde-1"] }
ron = "0.7" # write serialized data - including hashmaps ron = "0.7" # write serialized data - including hashmaps
rand = "0.5" rand = "0.5"
clap = { version = "4.4.11", features = ["derive"] } clap = { version = "4.4.11", features = ["derive"] }
csv = "1.3.0" csv = "1.3.0"
log = "0.4"