trailofbits / not-slithering-anywhereLinks
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
Sorting:
- poststructural fuzzing☆31Updated 5 years ago
- Detect patterns of bad behavior in function calls☆25Updated 5 years ago
- CVE querying library and utility that uses a local store syncing directly to the National Vulnerability Database☆22Updated 2 years ago
- DEPRECATED — Containerized Cloud Fuzzing☆26Updated 7 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- Differential fuzzing for elliptic curves☆24Updated 2 years ago
- Example Manticore scripts☆68Updated last year
- A Python library for easy and fast program transformation/repair☆15Updated 4 years ago
- A set of vulnerable Golang programs☆179Updated 2 years ago
- Hierarchical Delta Debugging Framework☆59Updated last week
- Code to fuzz bignum libraries☆46Updated 7 years ago
- Regexp based tool for mutating generic source code across numerous languages☆147Updated last year
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 7 years ago
- Crypto Audit Guidelines☆134Updated 4 years ago
- Tools for stress testing applications.☆12Updated 5 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- How fast can we brute force a 64-bit comparison?☆54Updated 5 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 7 years ago
- free crypto audit☆31Updated 8 years ago
- Ethereum Bug Bounty Submission: Sending Negative Value Transactions☆18Updated 3 years ago
- Designing Secure Cryptography☆22Updated 6 years ago
- ☆144Updated 7 months ago
- CodeQL library and queries for iterator invalidation☆22Updated 4 years ago
- Corpora used to seed NSS' fuzzing targets☆10Updated 2 weeks ago
- cgo wrappers around post-quantum cryptography primitives☆23Updated 6 years ago
- Fastgcd is a C implementation of an efficient algorithm to compute the pairwise GCDs of a collection of integers. The algorithm is due to…☆17Updated last year
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18Updated 6 months ago
- ☆170Updated 4 years ago
- Implementation of indistinguishability obfuscation constructions from scientific literature☆48Updated 10 years ago