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.
932 stars
41 watching
168 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 | Automates the discovery of hidden instructions and bugs in x86 processors | 490 |
 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 | 416 |
 compsec-snu/razzer | Automated tool to find and identify race bugs in kernels through fuzzing | 359 |
 iromise/fans | Fuzzing tool to identify vulnerabilities in Android native system services. | 244 |
 pacso/aoc_rb | Tools and templates for solving Advent of Code puzzles in Ruby | 24 |
 jtpereyda/boofuzz | A tool for generating and testing network protocol inputs to identify vulnerabilities | 2,057 |
 wireghoul/dotdotpwn | A tool to discover directory traversal vulnerabilities in software | 997 |
 googleprojectzero/domato | A tool used to generate malformed HTML code to test web application security | 1,697 |
 census/choronzon | An evolutionary fuzzer that uses user-defined information to produce and test file formats. | 268 |
 triska/clpz | A system for solving problems with logical rules and integer arithmetic constraints | 189 |
 gamozolabs/applepie | A tool designed to fuzz and introspect systems using a hypervisor, providing deep device emulation and code coverage analysis. | 367 |