
Angora
Coverage-guided fuzzer that uses taint tracking and scalar optimization to solve path constraints without symbolic execution, improving branch…
dynamic-code-analysisfuzzingvulnerability-analysis
9574 years ago

Coverage-guided fuzzer that uses taint tracking and scalar optimization to solve path constraints without symbolic execution, improving branch…

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.