symcc_runtime 0.8.2

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

[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

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

[dependencies]
unchecked_unwrap = "4"
ctor = "0.1"
libc = "0.2"
libafl = {path = "../../libafl", version="0.8", default-features=false, features=["std"]}

[build-dependencies]
cmake = "0.1"
bindgen = "0.60"
regex = "1"
lazy_static = "1.4"
which = "4.2"
symcc_libafl = {path = "../symcc_libafl", version="0.8"}