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
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- Differential fuzzing for elliptic curves☆23Updated 2 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- CVE querying library and utility that uses a local store syncing directly to the National Vulnerability Database☆22Updated 2 years ago
- Example Manticore scripts☆68Updated last year
- DEPRECATED — Containerized Cloud Fuzzing☆26Updated 7 years ago
- Crypto Audit Guidelines☆134Updated 4 years ago
- Code to fuzz bignum libraries☆46Updated 6 years ago
- Hierarchical Delta Debugging Framework☆59Updated 3 weeks ago
- Regexp based tool for mutating generic source code across numerous languages☆146Updated last year
- Measure branching along code paths☆20Updated 8 years ago
- ☆170Updated 4 years ago
- ☆82Updated last month
- free crypto audit☆31Updated 8 years ago
- A set of vulnerable Golang programs☆179Updated 2 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 7 years ago
- CodeQL library and queries for iterator invalidation☆22Updated 4 years ago
- A bot that watches a website or GitHub assets for changes and communicates them to Slack.☆11Updated 6 years ago
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- Mathilda is a C++ class for distributing web requests to worker processes☆29Updated 9 years ago
- Corpus of crypto formats☆12Updated 2 years ago
- QL Workshop☆16Updated 6 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆35Updated 4 years ago
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆37Updated 3 weeks ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18Updated 5 months ago
- A quick and dirty Golang security talk☆27Updated 5 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Updated 9 years ago