☆11Jun 5, 2015Updated 10 years ago
Alternatives and similar repositories for querygen
Users that are interested in querygen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python utilities for joern☆36Nov 13, 2018Updated 7 years ago
- Symbolic Execution of Android Framework☆15Jun 25, 2017Updated 8 years ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆15Jan 27, 2019Updated 7 years ago
- ☆26Nov 8, 2023Updated 2 years ago
- Open-source teaching framework for software-defined networking (SDN)☆21Dec 5, 2023Updated 2 years ago
- ☆20May 3, 2022Updated 3 years ago
- ☆18Nov 26, 2025Updated 3 months ago
- ☆19Feb 1, 2016Updated 10 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 4 years ago
- Test collection for KIT programming assignments (WS16/17)☆17Mar 24, 2017Updated 8 years ago
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Mar 12, 2020Updated 6 years ago
- Windows Heap Loggin'☆11Aug 12, 2020Updated 5 years ago
- 编译原理实验 PL0简化版程序的词法、语法分析和解释执行☆15Aug 1, 2021Updated 4 years ago
- SuSi - our tool to automatically discover sources and sinks in the Android framework☆151Jan 3, 2017Updated 9 years ago
- AFL coverage tool using Clang SanitizerCoverage☆37Nov 13, 2016Updated 9 years ago
- CMake toolchain file for android☆29Jul 5, 2012Updated 13 years ago
- ☆20Nov 6, 2024Updated last year
- A Simple command line tool that helps checking web applications to identify insecure deserialization vulnerabilities.☆24Jul 10, 2019Updated 6 years ago
- A Z3-Based String Constraint Solver☆87Jan 1, 2020Updated 6 years ago
- Repo for the paper "Bounding Training Data Reconstruction in Private (Deep) Learning".☆11Jun 16, 2023Updated 2 years ago
- ☆11Mar 29, 2019Updated 6 years ago
- Integrate the dharma grammar fuzzer into honggfuzz☆26Aug 11, 2017Updated 8 years ago
- An implementation of RC4, a software stream cipher.☆10Oct 9, 2019Updated 6 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆63Oct 19, 2017Updated 8 years ago
- ☆10Sep 4, 2017Updated 8 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- My PoCs☆10Apr 5, 2020Updated 5 years ago
- git://g.csail.mit.edu/kint☆51Oct 20, 2013Updated 12 years ago
- A python interface to joern (deprecated).☆34Nov 13, 2018Updated 7 years ago
- Protocol Inspection and State Machine Analysis☆23May 26, 2018Updated 7 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆10Apr 21, 2022Updated 3 years ago
- Dahua NVR command line tool☆11Sep 8, 2020Updated 5 years ago
- A 7DRL Project, using Emscripten to create a simple roguelike system in C++ that runs in the browser.☆21Jan 13, 2018Updated 8 years ago
- A deep learning model for identifying and localizing vulnerabilities in C/C++ source code.☆12Jan 18, 2025Updated last year
- A Plugin for the Neo4j server add Tinkerpop-related functionality☆54Jul 17, 2016Updated 9 years ago
- Some good ctf challenge☆11Mar 23, 2019Updated 7 years ago
- Patches and bugfixes applied to Meph's amazing Masterwork Dwarf Fortress☆34Mar 29, 2014Updated 11 years ago
- Pure Python implementation of Bluetooth LE device (peripheral)☆15Oct 10, 2017Updated 8 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago