horsicq/Detect-It-Easy

Program for determining types of files for Windows, Linux and MacOS.

Language: JavaScript - Size: 12.1 MB - Last synced: about 17 hours ago - Pushed: about 18 hours ago - Stars: 6,643 - Forks: 671

secure-software-engineering/phasar

A LLVM-based static analysis framework.

Language: C++ - Size: 120 MB - Last synced: about 19 hours ago - Pushed: about 20 hours ago - Stars: 895 - Forks: 139

google/bindiff

Quickly find differences and similarities in disassembled code

Language: Java - Size: 309 MB - Last synced: about 19 hours ago - Pushed: about 20 hours ago - Stars: 1,905 - Forks: 104

baikaishuipp/jcci

Java code commit impact, java code change impact analysis，java代码改动影响范围分析工具，精准测试，回归测试范围划定

Language: Python - Size: 1.2 MB - Last synced: about 23 hours ago - Pushed: 1 day ago - Stars: 174 - Forks: 29

GaloisInc/cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

Language: C++ - Size: 3.97 MB - Last synced: 2 days ago - Pushed: 12 months ago - Stars: 111 - Forks: 14

GaloisInc/yapall

A precise and scalable pointer analysis for LLVM, written in Ascent

Language: C - Size: 3.56 MB - Last synced: 2 days ago - Pushed: 10 days ago - Stars: 50 - Forks: 3

UnitTestBot/usvm

Universal Symbolic Virtual Machine

Language: Kotlin - Size: 59.1 MB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 9 - Forks: 6

JonathanSalwan/Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Language: C++ - Size: 57 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 3,314 - Forks: 519

unpackdev/solgo

Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.

Language: Go - Size: 155 MB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 21 - Forks: 3

bdqnghi/awesome-ai4code

A collection of recent papers, benchmarks and datasets of AI4Code domain.

Size: 77.1 KB - Last synced: 3 days ago - Pushed: 18 days ago - Stars: 50 - Forks: 4

statycc/pymwp

Implementation of MWP analysis on C code in Python.

Language: Python - Size: 1.27 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 3 - Forks: 1

fugue-re/fugue-core

A binary analysis framework written in Rust.

Language: Rust - Size: 530 KB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 154 - Forks: 8

quarkslab/qbindiff

Quarkslab Bindiffer but not only !

Language: Python - Size: 5.19 MB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 158 - Forks: 6

soot-oss/SootUp

A new version of Soot with a completely overhauled architecture

Language: Java - Size: 152 MB - Last synced: 10 days ago - Pushed: 10 days ago - Stars: 499 - Forks: 59

BinaryAnalysisPlatform/bap

Binary Analysis Platform

Language: OCaml - Size: 8.07 MB - Last synced: 5 days ago - Pushed: 7 days ago - Stars: 1,986 - Forks: 271

plast-lab/HeapDL

Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.

Language: Java - Size: 455 KB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 14 - Forks: 1

horsicq/DIE-engine

DIE engine

Language: C++ - Size: 59.5 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 2,116 - Forks: 306

goblint/analyzer

Static analysis framework for C

Language: OCaml - Size: 35.8 MB - Last synced: 9 days ago - Pushed: 10 days ago - Stars: 151 - Forks: 70

trailofbits/manticore

Symbolic execution tool

Language: Python - Size: 43.5 MB - Last synced: 8 days ago - Pushed: 8 months ago - Stars: 3,640 - Forks: 467

wala/WALA

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

Language: Java - Size: 57.5 MB - Last synced: 9 days ago - Pushed: 10 days ago - Stars: 725 - Forks: 218

NASA-SW-VnV/ikos

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

Language: C++ - Size: 5 MB - Last synced: 9 days ago - Pushed: about 1 month ago - Stars: 1,988 - Forks: 150

fkie-cad/cwe_checker

cwe_checker finds vulnerable patterns in binary executables

Language: Rust - Size: 12.9 MB - Last synced: 8 days ago - Pushed: 30 days ago - Stars: 1,056 - Forks: 115

Koukyosyumei/Gymbo

gradient-based symbolic execution engine implemented from scratch

Language: C++ - Size: 10.1 MB - Last synced: 9 days ago - Pushed: 5 months ago - Stars: 35 - Forks: 0

pfalcon/ScratchABlock

Yet another crippled decompiler project

Language: Python - Size: 905 KB - Last synced: 2 days ago - Pushed: over 2 years ago - Stars: 101 - Forks: 23

trailofbits/vast

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.

Language: C++ - Size: 4.2 MB - Last synced: 14 days ago - Pushed: 15 days ago - Stars: 335 - Forks: 24

