☆13May 5, 2018Updated 7 years ago
Alternatives and similar repositories for strngr
Users that are interested in strngr are comparing it to the libraries listed below
Sorting:
- Mimojas Firmware Toolkit for unpacking and analysis firmware images☆14May 23, 2020Updated 5 years ago
- Assume-Guarantee REasoning Environment☆20Dec 3, 2025Updated 3 months ago
- ☆16Apr 15, 2019Updated 6 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆17Oct 13, 2023Updated 2 years ago
- An Extensible Dynamic Analysis Framework for IoT Devices☆21Aug 9, 2018Updated 7 years ago
- SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.☆24Nov 17, 2021Updated 4 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- "Reversing WebAssembly Module 101" Workshop (NorthSec 2019, hack.lu 2019)☆22Oct 15, 2020Updated 5 years ago
- ☆27Nov 30, 2018Updated 7 years ago
- ROSA: Finding Backdoors with Fuzzing☆46Jun 30, 2025Updated 8 months ago
- Default query sets for Joern☆27Oct 23, 2021Updated 4 years ago
- TIRO - A hybrid iterative deobfuscation framework for Android applications☆27Aug 17, 2018Updated 7 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Jan 27, 2025Updated last year
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 7 years ago
- ☆34Nov 11, 2021Updated 4 years ago
- Harness for the Linux kernel eBPF verifier☆34Sep 1, 2022Updated 3 years ago
- ☆75Jan 14, 2024Updated 2 years ago
- TracerX Symbolic Virtual Machine☆32Sep 24, 2025Updated 5 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆29Jan 12, 2023Updated 3 years ago
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆29Mar 6, 2024Updated 2 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- A comprehensive repository for malware analysis and threat intelligence, including Cobalt Strike Beacon configurations, YARA rules, IOCs,…☆15Feb 25, 2026Updated last week
- A tracing tool to analyze the I/O behavior of a program.☆12Sep 25, 2019Updated 6 years ago
- Red-Team - AI Agent to Phish Employees based on Social Intelligence.☆23Dec 28, 2025Updated 2 months ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆13Updated this week
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- a taint tracer based on DynamoRIO, currently ARM only☆41Mar 30, 2020Updated 5 years ago
- Flex 'em lexers☆42Oct 19, 2020Updated 5 years ago
- Pretty printer from GTIRB to assembly code☆50Nov 4, 2025Updated 4 months ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Feb 6, 2021Updated 5 years ago
- An extension to load Ghidra scripts written in Scala☆30Feb 11, 2026Updated 3 weeks ago
- Cinema Enters Game Console Game Engine. A Higher Level Application and Game Framework. Powered by Godot Engine.☆13May 7, 2024Updated last year
- The application extracts a point cloud from all visible surfaces of a mesh model; it ignores all hidden surfaces.☆10Nov 7, 2020Updated 5 years ago
- An embedded Rust IDE with an emphasis on a fun and insightful coding experience☆11Sep 23, 2024Updated last year
- headless-ida-mcp-server☆33Apr 4, 2025Updated 11 months ago
- Rynx game engine tech stuff.☆10Updated this week