Topic: program-analysis

facebook / pyre-check

Performant type-checking for python.

python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis control-flow-analysis

OCaml Updated Mar 22, 2019

python-security / pyt

1.8k

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

pyt control-flow-graph static-analysis python python3 security static-code-analysis program-analysis fixed-point fixed-point-analysis dataflow dataflow-analysis taint taint-analysis abstract-syntax-tree abstract-syntax flask

Python Updated Jan 30, 2019 6 issues need help

trailofbits / manticore

1.5k

Symbolic execution tool

symbolic-execution z3 python binary-analysis emulation smt program-analysis security ethereum blockchain testing

Python Updated Mar 22, 2019 23 issues need help

JonathanSalwan / Triton

1.2k

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Executio…

reverse-engineering symbolic-execution binary-analysis instruction-semantics program-analysis taint-analysis smt binary-translation

C++ Updated Mar 12, 2019

NASA-SW-VnV / ikos

1k

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

static-analysis software-verification abstract-interpretation program-analysis

C++ Updated Mar 21, 2019

BinaryAnalysisPlatform / bap

882

Binary Analysis Platform

OCaml Updated Mar 22, 2019 5 issues need help

horsicq / Detect-It-Easy

760

Program for determining types of files.

debugger detect unpacker disassembler reverse-engineering elf packer detector binary-analysis program-analysis static-analysis

YARA Updated Mar 21, 2019

enzet / symbolic-execution

272

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

dynamic-symbolic-execution symbolic-execution history timeline concolic-execution concolic program-analysis dynamic-analysis solving

Updated Dec 30, 2017

HairyFotr / linter

265

Static Analysis Compiler Plugin for Scala

scala static-analysis linter compiler-plugin abstract-interpretation program-analysis

Scala Updated Jul 10, 2018

falconre / falcon

229

Formal Binary Analysis Framework in Rust

binary-analysis rust program-analysis data-flow-analysis

Rust Updated Jan 26, 2019

GlacierW / MBA

115

Malware Behavior Analyzer

malware qemu sandbox virtual-machine-introspection forensics taint-analysis program-analysis dynamic-binary-analysis

C Updated Jun 1, 2017

cs-au-dk / TAJS

106

Type Analyzer for JavaScript

static-analyzer javascript program-analysis static-code-analysis type-checking

Java Updated Jan 24, 2019

mchalupa / dg

97

[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation fo…

llvm-bitcode llvm-slicer dependence-graph static-analysis static-code-analysis reaching-definitions slicing dependency-graph program-analysis slice analysis llvm llvm-ir static-analyzer pointer-analysis points-to-analysis data-dependency control-dependency backward-slicing

C++ Updated Mar 22, 2019

mingyuan-xia / PATDroid

89

A Program Analysis Toolkit for Android

android dalvik program-analysis bytecode apk

Java Updated May 25, 2017

pfalcon / ScratchABlock

67

Yet another crippled decompiler project

decompiler reverse-engineering program-analysis data-flow-analysis

Python Updated Feb 23, 2019

ultimate-pa / ultimate

64

program-analysis model-checking ltl reachability termination automata software-analysis

C Updated Mar 22, 2019 10 issues need help

cs-au-dk / TIP

64

Static program analysis for TIP

static-analyzer points-to-analysis program-analysis pointer-analysis static-code-analysis

Scala Updated Jan 7, 2019

seahorn / crab-llvm

60

Static Analyzer for LLVM bitcode based on Abstract Interpretation

llvm program-analysis abstract-interpretation invariants static-analysis software-verification

C Updated Mar 17, 2019

liuml07 / giri

60

Dynamic Program Slicing in LLVM Compiler

llvm compilers program-analysis instrumentation research-project

C++ Updated Aug 1, 2018

seahorn / crab

48

CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation

static-analysis abstract-interpretation invariant-generation program-analysis

C++ Updated Mar 18, 2019 1 issue needs help

ExpoSEJS / ExpoSE

38

A Dynamic Symbolic Execution (DSE) engine for JavaScript

javascript symbolic-execution software-testing unit-testing programming-languages program-analysis bug-fixing

JavaScript Updated Mar 18, 2019

fkie-cad / cwe_checker

20

cwe_checker is a BAP plugin to find vulnerable patterns in binary executables

bap cwe binary-analysis static-analyzer vulnerability-scanner reverse-engineering program-analysis security-scanner security ocaml

OCaml Updated Mar 22, 2019

szabta89 / IncA

17

Incremental Program Analysis Framework

domain-specific-language incremental-computation program-analysis language-workbench

Xtend Updated Mar 17, 2019

SRI-CSL / bixie

12

Inconsistent code detection for Java.

static-analysis static-analyzer java program-analysis inconsistency

Java Updated Jan 26, 2018

agustingianni / instrumentation

12

Assorted pintools

instrumentation pintool pin dynamic binary taint-analysis taint coverage code-coverage binary-analysis program-analysis

C++ Updated Dec 6, 2018

HexFlow / tipsy

11

Provide tips and corrections for C programs

scala packrat parsing top-down c grammar compiler mooc program-analysis clustering

Scala Updated Jun 15, 2018

yugr / sortcheck

11

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

dynamic-analysis runtime-verification qsort program-analysis

C Updated Mar 20, 2019

spideruci / blinky

9

Java Code Instrumenter and Execution Tracer

instrumenter execution-tracer program-analysis java

Java Updated Jun 20, 2018

miwong / tiro

7

TIRO - A hybrid iterative deobfuscation framework for Android applications

android deobfuscation program-analysis static-analysis dynamic-analysis

Java Updated Aug 17, 2018

yugr / sighandlercheck

6

Proof-of-concept tool for checking signal handlers for reentrancy issues.

dynamic-analysis runtime-verification signal program-analysis signal-handler

C Updated Mar 22, 2019

Please note that GitHub no longer supports Internet Explorer.

program-analysis

Repositories 66