ltcmelo/psychec

A compiler frontend for the C programming language

Language: C++ - Size: 9.49 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 496 - Forks: 39

4ra1n/jar-analyzer-gui 📦

建议使用新版：https://github.com/jar-analyzer/jar-analyzer

Language: Java - Size: 20.2 MB - Last synced: 7 days ago - Pushed: 5 months ago - Stars: 900 - Forks: 113

miyamok/smartcontract-verification

Formal verification tool for Solidity

Language: Haskell - Size: 121 KB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 0 - Forks: 0

Consensys/mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Language: Python - Size: 47.1 MB - Last synced: 18 days ago - Pushed: 29 days ago - Stars: 3,713 - Forks: 701

enkomio/Sojobo

A binary analysis framework

Language: F# - Size: 27.9 MB - Last synced: 10 days ago - Pushed: over 3 years ago - Stars: 134 - Forks: 18

facebook/pyre-check

Performant type-checking for python.

Language: OCaml - Size: 113 MB - Last synced: 19 days ago - Pushed: 19 days ago - Stars: 6,689 - Forks: 425

songyahui/infer_TempFix

ProveNFix is a program analysis/repair tool for temporal properties for C language.

Language: OCaml - Size: 139 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

jungs1/solidity-static-code-analyzer

exploring the basics of static code analysis for fun

Language: Python - Size: 1.48 MB - Last synced: 19 days ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

FireElementalNE/MPCLoopParallelization

Loop Parallelization for MPC

Language: Java - Size: 569 KB - Last synced: 19 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

immarianaas/pa-23

Project & Assignments 🐍 ☕ | Program Analysis - DTU 2023/2024

Language: Python - Size: 5.02 MB - Last synced: 19 days ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

x64dbg/x64dbg

An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.

Language: C++ - Size: 57 MB - Last synced: 19 days ago - Pushed: 20 days ago - Stars: 43,153 - Forks: 2,294

GaloisInc/MATE

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.

Language: Python - Size: 117 MB - Last synced: 2 days ago - Pushed: over 1 year ago - Stars: 170 - Forks: 11

umangm/rapid

Dynamic Analysis for Concurrent Programs

Language: Java - Size: 26.6 MB - Last synced: 19 days ago - Pushed: 20 days ago - Stars: 20 - Forks: 6

github/codeql-go 📦

The CodeQL extractor and libraries for Go.

Size: 14.9 MB - Last synced: 20 days ago - Pushed: over 1 year ago - Stars: 463 - Forks: 128

seahorn/seahorn

SeaHorn Verification Framework

Language: C - Size: 7.52 MB - Last synced: 21 days ago - Pushed: 22 days ago - Stars: 429 - Forks: 132

agra-uni-bremen/BinSym

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model

Language: Haskell - Size: 103 KB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 13 - Forks: 1

ultimate-pa/ultimate

The Ultimate program analysis framework.

Language: Java - Size: 818 MB - Last synced: 24 days ago - Pushed: 25 days ago - Stars: 182 - Forks: 40

semgrep/semgrep-rules

Semgrep rules registry

Language: Solidity - Size: 9.14 MB - Last synced: 28 days ago - Pushed: 29 days ago - Stars: 705 - Forks: 363

Tencent/CodeAnalysis

Static Code Analysis - 静态代码分析

Language: Python - Size: 635 MB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 1,573 - Forks: 269

seahorn/clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Language: C - Size: 4.02 MB - Last synced: 19 days ago - Pushed: 20 days ago - Stars: 250 - Forks: 37

rizinorg/book

An official book about Rizin

Language: CSS - Size: 36.2 MB - Last synced: 27 days ago - Pushed: about 1 month ago - Stars: 64 - Forks: 34

learn-llvm/awesome-llvm

A curated list of awesome LLVM (including Clang, etc) related resources.

Language: Python - Size: 361 KB - Last synced: 29 days ago - Pushed: about 2 months ago - Stars: 409 - Forks: 33

jar-analyzer/jar-analyzer

Jar Analyzer - 一个JAR包分析工具，批量分析搜索，方法调用关系搜索，字符串搜索，Spring分析，CFG分析，JVM Stack Frame分析，远程分析Tomcat，进阶表达式搜索，自定义SQL查询，字节码查看，命令行分析，使用简易RASP保护

Language: Java - Size: 29.5 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 544 - Forks: 53

angr/angr-management

The official angr GUI.

Language: Python - Size: 12.7 MB - Last synced: 27 days ago - Pushed: 28 days ago - Stars: 816 - Forks: 106

rizinorg/rizin

