mmicu / leena
Symbolic execution engine for JavaScript
☆13Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for leena
- Example Manticore scripts☆68Updated 11 months ago
- This test suite contains over 40 different test cases that have proven to work with different mobile browsers in my research or testing S…☆31Updated 5 years ago
- An AFL-inspired genetic fuzz tester for JavaScript☆130Updated 2 years ago
- ☆122Updated 3 years ago
- ☆85Updated 4 years ago
- A fuzzing library in JavaScript. ✨☆117Updated last month
- Fuzzing results for various interpreters.☆79Updated 6 years ago
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 3 years ago
- A simple test of fuzzing Java with AFL and GCJ☆16Updated 6 years ago
- Fuzz testing: Beginner's guide☆77Updated 7 months ago
- Binfuzz.js: A Binary Fuzzer in JavaScript☆30Updated 11 years ago
- Automated fuzzing framework☆123Updated last year
- INACTIVE - http://mzl.la/ghe-archive - Framboise is a fuzzer for in-depth testing of WebAPIs.☆20Updated 7 years ago
- Precise Code Tracking (Vim)☆31Updated 8 years ago
- Simple commit search utility for Chromium Google Source.☆29Updated last year
- Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton☆61Updated 7 years ago
- Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"☆26Updated 7 years ago
- CTF Writeups☆23Updated 6 years ago
- Enhanced Meta File Fuzzer based on Peach Fuzzing Framework☆71Updated 7 years ago
- Writeups for CTF competitions.☆32Updated 8 years ago
- Discussion area for security aspects of ECMAScript☆64Updated 6 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 6 years ago
- ☆35Updated 4 years ago
- Slack bot for challenge management in large teams☆60Updated last year
- A tool for detecting regular expression denial-of-service vulnerabilities in Android apps.☆33Updated 8 years ago
- Collection of software bugs found by SkyLined☆68Updated 8 years ago
- Repo for CSAW CTF 2016 Quals challenges☆73Updated 8 years ago