Topic: program-analysis Goto Github

👇 Here are 214 public repositories matching this topic...

angr / angr-management
program-analysis,The official angr GUI.
Organization: angr
angr hacktoberfest program-analysis

binaryanalysisplatform / bap
program-analysis,Binary Analysis Platform
Organization: binaryanalysisplatform
binary-analysis reverse-engineering program-analysis static-analysis dynamic-analysis program-verification instruction-semantics taint-analysis disassembler lifter

canliture / nju-software-analysis-homework
program-analysis,南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
User: canliture
program-analysis static-analysis soot compiler-optimization

consensys / mythril
program-analysis,Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
Organization: consensys
Home Page: https://mythx.io/
security-analysis ethereum blockchain smart-contracts solidity program-analysis security symbolic-execution

cs-au-dk / tajs
program-analysis,Type Analyzer for JavaScript
Organization: cs-au-dk
Home Page: http://www.brics.dk/TAJS/
javascript program-analysis static-analyzer static-code-analysis type-checking

cs-au-dk / tip
program-analysis,Static program analysis for TIP
Organization: cs-au-dk
Home Page: http://cs.au.dk/~amoeller/spa/
pointer-analysis points-to-analysis program-analysis static-analyzer static-code-analysis

dosx-dev / pe-litescan
program-analysis,A simple crossplatform heuristic PE-analyzer
User: dosx-dev
Home Page: https://dosx.su
detect detector engine entropy malware-analysis packer pentest reverse-engineering scanner static-analysis

enzet / symbolic-execution
program-analysis,History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
User: enzet
dynamic-symbolic-execution symbolic-execution history timeline concolic-execution concolic program-analysis dynamic-analysis solving

exposejs / expose
program-analysis,A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
Organization: exposejs
javascript symbolic-execution software-testing unit-testing programming-languages program-analysis bug-fixing

facebook / pyre-check
program-analysis,Performant type-checking for python.
Organization: facebook
Home Page: https://pyre-check.org/
python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis

falconre / falcon
program-analysis,Binary Analysis Framework in Rust
Organization: falconre
binary-analysis rust program-analysis data-flow-analysis

feysh-group / corax-community
program-analysis,Corax for Java: A general static analysis framework for java code checking.
Organization: feysh-group
abstract-interpretation code-analysis cwe flowdroid java owasp program-analysis sarif sast security

fkie-cad / cwe_checker
program-analysis,cwe_checker finds vulnerable patterns in binary executables
Organization: fkie-cad
Home Page: https://docs.cwe-checker.io
cwe binary-analysis static-analyzer vulnerability-scanner reverse-engineering program-analysis security-scanner security cwe-checker ghidra

fugue-re / fugue-core
program-analysis,A binary analysis framework written in Rust.
Organization: fugue-re
binary-analysis disassembly lifting program-analysis reverse-engineering

galoisinc / mate
program-analysis,MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
Organization: galoisinc
Home Page: https://galoisinc.github.io/MATE/
code-property-graph llvm program-analysis security security-research static-analysis symbolic-execution

github / codeql-go
program-analysis,The CodeQL extractor and libraries for Go.
Organization: github
codeql golang go datalog program-analysis static-analysis

glacierw / mba
program-analysis,Malware Behavior Analyzer
User: glacierw
malware qemu sandbox virtual-machine-introspection forensics taint-analysis program-analysis dynamic-binary-analysis

goblint / analyzer
program-analysis,Static analysis framework for C
Organization: goblint
Home Page: https://goblint.in.tum.de
ocaml c static-analysis static-code-analysis abstract-interpretation program-analysis race-conditions race-detection software-verification

google / bindiff
program-analysis,Quickly find differences and similarities in disassembled code
Organization: google
Home Page: https://zynamics.com/bindiff.html
bindiff binexport diffing program-analysis program-differencing reverse-engineering c-plus-plus ida-plugin ida-pro java

hairyfotr / linter
program-analysis,Static Analysis Compiler Plugin for Scala
User: hairyfotr
scala static-analysis linter compiler-plugin abstract-interpretation program-analysis

horsicq / detect-it-easy
program-analysis,Program for determining types of files for Windows, Linux and MacOS.
User: horsicq
Home Page: http://ntinfo.biz
debugger detect unpacker disassembler reverse-engineering elf packer detector binary-analysis program-analysis

horsicq / die-engine
program-analysis,DIE engine
User: horsicq
binary-analysis disassembler elf entropy hacktoberfest hacktoberfest22 program-analysis reverse-engineering signature unpacker yara

jar-analyzer / jar-analyzer
program-analysis,Jar Analyzer - 一个JAR包分析工具，SCA漏洞分析，批量分析JAR包，方法调用关系搜索，字符串搜索，Spring组件分析，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码
Organization: jar-analyzer
Home Page: https://jar-analyzer.github.io
java-asm java-decompiler static-analysis vulnerability jar java-bytecode java-gui program-analysis bytecode java-debugger

jar-analyzer / jar-analyzer-v1-gui
program-analysis,建议使用新版：https://github.com/jar-analyzer/jar-analyzer
Organization: jar-analyzer
Home Page: https://github.com/jar-analyzer/jar-analyzer
java-decompiler program-analysis static-analysis