UNIX-like reverse engineering framework and command-line toolset.

Language: C - Size: 142 MB - Last synced: 27 days ago - Pushed: 28 days ago - Stars: 2,413 - Forks: 326

jubnzv/iec-checker

Static analysis of IEC 61131-3 programs

Language: OCaml - Size: 469 KB - Last synced: 21 days ago - Pushed: about 1 year ago - Stars: 58 - Forks: 10

mmoschenskikh/dynamic-program-slicing-russian

Russian translation (excerpts) of 1990 «Dynamic Program Slicing» article by Hiralal Agrawal and Joseph Robert Horgan

Size: 700 KB - Last synced: 27 days ago - Pushed: 29 days ago - Stars: 0 - Forks: 0

seahorn/crab

A library for building abstract interpretation-based analyses

Language: C++ - Size: 6.77 MB - Last synced: 28 days ago - Pushed: 29 days ago - Stars: 215 - Forks: 31

vitsalis/PyCG 📦

Static Python call graph generator

Language: Python - Size: 274 KB - Last synced: 27 days ago - Pushed: 6 months ago - Stars: 288 - Forks: 52

SoftwareObservatorium/lasso

LASSO - A Large-Scale Software Observatorium for the Dynamic Selection, Analysis and Comparison of Software

Language: Java - Size: 25 MB - Last synced: 10 days ago - Pushed: 10 days ago - Stars: 6 - Forks: 1

python-security/pyt

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

Language: Python - Size: 3.2 MB - Last synced: 29 days ago - Pushed: over 3 years ago - Stars: 2,163 - Forks: 238

ExpoSEJS/ExpoSE

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.

Language: JavaScript - Size: 12 MB - Last synced: about 1 month ago - Pushed: 7 months ago - Stars: 175 - Forks: 32

nus-apr/CrashRepair

Security Vulnerability Repair via Concolic Execution and Code Mutations

Language: Python - Size: 13.4 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 1 - Forks: 0

SwathiSBhat/Static-program-analysis-techniques

Implementation of different forms of static program analysis techniques

Language: C++ - Size: 6.14 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

Feysh-Group/corax-community

Corax for Java: A general static analysis framework for java code checking.

Language: Kotlin - Size: 38 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 194 - Forks: 16

zhoumingyi/CustomDLCoder

Code for our paper "Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models" that has been accepted by ISSTA'24

Language: Python - Size: 155 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 1 - Forks: 0

falconre/falcon

Binary Analysis Framework in Rust

Language: Rust - Size: 2.23 MB - Last synced: 24 days ago - Pushed: 4 months ago - Stars: 537 - Forks: 49

Colton1skees/WinTTD

Reverse engineered API for Microsoft's Time Travel Debugger

Language: C++ - Size: 753 KB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 26 - Forks: 5

quarkslab/pastis

PASTIS: Collaborative Fuzzing Framework

Language: Python - Size: 60.8 MB - Last synced: 9 days ago - Pushed: 3 months ago - Stars: 147 - Forks: 8

cs-au-dk/TIP

Static program analysis for TIP

Language: Scala - Size: 3.03 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 270 - Forks: 120

Symbolk/Code2Graph

Towards converting multilingual source code into one language-agnostic graph representation.

Language: Java - Size: 50.6 MB - Last synced: 24 days ago - Pushed: about 1 year ago - Stars: 38 - Forks: 7

ktrianta/rust-callgraph-benchmark

A benchmark for Rust call-graph generators

Language: Rust - Size: 85.9 KB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 8 - Forks: 4

trailofbits/siderophile

Find the ideal fuzz targets in a Rust codebase

Language: Rust - Size: 3.44 MB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 184 - Forks: 12

mingyuan-xia/PATDroid

A Program Analysis Toolkit for Android

Language: Java - Size: 3.77 MB - Last synced: 24 days ago - Pushed: almost 7 years ago - Stars: 113 - Forks: 31

null1024-ws/Evasive_Strategies_For_Semgrep_Rules

This is a repository where you can find our work on how to evade the analysis tool "Semgrep".

Language: Python - Size: 1.33 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 3 - Forks: 0

HexHive/Evocatio

Language: C - Size: 2.87 MB - Last synced: about 2 months ago - Pushed: 10 months ago - Stars: 51 - Forks: 5

lu-cs-sde/clog Fork of lu-cs-sde/metadl

A declarative language for C static code checkers

Language: C - Size: 27.5 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 1 - Forks: 0

mchalupa/dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Language: C++ - Size: 5.72 MB - Last synced: 3 months ago - Pushed: 5 months ago - Stars: 456 - Forks: 137

