santh-writ 0.1.1

CPU symbolic execution + exploit witness construction. Takes a weir-produced source→sink path and returns a concrete input that drives execution to the sink. Z3-backed.
1
2
3
4
5
6
7
8

[advisories]
version = 2

[bans]
multiple-versions = "warn"

[licenses]
allow = ["MIT", "Apache-2.0", "Unicode-3.0"]