Pastis
PASTIS: Collaborative Fuzzing Framework
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Mythril | 3,716 |  | 8 | 7 | 7 days ago | 310 | November 19, 2023 | 103 | mit | Python |
| Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains. | ||||||||||
| Manticore | 3,535 |  | 1 | 1 | 8 months ago | 1,137 | December 09, 2023 | 264 | agpl-3.0 | Python |
| Symbolic execution tool | ||||||||||
| Triton | 3,285 |  | 1 | a month 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 | ||||||||||
| 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) | ||||||||||
| Vmprotect Devirtualization | 244 | 2 years ago | Roff | |||||||
| Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM. | ||||||||||
| Expose | 165 | 7 months ago | 8 | mit | JavaScript | |||||
| A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions. | ||||||||||
| Pastis | 144 | 4 months ago | 11 | September 10, 2023 | apache-2.0 | Python | ||||
| PASTIS: Collaborative Fuzzing Framework | ||||||||||
| Mate | 120 | 2 years ago | 32 | bsd-3-clause | Python | |||||
| MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs. | ||||||||||
| Naaz | 75 | a year ago | gpl-3.0 | C++ | ||||||
| Symbolic Execution Engine based on Ghidra's PCode | ||||||||||
Alternatives To PastisSelect To Compare
Alternative Project Comparisons
Popular Symbolic Execution Projects
Popular Program Analysis Projects
Popular Security Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Symbolic Execution
Program Analysis