repos
31
ecosystems
5
languages
6
commits
355
─── top repos · by commits
─── repositories
31 totalSymbolic execution tool
Compile Datalog into microservices
Symbolic execution tool
A differential fuzzer for x86 decoders
Binary Type Inference Ghidra Plugin
Principled, lightweight C/C++ PE parser
The Manticore User Interface with plugins for Binary Ninja and Ghidra
Open-source symbolic execution framework: https://maat.re
Peter's Amazing Syntax Tree Analyzer
WebAssembly decoder & disassembler library
A cookiecutter template for a best-practices Python project
Detecting Inconsistencies in Feature or Function Evaluations of Requirements
Example Manticore scripts
DARPA Challenges Sets for Linux, Windows, and macOS
binary->LLVM->circuits
A cross-platform library for verifying Authenticode signatures
ManticoreUI support for Ghidra. This is primarily a prototype repository. See the main ManticoreUI repo (https://github.com/trailofbits/ManticoreUI) for a more complete implementation with Binary Ninja.
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
Reproduce Binja Rust Load issue
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.
EVM dissassembler
Checksec, but for Windows: static detection of security mitigations in executables
Code auditing productivity multiplier.
C API bindlings for Google's weggli
Tooling for evaluating BTI soundness and precision on a dataset of binaries.
Lucet, the Sandboxing WebAssembly Compiler.
─── peer developers
─── languages
- C++10
- Python8
- Rust5
- Java3
- C3
- WebAssembly1
─── subscriber view
Unlock the full view of ekilmer
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.