A Clang/LLVM add-on to enforce coding rules
☆33Nov 15, 2013Updated 12 years ago
Alternatives and similar repositories for Crisp
Users that are interested in Crisp are comparing it to the libraries listed below
Sorting:
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- ☆33Oct 15, 2018Updated 7 years ago
- Intlog - a Prolog interpreter with OO extensions - implemented in C++☆21Feb 4, 2023Updated 3 years ago
- A stateful fuzzing engine.☆45Nov 14, 2018Updated 7 years ago
- C++ wrapper around KLEE and AFL for intelligent, coverage guided fuzzing. Developed while doing research at MWR Infosecurity☆18Aug 1, 2018Updated 7 years ago
- Flounder is an old corpus collector I wrote, but it still works. Just need a Bing API key☆17Oct 25, 2019Updated 6 years ago
- Examples demonstrating the usage of avatar²☆28Dec 9, 2023Updated 2 years ago
- Efficient and customisable compression of short strings☆48Aug 15, 2016Updated 9 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38May 11, 2020Updated 5 years ago
- Generates CIL MLIR dialect from C/C++ source.☆35Feb 10, 2021Updated 5 years ago
- AutoVAS is an automated vulnerability analysis system with a deep learning approach.☆35Sep 2, 2021Updated 4 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Feb 25, 2026Updated last week
- This is a C++ implementation of Graspan.☆32Dec 20, 2023Updated 2 years ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆13Updated this week
- Red-Team - AI Agent to Phish Employees based on Social Intelligence.☆22Dec 28, 2025Updated 2 months ago
- A comprehensive repository for malware analysis and threat intelligence, including Cobalt Strike Beacon configurations, YARA rules, IOCs,…☆15Feb 25, 2026Updated last week
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 8 years ago
- Python wrapper for the Clang C++ preprocessor and parser.☆42Jun 1, 2014Updated 11 years ago
- Main distribution of Petablox☆35Dec 10, 2017Updated 8 years ago
- Flex 'em lexers☆42Oct 19, 2020Updated 5 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Oct 2, 2020Updated 5 years ago
- A CLI tool that securely retrieves secrets from Google Cloud or AWS using IAM permissions and stores them as environment variables in env…☆11May 9, 2025Updated 9 months ago
- Practical Data-Only Attack Generation☆44Jun 7, 2024Updated last year
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- headless-ida-mcp-server☆30Apr 4, 2025Updated 11 months ago
- A replication of the Baldur's Gate 3 Script Extender for MacOS☆24Feb 12, 2026Updated 3 weeks ago
- SQL preprocessor for LaTeX☆11Nov 2, 2025Updated 4 months ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Graphical User Interface for remote monitoring and top-level control of UAVs.☆13Jul 31, 2025Updated 7 months ago
- A conlang lexicon software made in Python☆13Aug 24, 2025Updated 6 months ago
- ☆41Feb 25, 2019Updated 7 years ago
- A symbolic execution engine for LLVM IR☆51Apr 25, 2022Updated 3 years ago
- realtime cross-tool collaborative reverse engineering☆102Nov 30, 2022Updated 3 years ago
- QEMU enhanced with OS handlers, external plugins, and rapid analysis execution engine.☆41Jun 19, 2020Updated 5 years ago
- Automatic analysis of SpiderMonkey and Firefox bugs on Bugzilla☆11Updated this week