56 lines
1.5 KiB
TOML
56 lines
1.5 KiB
TOML
[package]
|
|
name = "wcet_qemu_sys"
|
|
version = "0.1.2"
|
|
authors = [ "Alwin Berger <alwin.berger@tu-dortmund.de>" ]
|
|
edition = "2021"
|
|
|
|
[features]
|
|
default = ["std", "obj_collect"]
|
|
std = []
|
|
multicore = []
|
|
|
|
fuzz_interrupt = [] # use the first bytes of the input for a timed interrupts
|
|
fuzz_random = [] # just process random inputs
|
|
|
|
# select which feedbacks to use. enable at least one.
|
|
feed_known_edges = []
|
|
feed_afl = []
|
|
feed_clock = []
|
|
feed_state = []
|
|
feed_graph = []
|
|
|
|
# choose exactly one scheduler
|
|
sched_queue = []
|
|
sched_mapmax = []
|
|
sched_state = []
|
|
sched_graph = []
|
|
|
|
# objective selection, additive
|
|
obj_collect = []
|
|
obj_trace = []
|
|
obj_edges = []
|
|
obj_ticks = []
|
|
|
|
muta_input = [ "sched_graph" ]
|
|
muta_snip = [ "sched_graph" ]
|
|
muta_suffix = [ "sched_graph" ]
|
|
muta_interrupt = []
|
|
|
|
benchmark = [] # don't save corpus to disk, easy parallelizable
|
|
dump_infos = [] # dump select corpus items for analysis
|
|
|
|
[profile.release]
|
|
debug = true
|
|
|
|
[dependencies]
|
|
libafl = { path = "../../libafl/" }
|
|
libafl_qemu = { path = "../../libafl_qemu/", features = ["systemmode", "arm", "jmp_as_edge"] }
|
|
clap = { version = "3.0.0-beta.2", features = ["default"] }
|
|
serde = { version = "1.0", default-features = false, features = ["alloc"] } # serialization lib
|
|
ron = "0.7" # write serialized data - including hashmaps
|
|
hashbrown = { version = "0.11", features = ["serde", "ahash-compile-time-rng"], default-features=false } # A faster hashmap, nostd compatible
|
|
nix = "0.23.0"
|
|
goblin = "0.4.2"
|
|
either = "1.6.1"
|
|
num-traits = "0.2"
|
|
petgraph = { version="0.6.0", features = ["serde-1"] } |