Angora
Path constraint solver
A tool for increasing branch coverage by solving path constraints without symbolic execution
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
925 stars
41 watching
167 forks
Language: C++
last commit: over 2 years ago
Linked from 1 awesome list
afldata-flow-analysisfuzzerfuzzingsecuritysymbolic-executiontaint-analysis
cpuu/awesome-fuzzingRelated projects:
| Repository | Description | Stars |
|---|---|---|
 dkendal/aruspex | A configurable constraint solver written in Elixir. | 40 |
 radsz/jacop | A Java-based solver for solving constraint satisfaction problems using a large set of constraints and modular search algorithms. | 220 |
 bhass1/pyfuzz_can | A tool for generating and testing random CAN network inputs to simulate real-world conditions. | 13 |
 battelle/sandsifter | An x86 processor fuzzer that systematically searches for hidden instructions and bugs to detect security vulnerabilities and software issues | 485 |
 stunkymonkey/osm_ch | A tool that uses graph contraction hierarchies to speed up shortest path calculations on OpenStreetMap data | 17 |
 stephenfewer/grinder | Automates fuzz testing of web browsers and manages crashes to help identify security vulnerabilities | 415 |
 compsec-snu/razzer | A tool to identify and fix race bugs in kernel code through fuzzing and static analysis | 358 |
 iromise/fans | Fuzzing tool to identify vulnerabilities in Android native system services. | 242 |
 pacso/aoc_rb | A tool to help developers solve Advent of Code puzzles by automating puzzle setup and submission. | 18 |
 jtpereyda/boofuzz | A tool for generating and testing network protocol inputs to identify vulnerabilities | 2,041 |
 wireghoul/dotdotpwn | Tool for discovering directory traversal vulnerabilities in software | 989 |
 googleprojectzero/domato | A tool for generating random, malformed HTML, CSS, and JavaScript code to test web application security | 1,695 |
 census/choronzon | An evolutionary fuzzer that uses user-defined information to produce and test file formats. | 269 |
 triska/clpz | A system for solving problems with logical rules and integer arithmetic constraints | 185 |
 gamozolabs/applepie | A tool designed to fuzz and introspect systems using a hypervisor, providing deep device emulation and code coverage analysis. | 367 |