Implementations of program analysis tools with a focus on machine code
☆208Sep 21, 2014Updated 11 years ago
Alternatives and similar repositories for implementations
Users that are interested in implementations are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Survey of program analysis research with a focus on machine code☆564Sep 8, 2020Updated 5 years ago
- Abstract Binary Format Manipulation - ELF, PE and Mach-O format☆119Aug 20, 2015Updated 10 years ago
- IDA cLEMENCy Tools☆63Jul 31, 2017Updated 8 years ago
- A(nother) Binary Analysis Framework☆30Jun 10, 2014Updated 11 years ago
- Python scripts for reverse engineering.☆188May 7, 2021Updated 4 years ago
- A ROP and binary analysis exploit challenge for edurange☆16Mar 4, 2015Updated 11 years ago
- A fully automatic fuzzing tool for Valgrind, unofficial mirror for http://esec-lab.sogeti.com/pages/fuzzgrind.html☆36Aug 5, 2015Updated 10 years ago
- Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)☆512May 1, 2021Updated 4 years ago
- IDAPython script for quick vulnerability analysis☆32May 10, 2014Updated 11 years ago
- DiskCryptor - it's a free solution that allows you to encrypt disk partitions, including system partition.☆17Dec 7, 2011Updated 14 years ago
- ☆13Aug 12, 2015Updated 10 years ago
- An amd64 symbolic emulator☆314Aug 28, 2021Updated 4 years ago
- IDA scripts that facilitate reverse engineering☆16Aug 10, 2016Updated 9 years ago
- Haskell parser for the REIL intermediate language (currently a work-in-progress)☆11Jan 12, 2018Updated 8 years ago
- Analyzes open source bug trackers for interesting vulnerabilities☆23Feb 3, 2015Updated 11 years ago
- A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities☆345May 5, 2019Updated 6 years ago
- Try to transport the tcpip stack of ReactOS to Windows XP.☆17Feb 27, 2014Updated 12 years ago
- Solutions for various crackmes☆20Jan 13, 2013Updated 13 years ago
- DLL to use the power of Pafish☆32Oct 5, 2021Updated 4 years ago
- profiling tool for analysising the games, get all the characteristic by hook d3d☆18Oct 10, 2014Updated 11 years ago
- ☆125Mar 15, 2021Updated 5 years ago
- Scanning and identifying XOR encrypted PE files in PE resources☆30Jun 22, 2014Updated 11 years ago
- A memory engine that scans, debugs and disassembles an applications memory space.☆14Oct 29, 2017Updated 8 years ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- windows kernel File redirection☆20Sep 21, 2014Updated 11 years ago
- Source for many challenges from DEF CON 21 CTF Qualifier☆39Apr 6, 2014Updated 11 years ago
- Windows Kernel Mode PCRE☆10Feb 4, 2015Updated 11 years ago
- IDASimulator is a plugin that extends IDA's conditional breakpoint support, making it easy to augment / replace complex executable code i…☆46Sep 2, 2014Updated 11 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- ☆15Oct 24, 2017Updated 8 years ago
- Dynamic binary translation framework for instrumenting x86-64 user space Linux programs☆38May 29, 2018Updated 7 years ago
- Exploit kit analyzer☆22Mar 3, 2015Updated 11 years ago
- ☆21Mar 15, 2016Updated 10 years ago
- Some low-level stuff☆109May 19, 2024Updated last year
- Statically linked Library detector☆70Jan 26, 2015Updated 11 years ago
- OllySocketTrace is a plugin for OllyDbg to trace the socket operations being performed by a process.☆63Nov 4, 2011Updated 14 years ago
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 11 years ago
- A system call tracer☆10Sep 22, 2014Updated 11 years ago
- Anti-Anti-Debugger Plugins☆20Jul 27, 2013Updated 12 years ago