CodeMindICML/CodeMindICML

CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that enables in-depth analysis of the results.

Size: 55.8 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

cs-au-dk/TAJS

Type Analyzer for JavaScript

Language: Java - Size: 76.4 MB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 186 - Forks: 41

agustingianni/instrumentation

Assorted pintools

Language: C++ - Size: 771 KB - Last synced: 3 months ago - Pushed: about 4 years ago - Stars: 29 - Forks: 7

Enna1/LLVM-Study-Notes

Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0

Language: Python - Size: 4.91 MB - Last synced: 3 months ago - Pushed: 4 months ago - Stars: 125 - Forks: 18

enzet/symbolic-execution

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

Language: Kotlin - Size: 14.9 MB - Last synced: 4 months ago - Pushed: over 2 years ago - Stars: 474 - Forks: 60

dvm-system/tsar

TSAR (Traits Static AnalyzeR)

Language: C++ - Size: 3.96 MB - Last synced: 3 months ago - Pushed: 5 months ago - Stars: 13 - Forks: 17

JonathanSalwan/VMProtect-devirtualization

Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.

Language: Roff - Size: 28.1 MB - Last synced: 4 months ago - Pushed: almost 2 years ago - Stars: 1,025 - Forks: 177

harmim/infer Fork of facebook/infer

A static analyzer for Java, C, C++, and Objective-C.

Language: OCaml - Size: 149 MB - Last synced: 17 days ago - Pushed: 8 months ago - Stars: 3 - Forks: 1

silkrow/Tai-e-assignments Fork of pascal-lab/Tai-e-assignments

My solutions to Tai-e assignments for static program analysis

Language: Java - Size: 28.8 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

manishshettym/yappy

yappy: yet another program analyzer for python

Language: Python - Size: 567 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 4 - Forks: 0

kudu-dynamics/blaze

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

Language: Haskell - Size: 3.48 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 34 - Forks: 3

GlacierW/MBA

Malware Behavior Analyzer

Language: C - Size: 24.7 MB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 155 - Forks: 43

JHU-PL-Lab/dde

Pure Demand Operational Semantics

Language: OCaml - Size: 671 KB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 2 - Forks: 0

harmim/vut-ibt

Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations

Language: C - Size: 33.8 MB - Last synced: 17 days ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 1

purseclab/DnD

A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis

Language: Python - Size: 4.1 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 52 - Forks: 8

rvprasad/Indus_archive 📦

A program analysis and slicing library for concurrent Java.

Language: Java - Size: 96.3 MB - Last synced: 5 months ago - Pushed: over 4 years ago - Stars: 9 - Forks: 0

VPRLab/SoMo

A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)

Language: Python - Size: 62.5 KB - Last synced: 18 days ago - Pushed: 2 months ago - Stars: 2 - Forks: 0

soarsmu/AutoPruner

AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)

Language: Python - Size: 950 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 17 - Forks: 3

yegor256/ppa

Practical Program Analysis (academic course) presented in Innopolis University in 2023

Language: TeX - Size: 22.4 MB - Last synced: 9 days ago - Pushed: 24 days ago - Stars: 7 - Forks: 0

pascal-lab/Tai-e-assignments

Tai-e assignments for static program analysis

Language: Java - Size: 28.4 MB - Last synced: 6 months ago - Pushed: over 1 year ago - Stars: 924 - Forks: 198

wei-le/programanalysiscourse

COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University

Language: C - Size: 110 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 26 - Forks: 6

IdrissRio/cat

Java Class Hierarchy Analysis

Language: Java - Size: 252 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 1

oyeb/distillery

Program analysis and Graph abstractions

Language: CMake - Size: 222 KB - Last synced: 6 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

ucsb-seclab/sasi

Signedness-Agnostic Strided-Interval

Language: C++ - Size: 24.6 MB - Last synced: 24 days ago - Pushed: almost 5 years ago - Stars: 34 - Forks: 9

liuml07/giri

Dynamic Program Slicing in LLVM Compiler

Language: C++ - Size: 2.32 MB - Last synced: 6 months ago - Pushed: almost 6 years ago - Stars: 127 - Forks: 31

canliture/nju-software-analysis-homework

南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference

Language: Java - Size: 2.51 MB - Last synced: 6 months ago - Pushed: over 1 year ago - Stars: 275 - Forks: 38

formalsec/wasp 📦

WASP moved to: https://github.com/OCamlPro/owi

Language: WebAssembly - Size: 152 MB - Last synced: 6 months ago - Pushed: 9 months ago - Stars: 10 - Forks: 1