66 lines
2.2 KiB
TOML
66 lines
2.2 KiB
TOML
[package]
|
|
name = "fret"
|
|
version = "0.8.2"
|
|
authors = ["Alwin Berger <alwin.berger@tu-dortmund.de>"]
|
|
edition = "2021"
|
|
|
|
[features]
|
|
default = ["std", "snapshot_restore", "singlecore", "restarting", "do_hash_notify_state", "config_stg", "fuzz_int" ]
|
|
std = []
|
|
# Exec environemnt basics
|
|
snapshot_restore = []
|
|
snapshot_fast = [ "snapshot_restore" ]
|
|
singlecore = []
|
|
restarting = ['singlecore']
|
|
run_until_saturation = []
|
|
fuzz_int = []
|
|
# information capture
|
|
observe_edges = [] # observe cfg edges
|
|
observe_hitcounts = [ "observe_edges" ] # reduces edge granularity
|
|
observe_systemstate = []
|
|
do_hash_notify_state = []
|
|
trace_stg = [ "observe_systemstate" ]
|
|
# feedbacks
|
|
feed_stg = [ "trace_stg", "observe_systemstate" ]
|
|
# feed_stg_edge = [ "feed_stg"]
|
|
feed_stg_pathhash = [ "feed_stg"]
|
|
feed_stg_abbhash = [ "feed_stg"]
|
|
feed_stg_aggregatehash = [ "feed_stg"]
|
|
mutate_stg = [ "observe_systemstate" ]
|
|
feed_longest = [ ]
|
|
feed_afl = [ "observe_edges" ]
|
|
feed_genetic = []
|
|
gensize_1 = [ ]
|
|
gensize_10 = [ ]
|
|
gensize_100 = [ ]
|
|
# schedulers
|
|
sched_genetic = []
|
|
sched_afl = []
|
|
sched_stg = []
|
|
# sched_stg_edge = ['sched_stg'] # every edge in the stg
|
|
sched_stg_pathhash = ['sched_stg'] # every path in the stg
|
|
sched_stg_abbhash = ['sched_stg'] # every path of abbs
|
|
sched_stg_aggregatehash = ['sched_stg'] # every aggregated path (order independent)
|
|
# overall_configs
|
|
config_genetic = ["gensize_100","feed_genetic","sched_genetic","trace_stg"]
|
|
config_afl = ["feed_afl","sched_afl","observe_hitcounts","trace_stg"]
|
|
config_frafl = ["feed_afl","sched_afl","feed_longest","trace_stg"]
|
|
config_stg = ["feed_stg_aggregatehash","sched_stg_aggregatehash","mutate_stg"]
|
|
|
|
[profile.release]
|
|
lto = true
|
|
codegen-units = 1
|
|
debug = true
|
|
|
|
[dependencies]
|
|
libafl = { path = "../../libafl/" }
|
|
libafl_bolts = { path = "../../libafl_bolts/" }
|
|
libafl_qemu = { path = "../../libafl_qemu/", features = ["arm", "systemmode"] }
|
|
serde = { version = "1.0", default-features = false, features = ["alloc"] } # serialization lib
|
|
hashbrown = { version = "0.14.0", features = ["serde"] } # A faster hashmap, nostd compatible
|
|
petgraph = { version="0.6.4", features = ["serde-1"] }
|
|
ron = "0.7" # write serialized data - including hashmaps
|
|
rand = "0.5"
|
|
clap = { version = "4.4.11", features = ["derive"] }
|
|
csv = "1.3.0"
|