symcc_runtime 0.14.1

Build Concolic Tracing tools based on SymCC in Rust
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

[package]
name = "symcc_runtime"
version.workspace = true
edition = "2021"
authors = [
  "Julius Hohnerlein <julihoh@users.noreply.github.com>",
  "Andrea Fioraldi <andreafioraldi@gmail.com>",
  "Dominik Maier <domenukk@gmail.com>",
]
description = "Build Concolic Tracing tools based on SymCC in Rust"
documentation = "https://docs.rs/symcc_runtime"
repository = "https://github.com/AFLplusplus/LibAFL/"
readme = "README.md"
license = "MIT OR Apache-2.0"
keywords = ["fuzzing", "testing", "security"]
build = "build.rs"
categories = [
  "development-tools::testing",
  "emulators",
  "embedded",
  "os",
  "no-std",
]

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[package.metadata.docs.rs]
all-features = true

[features]
## skips building and linking the C++ part of the runtime
no-cpp-runtime = []

[dependencies]
libafl = { workspace = true, features = ["std", "serdeany_autoreg"] }
libafl_bolts = { workspace = true, features = ["std", "serdeany_autoreg"] }

unchecked_unwrap = "4.0.0"
ctor = "0.2.9"
libc = { workspace = true }

[build-dependencies]
cmake = { workspace = true }
bindgen = { workspace = true }
regex = { workspace = true }
which = { workspace = true }
symcc_libafl = { workspace = true, default-features = true, version = "0.14.1" }

[lints]
workspace = true