gdslang / gdsl-toolkitView external linksLinks
Generic Decoder Specification Language Toolkit
☆32Mar 29, 2019Updated 6 years ago
Alternatives and similar repositories for gdsl-toolkit
Users that are interested in gdsl-toolkit are comparing it to the libraries listed below
Sorting:
- ☆27Mar 1, 2022Updated 3 years ago
- The Jakstab static analysis platform for binaries☆163Dec 10, 2019Updated 6 years ago
- A demonstration of Ocaml modules & functors for machine learning.☆11Jun 27, 2015Updated 10 years ago
- ☆32Sep 1, 2021Updated 4 years ago
- The LLVM Symbolic Simulator, part of SAW.☆22Jul 17, 2020Updated 5 years ago
- Texture Compression Techniques in DuckTales Remastered☆17Jul 11, 2016Updated 9 years ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- ☆64Oct 24, 2015Updated 10 years ago
- Tool for debugging and verifying El Torito boot data on CD-like images☆21Jan 5, 2024Updated 2 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
- Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)☆512May 1, 2021Updated 4 years ago
- Lightweight Symbolic Execution Engine☆23Jul 1, 2015Updated 10 years ago
- ☆50Dec 28, 2012Updated 13 years ago
- Gadget displacement on top of IPR (In-Place Randomization) against Code Reuse Attack☆26May 31, 2016Updated 9 years ago
- Collection of my IDAPython scripts☆33Sep 17, 2015Updated 10 years ago
- ☆105Apr 20, 2015Updated 10 years ago
- Python bindings for Intel's XED☆33Jul 1, 2024Updated last year
- Modified from pwndbg. Enhance the UI part for better usage.☆26Jun 14, 2019Updated 6 years ago
- ☆159Feb 23, 2015Updated 10 years ago
- Dr. Disassembler☆37Jan 5, 2022Updated 4 years ago
- A search tool for IDA☆70Nov 26, 2016Updated 9 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆72Apr 11, 2016Updated 9 years ago
- Z3 Symbolic Execution python☆28Dec 28, 2017Updated 8 years ago
- TaintAll, a taint analysis and concolic execution tool☆31Jan 2, 2017Updated 9 years ago
- [TPAMI 2022] Disentangling Light Fields for Super-Resolution and Disparity Estimation☆13Apr 2, 2024Updated last year
- KeyTerms centralized terminology management tool☆13Feb 7, 2019Updated 7 years ago
- Voxel engine☆15Mar 9, 2025Updated 11 months ago
- Simple Socket Protocol for Embedded Systems☆10Dec 12, 2025Updated 2 months ago
- An extensible component for detecting cosmetic contact lenses in iris imagery.☆10Jun 25, 2025Updated 7 months ago
- ☆10Sep 28, 2020Updated 5 years ago
- ☆13Mar 4, 2017Updated 8 years ago
- A library for disassembling x86-64 binaries.☆44Apr 24, 2025Updated 9 months ago
- A suite of tools for disassembly, ROP, and binary analysis written in Go☆51Mar 15, 2023Updated 2 years ago
- A flying and rock-shooting game☆17Oct 14, 2021Updated 4 years ago
- ☆11May 21, 2021Updated 4 years ago
- a node.js wrapper for docker machine☆10Sep 17, 2021Updated 4 years ago
- Lab Material for UEFI / EDK II Training☆11Nov 28, 2022Updated 3 years ago
- An EPICS areaDetector driver for CCD detectors from Andor Technology using Version 2 of the Andor Software Development Kit (SDK).☆10Dec 17, 2025Updated last month