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,970 commits to main branch, last one 5 days ago
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
Created
2022-10-25
1,171 commits to master branch, last one 2 months 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 3 months ago
WebAssembly Swissknife & cross-language bugfinder
Created
2022-12-03
1,465 commits to main branch, last one 3 days ago
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Created
2021-10-11
552 commits to master branch, last one 3 days ago
fuzzing + concolic = fuzzolic :)
Created
2019-12-27
645 commits to master branch, last one 10 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 25 days 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 about a year 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 about a month ago