Blinky: Java Code Instrumenter and Execution Tracer
Check out the project wiki for more information: https://github.com/spideruci/blinky-core/wiki
spideruci / blinky
Licence: other
Java Code Instrumenter and Execution Tracer
Stars: ✭ 16
Projects that are alternatives of or similar to blinky
Crab Llvm
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 143 (+793.75%)
Mutual labels: program-analysis
prometheus-ecto
Prometheus.io collector for Elixir.Ecto
Stars: ✭ 74 (+362.5%)
Mutual labels: instrumenter
adversarial-code-generation
Source code for the ICLR 2021 work "Generating Adversarial Computer Programs using Optimized Obfuscations"
Stars: ✭ 16 (+0%)
Mutual labels: program-analysis
Codeql Go
The CodeQL extractor and libraries for Go.
Stars: ✭ 224 (+1300%)
Mutual labels: program-analysis
binary-decompilation
Extracting high level semantic information from binary code
Stars: ✭ 55 (+243.75%)
Mutual labels: program-analysis
Dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+1412.5%)
Mutual labels: program-analysis
surveyor
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
Stars: ✭ 14 (-12.5%)
Mutual labels: program-analysis
Pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Stars: ✭ 2,061 (+12781.25%)
Mutual labels: program-analysis
sortcheck
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
Stars: ✭ 23 (+43.75%)
Mutual labels: program-analysis
Triton
Triton 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 (+11987.5%)
Mutual labels: program-analysis
iec-checker
Static analysis of IEC 61131-3 programs
Stars: ✭ 36 (+125%)
Mutual labels: program-analysis
must-read
Lists of must-read papers (mainly security papers)
Stars: ✭ 13 (-18.75%)
Mutual labels: program-analysis
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 180 (+1025%)
Mutual labels: program-analysis
tiro
TIRO - A hybrid iterative deobfuscation framework for Android applications
Stars: ✭ 20 (+25%)
Mutual labels: program-analysis
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].