leaf/Cargo.toml at main · sfu-rsl/leaf · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
[workspace]
resolver = "2"
members = [
    "common",
    "compiler",
    "runtime/lib",
    "runtime/flavors/*",
    "integration/libafl/lib",
    "integration/libafl/libfuzzer",
    "integration/libafl/fuzzers/pure_concolic",
    "macros",
    "orchestrator",
]
exclude = [
    "runtime/shim",
    "integration/libafl/fuzzers/*",
    "samples/crates/",
    "scripts",
]

[workspace.package]
license = "MIT OR Apache-2.0"
edition = "2021"
version = "0.2.0"

[workspace.dependencies]
# Unless we specify the package, it won't be renamed.
common = { path = "common", package = "common" }
macros = { path = "macros" }
runtime_basic_li = { path = "runtime/flavors/basic_li" }
runtime_basic_li_no_implicit = { path = "runtime/flavors/basic_li_no_implicit" }
runtime_noop = { path = "runtime/flavors/noop" }
libafl_leaf = { path = "integration/libafl/lib" }

clap = { version = "4.5", features = ["derive"] }
config = "0.15.7"
const_format = "0.2.34"
delegate = "0.13.2"
derive_more = { version = "1.0.0", features = ["full"] }
itertools = "0.14.0"
tracing = { version = "0.1", features = ["release_max_level_info"] }
tracing-subscriber = { version = "0.3", features = ["env-filter"] }
tracing-tree = "0.4.0"
serde = { version = "1.0", features = ["derive"] }
serde_json = { version = "1.0" }
rkyv = { version = "0.8" }
z3 = { git = "https://github.com/prove-rs/z3.rs", rev = "60001b36fc8a7ab1d4f22595e80a3b6f7adc1bcf" }
z3-sys = { git = "https://github.com/prove-rs/z3.rs", rev = "60001b36fc8a7ab1d4f22595e80a3b6f7adc1bcf" }

libafl = { git = "https://github.com/sfu-rsl/LibAFL", tag = "0.15.2", features = [
    "std",
] }
libafl_bolts = { git = "https://github.com/sfu-rsl/LibAFL", tag = "0.15.2" }
libafl_targets = { git = "https://github.com/sfu-rsl/LibAFL", tag = "0.15.2" }