DynamorioDynamic Instrumentation Tool Platform
Stars: ✭ 1,828 (+13961.54%)
Mutual labels: binary-analysis, dynamorio
instrumentationAssorted pintools
Stars: ✭ 24 (+84.62%)
Mutual labels: binary-analysis, taint-analysis
TritonTriton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Stars: ✭ 1,934 (+14776.92%)
Mutual labels: binary-analysis, taint-analysis
dynTaintTracera taint tracer based on DynamoRIO, currently ARM only
Stars: ✭ 32 (+146.15%)
Mutual labels: taint-analysis, dynamorio
BEFA-LibraryHigh-level library for executable binary file analysis
Stars: ✭ 14 (+7.69%)
Mutual labels: binary-analysis
auraPython source code auditing and static analysis on a large scale
Stars: ✭ 101 (+676.92%)
Mutual labels: taint-analysis
FAROSFAROS: Illuminating In-Memory Injection Attacks via Provenance-based Whole System Dynamic Information Flow Tracking
Stars: ✭ 16 (+23.08%)
Mutual labels: taint-analysis
stack-guardA toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain
Stars: ✭ 21 (+61.54%)
Mutual labels: taint-analysis
pharos-demangleDemangles C++ symbol names genarated by Microsoft Visual C++ in order to retrieve the original C++ declarations.
Stars: ✭ 27 (+107.69%)
Mutual labels: binary-analysis
nampaNampa - FLIRT for (binary) ninjas
Stars: ✭ 55 (+323.08%)
Mutual labels: binary-analysis
Binja4JNo description or website provided.
Stars: ✭ 14 (+7.69%)
Mutual labels: binary-analysis
peekabooAn standalone execution trace library built on DynamoRIO.
Stars: ✭ 17 (+30.77%)
Mutual labels: dynamorio
DrCCTProfDrCCTProf is a fine-grained call path profiling framework for binaries running on ARM and X86 architectures.
Stars: ✭ 81 (+523.08%)
Mutual labels: binary-analysis
gotchaGo Taint CHeck Analyser
Stars: ✭ 40 (+207.69%)
Mutual labels: taint-analysis
RelBinsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Stars: ✭ 27 (+107.69%)
Mutual labels: binary-analysis
libdft64libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)
Stars: ✭ 174 (+1238.46%)
Mutual labels: taint-analysis
taint-with-fridajust an experiment
Stars: ✭ 17 (+30.77%)
Mutual labels: taint-analysis
GVProfGVProf: A Value Profiler for GPU-based Clusters
Stars: ✭ 25 (+92.31%)
Mutual labels: binary-analysis
phan-taint-check-pluginGithub mirror of "mediawiki/tools/phan/SecurityCheckPlugin" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
Stars: ✭ 21 (+61.54%)
Mutual labels: taint-analysis
sleighcraftsleigh craft!
Stars: ✭ 221 (+1600%)
Mutual labels: binary-analysis