A python layer to interface with several SMTLIBv2 enabled SMT solvers
☆16Apr 22, 2015Updated 10 years ago
Alternatives and similar repositories for pysmtlib
Users that are interested in pysmtlib are comparing it to the libraries listed below
Sorting:
- ☆14Dec 9, 2015Updated 10 years ago
- ☆15Oct 27, 2015Updated 10 years ago
- A pin tool to visualise heap operations☆21May 6, 2015Updated 10 years ago
- Dynamic binary translation framework for instrumenting x86-64 user space Linux programs☆38May 29, 2018Updated 7 years ago
- covFuzz☆34Jun 8, 2017Updated 8 years ago
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Mar 30, 2016Updated 9 years ago
- REIL translation library☆36May 6, 2016Updated 9 years ago
- INACTIVE - http://mzl.la/ghe-archive - Quokka is a utility to launch and monitor application for faults.☆40Apr 1, 2019Updated 6 years ago
- Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…☆18Feb 22, 2013Updated 13 years ago
- Vulnerability research and development.☆25Jul 22, 2015Updated 10 years ago
- IDAScript to create Symbol file which can be loaded in WinDbg via AddSyntheticSymbol☆41Jul 25, 2014Updated 11 years ago
- Python implementation of zzuf mutator - little bit-flip atomic bomb☆71Nov 15, 2016Updated 9 years ago
- Patching Flash binary to stop Flash exploits and zero-days☆62Apr 18, 2017Updated 8 years ago
- Z3 Symbolic Execution python☆28Dec 28, 2017Updated 8 years ago
- Python wrapper for the Windows CDB Debugger☆20Feb 9, 2022Updated 4 years ago
- IDAPython script in order to auto-rename subs☆20May 17, 2017Updated 8 years ago
- XED based Disassembly Engine☆21Apr 23, 2018Updated 7 years ago
- Microsoft Edge MemGC Internals☆17Sep 2, 2015Updated 10 years ago
- utilities☆15Jul 2, 2013Updated 12 years ago
- Test Suite and exemplary extensions of the "Attacking Browser Extensions" master's thesis☆28May 22, 2016Updated 9 years ago
- An instrumentation script based on Frida which leverages Control Flow Guard to intercept indirect calls in CFG-enabled Windows binaries.☆30Jun 24, 2015Updated 10 years ago
- ☆159Feb 23, 2015Updated 11 years ago
- A "general-purpose" tracing tool☆39Jun 22, 2015Updated 10 years ago
- Visually Monitor Heap Allocations and Frees☆18Feb 24, 2020Updated 6 years ago
- Linux hooking engine for ARM architecture☆16May 4, 2015Updated 10 years ago
- RemoteBridge is a library that allows you to access internal COM and JAVA objects used by third-party applications remotely.☆35Oct 11, 2017Updated 8 years ago
- python inspect rootkit tool☆33Oct 17, 2013Updated 12 years ago
- American Fuzzy Lop (AFL) and libjpeg-turbo built to play with fuzzing on Debian wheezy.☆40Mar 5, 2016Updated 9 years ago
- Adds another code segment to an existing program. Experimental: can take in ELF-compiled stuff.☆19Mar 4, 2016Updated 9 years ago
- ☆22Mar 23, 2016Updated 9 years ago
- Functions Catalog☆28Jul 10, 2019Updated 6 years ago
- map file generator for intel x86 binary based on flirt signature☆83May 2, 2016Updated 9 years ago
- Generates a Python script to give public interface names in an ActiveX file to an IDB file.☆51Jul 16, 2021Updated 4 years ago
- Valgrind extension for whitebox fuzz testing☆30Jul 10, 2009Updated 16 years ago
- Packed Malware Analyzer (PACKMAN)☆12Jan 31, 2016Updated 10 years ago
- Python bindings for AsmJit☆12Aug 13, 2012Updated 13 years ago
- Allows a user to grab documentation from online MSDN for a given function name in IDA, and import the documentation as a repeatable comme…☆15Jul 22, 2012Updated 13 years ago
- The educational Animus malware☆18Sep 25, 2019Updated 6 years ago
- IDA AArch64 processor extender extension: Adding crypto extension instructions (AES/SHA1/SHA256)☆24Nov 26, 2016Updated 9 years ago