trailofbits / not-slithering-anywhere
The Python Version of our Not Go-ing Anywhere Vulnerable Application
☆11Updated last year
Alternatives and similar repositories for not-slithering-anywhere:
Users that are interested in not-slithering-anywhere are comparing it to the libraries listed below
- poststructural fuzzing☆31Updated 5 years ago
- Detect patterns of bad behavior in function calls☆26Updated 4 years ago
- Underconstrained symbolic execution for cryptography verification☆18Updated 3 years ago
- CodeQL library and queries for iterator invalidation☆21Updated 3 years ago
- DEPRECATED — Containerized Cloud Fuzzing☆27Updated 6 years ago
- CVE querying library and utility that uses a local store syncing directly to the National Vulnerability Database☆21Updated last year
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- A set of templates for different academic venues.☆27Updated 5 years ago
- Example Manticore scripts☆68Updated last year
- ☆81Updated 5 months ago
- A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms☆9Updated 5 years ago
- EBNF grammar fuzzer☆18Updated 5 years ago
- An implementation of the OPAQUE password-authenticated key exchange protocol☆10Updated 4 months ago
- Bad packages from the pypi repository☆9Updated 6 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆36Updated 2 years ago
- ☆11Updated 4 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 5 years ago
- Although the Mersenne Twister PRNG is by design not cryptographically secure many applications tend to use it for cryptographic operation…☆28Updated 9 years ago
- cgo wrappers around post-quantum cryptography primitives☆23Updated 6 years ago
- Differential fuzzing for elliptic curves☆23Updated last year
- Hierarchical Delta Debugging Framework☆59Updated 2 months ago
- THREADS Conference Archive☆16Updated 5 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆33Updated 3 years ago
- A neural network using fuzzing-style feedback rather than back-propagation☆18Updated 4 years ago
- Borrowed Instructions Synthetic Computation☆70Updated 10 years ago
- Code to fuzz bignum libraries☆45Updated 6 years ago
- ☆19Updated 6 months ago
- Current development for Call Map takes place at https://github.com/ajylee/call_map. Call Map is a tool for navigating Python call graphs.…☆28Updated 3 years ago
- Measure branching along code paths☆20Updated 8 years ago
- Static analysis framework for EVM bytecode☆29Updated 5 years ago