KLEE in the browser
☆54Feb 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for klee-web
Users that are interested in klee-web are comparing it to the libraries listed below
Sorting:
- Dockerfile for AFL++ and helpful other tools☆21May 5, 2020Updated 5 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- 802.15.4 Fuzzer☆21Mar 25, 2019Updated 6 years ago
- This python/jython script is used as plugin to BinNavi tool to analyze a x86 binanry file to find buffer overflow prone functions. Such f…☆29Jan 8, 2013Updated 13 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58May 28, 2017Updated 8 years ago
- A minimalistic and high-performance SAT solver☆29Feb 6, 2023Updated 3 years ago
- ☆64Oct 24, 2015Updated 10 years ago
- Test Azure environment for MFA misconfigurations☆12Jan 13, 2023Updated 3 years ago
- Tools that run inside the guest☆11Jan 2, 2020Updated 6 years ago
- ☆11Mar 19, 2019Updated 6 years ago
- ☆11Apr 27, 2020Updated 5 years ago
- ☆10Mar 20, 2020Updated 5 years ago
- Demonstrating why Dynamic Method Invocation with unrestricted method names (the old default of Struts) is dangerous.☆12Sep 30, 2018Updated 7 years ago
- A search tool for IDA☆70Nov 26, 2016Updated 9 years ago
- Script(s) to assist with the setup of various tools on a Windows 11/10 VM, in preparation for Corelan Training☆30Feb 11, 2026Updated 3 weeks ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Mar 14, 2016Updated 9 years ago
- ☆43Aug 30, 2018Updated 7 years ago
- The Cloud9 main repository☆54Sep 11, 2013Updated 12 years ago
- Inspired by https://github.com/djadmin/awesome-bug-bounty, a list of bug bounty write-up that is categorized by the bug nature☆25Apr 19, 2017Updated 8 years ago
- CRAX: software CRash analysis for Automatic eXploit generation☆50Aug 19, 2015Updated 10 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Sep 9, 2018Updated 7 years ago
- ☆40Apr 21, 2015Updated 10 years ago
- Duo MFA auditing tool to test users' likelihood of approving unexpected push notifications☆13Apr 20, 2018Updated 7 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- POC for IAT Parsing Payloads☆48Jan 1, 2017Updated 9 years ago
- This is a small extension to make graphql readable☆30Dec 14, 2018Updated 7 years ago
- MalRecon - Basic Malware Reconnaissance and Analysis Tool☆26Jun 8, 2017Updated 8 years ago
- POLAR☆74Feb 13, 2019Updated 7 years ago
- A fuzzing library in JavaScript. ✨☆117Feb 3, 2026Updated last month
- SC2/HotS GalaxyScript VM & bytecode research☆26Oct 9, 2016Updated 9 years ago
- ☆12May 8, 2017Updated 8 years ago
- Repository for the Deprecated MITRE Capture the Flag scoreboard.☆11Sep 25, 2017Updated 8 years ago
- ☆13Jul 31, 2020Updated 5 years ago
- Vulnerability research on the CA UIM Nimbus protocol☆15Sep 28, 2020Updated 5 years ago
- Scripts to automatically create VM images☆15Oct 4, 2025Updated 5 months ago
- pypykats in your browser☆56Sep 28, 2019Updated 6 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Jun 7, 2013Updated 12 years ago
- Artifact for the OOPSLA 17 DejaVu Paper☆10Jul 26, 2017Updated 8 years ago