Pathgrind
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Triton | 3,285 |  | 1 | 22 days ago | 3 | December 23, 2022 | 16 | apache-2.0 | C++ | |
| Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code. | ||||||||||
| Bap | 1,926 | 5 months ago | 40 | mit | OCaml | |||||
| Binary Analysis Platform | ||||||||||
| Awesome Symbolic Execution | 1,119 | 9 months ago | 3 | cc0-1.0 | ||||||
| A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools. | ||||||||||
| Crosshair | 924 |  | 1 | 3 months ago | 45 | November 10, 2023 | 50 | other | Python | |
| An analysis tool for Python that blurs the line between testing and type systems. | ||||||||||
| Symbolic Execution | 412 | 2 years ago | 21 | cc-by-sa-4.0 | Kotlin | |||||
| History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking) | ||||||||||
| Pathgrind | 106 | 7 years ago | gpl-3.0 | C | ||||||
| Path based Dynamic Analysis | ||||||||||
| Dig | 33 | 3 months ago | 5 | mit | Python | |||||
| DIG is an invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations. | ||||||||||
Alternatives To PathgrindSelect To Compare
Alternative Project Comparisons
Popular Dynamic Analysis Projects
Popular Symbolic Execution Projects
Popular Security Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Symbolic Execution
Dynamic Analysis
Taint Analysis