jonathansalwan / triton
program-analysis,Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
User: jonathansalwan
Home Page: https://triton-library.github.io
binary-analysis binary-translation deobfuscation dynamic-analysis emulator instruction-semantics lifter program-analysis reverse-engineering symbolic-execution taint-analysis

jonathansalwan / vmprotect-devirtualization
program-analysis,Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
User: jonathansalwan
vmprotect symbolic-execution program-analysis llvm-ir deobfuscation

learn-llvm / awesome-llvm
program-analysis,A curated list of awesome LLVM (including Clang, etc) related resources.
Organization: learn-llvm
llvm clang compilers awesome-list llvm-tutorial program-analysis

ltcmelo / psychec
program-analysis,A compiler frontend for the C programming language
User: ltcmelo
c type-inference compiler parser c-language clanguage static-analysis compiler-frontend parsing parsing-library

mazeppa-dev / mazeppa
program-analysis,A modern supercompiler for call-by-value functional languages
Organization: mazeppa-dev
compiler functional functional-programming language optimization performance programming-language supercompiler intermediate-representation symbolic-execution

mchalupa / dg
program-analysis,[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
User: mchalupa
llvm-bitcode llvm-slicer dependence-graph static-analysis static-code-analysis reaching-definitions slicing dependency-graph program-analysis slice

nasa-sw-vnv / ikos
program-analysis,Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Organization: nasa-sw-vnv
static-analysis software-verification abstract-interpretation program-analysis

pascal-lab / tai-e-assignments
program-analysis,Tai-e assignments for static program analysis
Organization: pascal-lab
Home Page: https://tai-e.pascal-lab.net/
education java static-analysis program-analysis

python-security / pyt
program-analysis,A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Organization: python-security
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

quarkslab / pastis
program-analysis,PASTIS: Collaborative Fuzzing Framework
Organization: quarkslab
Home Page: https://quarkslab.github.io/pastis
fuzzing program-analysis symbolic-execution vulnerability-research

quarkslab / qbindiff
program-analysis,Quarkslab Bindiffer but not only !
Organization: quarkslab
Home Page: https://diffing.quarkslab.com
binary-diffing network-alignment program-analysis reverse-engineering vulnerability-research

rizinorg / rizin
program-analysis,UNIX-like reverse engineering framework and command-line toolset.
Organization: rizinorg
Home Page: https://rizin.re
reverse-engineering program-analysis security exploitation debugging

seahorn / clam
program-analysis,Static Analyzer for LLVM bitcode based on Abstract Interpretation
Organization: seahorn
llvm program-analysis abstract-interpretation invariants static-analysis software-verification

seahorn / crab
program-analysis,A library for building abstract interpretation-based analyses
Organization: seahorn
static-analysis abstract-interpretation program-analysis invariants verification

seahorn / seahorn
program-analysis,SeaHorn Verification Framework
Organization: seahorn
Home Page: http://seahorn.github.io/
verification llvm model-checking abstract-interpretation horn-clauses program-analysis static-analysis

secure-software-engineering / phasar
program-analysis,A LLVM-based static analysis framework.
Organization: secure-software-engineering
llvm program-analysis data-flow-analysis c cpp static-analysis

semgrep / semgrep-rules
program-analysis,Semgrep rules registry
Organization: semgrep
Home Page: https://semgrep.dev/registry
static-analysis grep-like program-analysis security security-scanner semgrep semgrep-rules semgrep-registry

soot-oss / sootup
program-analysis,A new version of Soot with a completely overhauled architecture
Organization: soot-oss
Home Page: https://soot-oss.github.io/SootUp/
android call-graph dataflow-analysis java program-analysis soot static-analysis static-code-analysis bytecode jimple

tencent / codeanalysis
program-analysis,Static Code Analysis - 静态代码分析
Organization: tencent
Home Page: https://tencent.github.io/CodeAnalysis/
code-analysis python37 program-analysis code-quality code-quality-analyzer code-review

trailofbits / manticore
program-analysis,Symbolic execution tool
Organization: trailofbits
Home Page: https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
symbolic-execution z3 python binary-analysis emulation smt program-analysis security ethereum blockchain

trailofbits / siderophile
program-analysis,Find the ideal fuzz targets in a Rust codebase
Organization: trailofbits
Home Page: https://blog.trailofbits.com/2019/07/01/siderophile-expose-your-crates-unsafety/
rust fuzzing program-analysis security-testing

trailofbits / vast
program-analysis,VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
Organization: trailofbits
Home Page: https://trailofbits.github.io/vast/
clang mlir program-analysis c compiler-frontend compilers cpp intermediate-representation

ultimate-pa / ultimate
program-analysis,The Ultimate program analysis framework.
Organization: ultimate-pa
Home Page: https://ultimate-pa.org/
program-analysis model-checking ltl reachability termination automata software-analysis

vitsalis / pycg
program-analysis,Static Python call graph generator
User: vitsalis
callgraph python static-analysis program-analysis call-graphs pycg

wala / wala
program-analysis,T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
Organization: wala
Home Page: http://github.com/wala/WALA
static-analysis java javascript android static-code-analysis program-analysis callgraph slicing dataflow-analysis pointer-analysis

x64dbg / x64dbg
program-analysis,An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
Organization: x64dbg
Home Page: http://x64dbg.com
debugger windows x64 disassembler reverse-engineering security x86 x86-64 cpp malware-analysis