11 results found Sort:
- Filter by Primary Language:
- Python (4)
- C (2)
- C++ (2)
- Kotlin (1)
- OCaml (1)
- Rust (1)
- +
An analysis tool for Python that blurs the line between testing and type systems.
Created
2017-08-29
1,985 commits to main branch, last one 8 days ago
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
Created
2022-10-25
1,172 commits to master branch, last one about a month ago
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
This repository has been archived
(exclude archived)
Created
2018-08-16
66 commits to master branch, last one 2 years ago
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Created
2017-03-10
141 commits to master branch, last one 5 months ago
Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
Created
2022-12-03
1,483 commits to main branch, last one 21 hours ago
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Created
2021-10-11
554 commits to master branch, last one a day ago
fuzzing + concolic = fuzzolic :)
Created
2019-12-27
645 commits to master branch, last one 11 months ago
SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SC...
Created
2022-03-11
414 commits to production branch, last one 2 months ago
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
Created
2021-08-31
527 commits to master branch, last one 2 years ago
Build your emulation environment as needed
Created
2020-08-19
71 commits to master branch, last one 3 years ago
This repository has no description...
Created
2020-09-23
147 commits to master branch, last one 2 months ago