An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: program-analysis

Cottontail-Proj/cottontail

Cottontail is currently under review

Size: 5.86 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 3 - Forks: 0

soot-oss/SootUp

A new version of Soot with a completely overhauled architecture

Language: Java - Size: 294 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 690 - Forks: 91

jar-analyzer/jar-analyzer

Jar Analyzer - 一个JAR包分析工具,批量分析,SCA漏洞分析,方法调用关系搜索,字符串搜索,Spring组件分析,信息泄露检查,CFG程序分析,JVM栈帧分析,进阶表达式搜索,字节码指令级的动态调试分析,反编译JAR包一键导出,一键提取序列化数据恶意代码,一键分析BCEL字节码

Language: Java - Size: 84.4 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1,503 - Forks: 139

horsicq/Detect-It-Easy

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

Language: JavaScript - Size: 15.3 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 8,803 - Forks: 809

pwnpope/BinGoggles

Static intraprocedural and interprocedural variable propagation analysis using Binary Ninja. Powers custom modules with ease.

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

UnitTestBot/usvm

Universal Symbolic Virtual Machine

Language: Kotlin - Size: 134 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 23 - Forks: 24

angr/angr-management

The official angr GUI.

Language: Python - Size: 14 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 996 - Forks: 116

horsicq/DIE-engine

DIE engine

Language: C++ - Size: 61.1 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2,656 - Forks: 349

semgrep/semgrep-rules

Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.

Language: HCL - Size: 9.71 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 920 - Forks: 445

iamaayushrivastava/Inter-Procedural-Constant-Propagation

This repository features an LLVM optimization pass for inter-procedural, context-insensitive, and flow-sensitive constant propagation that analyses and substitutes constant values across function boundaries. Key features include handling diverse data types and operations, and transforming variables and function arguments to constants.

Language: LLVM - Size: 23.4 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

facebook/pyre-check

Performant type-checking for python.

Language: OCaml - Size: 471 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 7,032 - Forks: 450

kliu04/explotest

Automatically generate arguments of Python functions.

Language: Python - Size: 746 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2 - Forks: 0

yaof20/ReaL

Implementation and datasets for "Training Language Models to Generate Quality Code with Program Analysis Feedback"

Language: Python - Size: 30.1 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 3 - Forks: 0

Tencent/CodeAnalysis

Static Code Analysis - 静态代码分析

Language: Python - Size: 663 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,759 - Forks: 292

dgvijaytorg/assignment

this is TLE eliminators assignment which is contest tracker fetches realtime contest data and automation of uploading of youtube channel contest solution link to the database.

Language: TypeScript - Size: 106 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

rizinorg/rizin

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

Language: C - Size: 148 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2,940 - Forks: 399

jplag/JPlag

State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.

Language: Java - Size: 63.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,592 - Forks: 346

ultimate-pa/ultimate

The Ultimate program analysis framework.

Language: Java - Size: 873 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 221 - Forks: 46

AlexeyTolstopyatov/JellyBins

Static analysis for every desktop binary

Language: C# - Size: 19.2 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

GaloisInc/grease

CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution

Language: Haskell - Size: 1.45 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 111 - Forks: 7

Colton1skees/Dna

LLVM based static binary analysis framework

Language: C++ - Size: 1.09 MB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 247 - Forks: 23

focs-lab/rapid

Dynamic Analysis for Concurrent Programs

Language: Java - Size: 32.8 MB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 25 - Forks: 10

ConsenSysDiligence/mythril

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

Language: Python - Size: 47.4 MB - Last synced at: 7 days ago - Pushed at: 20 days ago - Stars: 4,029 - Forks: 772

seahorn/seahorn

SeaHorn Verification Framework

Language: C - Size: 7.46 MB - Last synced at: 10 days ago - Pushed at: 12 days ago - Stars: 451 - Forks: 131

lifting-bits/patchestry

Patchestry is a binary patching framework built with MLIR and Ghidra.

Language: C++ - Size: 1.26 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 19 - Forks: 3

secure-software-engineering/phasar

A LLVM-based static analysis framework.

Language: C++ - Size: 127 MB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 987 - Forks: 147

mohitmishra786/reversingBits

A comprehensive collection of cheatsheets for reverse engineering, binary analysis, and assembly programming tools. This repository serves as a one-stop reference for security researchers, reverse engineers, and low-level programmers.

Language: HTML - Size: 122 KB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 539 - Forks: 66

goblint/analyzer

Static analysis framework for C

Language: OCaml - Size: 38.3 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 200 - Forks: 79

srcML/nameCollector

Finds all the user defined identifier names in source code file(s). Works for C, C++, C#, and Java files.

Language: C++ - Size: 105 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 2 - Forks: 0

SoftwareObservatorium/lasso

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

Language: Java - Size: 27.6 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 16 - Forks: 2

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 at: 6 days ago - Pushed at: over 2 years ago - Stars: 193 - Forks: 12

x64dbg/x64dbg

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

Language: C++ - Size: 58.5 MB - Last synced at: 12 days ago - Pushed at: 15 days ago - Stars: 46,102 - Forks: 2,541

fkie-cad/cwe_checker

cwe_checker finds vulnerable patterns in binary executables

Language: Rust - Size: 9.31 MB - Last synced at: 11 days ago - Pushed at: about 2 months ago - Stars: 1,223 - Forks: 129

falconre/falcon

Binary Analysis Framework in Rust

Language: Rust - Size: 2.23 MB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 565 - Forks: 46

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 at: 16 days ago - Pushed at: almost 3 years ago - Stars: 1,252 - Forks: 195

learn-llvm/awesome-llvm

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

Language: Python - Size: 116 KB - Last synced at: 14 days ago - Pushed at: 6 months ago - Stars: 619 - Forks: 46

mchalupa/dg

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

Language: C++ - Size: 5.74 MB - Last synced at: 15 days ago - Pushed at: 18 days ago - Stars: 504 - Forks: 137

trailofbits/siderophile

Find the ideal fuzz targets in a Rust codebase

Language: Rust - Size: 3.46 MB - Last synced at: 17 days ago - Pushed at: 27 days ago - Stars: 215 - Forks: 12

jubnzv/iec-checker

Static analysis of IEC 61131-3 programs

Language: OCaml - Size: 476 KB - Last synced at: 6 days ago - Pushed at: 18 days ago - Stars: 74 - Forks: 14

google/bindiff

Quickly find differences and similarities in disassembled code

Language: Java - Size: 309 MB - Last synced at: 18 days ago - Pushed at: 2 months ago - Stars: 2,549 - Forks: 166

NASA-SW-VnV/ikos

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

Language: C++ - Size: 5.05 MB - Last synced at: 18 days ago - Pushed at: about 2 months ago - Stars: 2,965 - Forks: 203

BinaryAnalysisPlatform/bap

Binary Analysis Platform

Language: OCaml - Size: 8.21 MB - Last synced at: 18 days ago - Pushed at: about 1 month ago - Stars: 2,136 - Forks: 277

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.1 MB - Last synced at: 20 days ago - Pushed at: about 1 month ago - Stars: 3,729 - Forks: 550

yegor256/ppa

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

Language: TeX - Size: 34 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 8 - Forks: 0

Intelligent-CAT-Lab/AlphaTrans

Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation", In Proceedings of The ACM Conference on Foundations of Software Engineering (FSE 2025), Trondheim, Norway, June 2025

Language: Java - Size: 49.2 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 21 - Forks: 3

ltcmelo/psychec

A compiler frontend for the C programming language

Language: C++ - Size: 11.1 MB - Last synced at: 17 days ago - Pushed at: about 1 month ago - Stars: 546 - Forks: 40

trailofbits/manticore

Symbolic execution tool

Language: Python - Size: 43.5 MB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 3,760 - Forks: 479

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 at: 14 days ago - Pushed at: 10 months ago - Stars: 493 - Forks: 56

vitsalis/PyCG 📦

Static Python call graph generator

Language: Python - Size: 274 KB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 342 - Forks: 68

nus-apr/cerberus

Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.

Language: Python - Size: 3.89 MB - Last synced at: 13 days ago - Pushed at: 7 months ago - Stars: 70 - Forks: 32

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.4 MB - Last synced at: 23 days ago - Pushed at: 24 days ago - Stars: 795 - Forks: 236

python-security/pyt

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

Language: Python - Size: 3.2 MB - Last synced at: 10 days ago - Pushed at: over 4 years ago - Stars: 2,184 - Forks: 245

m-zakeri/CodART

Source Code Automated Refactoring Toolkit

Language: Python - Size: 63.1 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 35 - Forks: 59

github/codeql-go 📦

The CodeQL extractor and libraries for Go.

Size: 14.9 MB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 463 - Forks: 125

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: 5.63 MB - Last synced at: 14 days ago - Pushed at: about 2 months ago - Stars: 419 - Forks: 29

GaloisInc/cclyzerpp

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

Language: C++ - Size: 3.99 MB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 144 - Forks: 14

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.1 MB - Last synced at: 26 days ago - Pushed at: 5 months ago - Stars: 202 - Forks: 40

seahorn/crab

A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.

Language: C++ - Size: 6.79 MB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 241 - Forks: 32

pascal-lab/Tai-e-assignments

Tai-e assignments for static program analysis

Language: Java - Size: 28.4 MB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 1,151 - Forks: 258

kudu-dynamics/blaze-platform

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

Language: Haskell - Size: 6.25 MB - Last synced at: 14 days ago - Pushed at: 5 months ago - Stars: 51 - Forks: 7

fugue-re/fugue-core

A binary analysis framework written in Rust.

Language: Rust - Size: 1.81 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 169 - Forks: 8

quarkslab/qbindiff

Quarkslab Bindiffer but not only !

Language: Python - Size: 5.28 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 202 - Forks: 10

cs-au-dk/TIP

Static program analysis for TIP

Language: Scala - Size: 3.33 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 287 - Forks: 130

tniessen/cpp-graph-dom

Tiny, header-only C++20 implementation of the dominator tree algorithm by Lengauer and Tarjan

Language: C++ - Size: 11.7 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

statycc/loop-fission

Benchmarks of loop fission algorithm.

Language: C - Size: 704 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 5 - Forks: 0

KomiShyti/github-analyzer

锐评一下你都在 GitHub 写了什么

Language: TypeScript - Size: 776 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

DosX-dev/PE-LiteScan

A simple crossplatform heuristic PE-analyzer

Language: C# - Size: 67.4 KB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 218 - Forks: 9

quarkslab/pastis

PASTIS: Collaborative Fuzzing Framework

Language: Python - Size: 60.9 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 164 - Forks: 10

apelullo/bluecoats_measurement_response_program_ops

Bluecoats is a closed-loop, human-centric measurement and response program coordinating training, resources, and operational mechanisms to empower health system staff and management to systematically diagnose issues and develop custom solutions that improve wellbeing, streamline operations, and bolster the financial health of the organization.

Language: Jupyter Notebook - Size: 72.6 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Colton1skees/TritonTranslator

Standalone static version of Triton's x86/x64 translator

Language: C++ - Size: 495 KB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 25 - Forks: 7

AnggaraRF/pydebugviz

Step through code execution, inspect variables over time, capture traces, and export insights - all from Jupyter, CLI, or your IDE

Language: Python - Size: 111 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

kjkoeller/pydebugviz

Step through code execution, inspect variables over time, capture traces, and export insights - all from Jupyter, CLI, or your IDE

Language: Python - Size: 132 KB - Last synced at: about 17 hours ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

rshariffdeen/Hercule

An inter-package analysis techinque for supply chain protection, that combines three analyses to identify malicious packages with high precision and high recall

Language: Java - Size: 7.06 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 5 - Forks: 0

mazeppa-dev/mazeppa

A modern supercompiler for call-by-value functional languages

Language: OCaml - Size: 664 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 407 - Forks: 9

Colton1skees/WinTTD

Reverse engineered API for Microsoft's Time Travel Debugger

Language: C++ - Size: 753 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 34 - Forks: 7

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 at: about 2 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

rizinorg/book

An official book about Rizin

Language: CSS - Size: 37.6 MB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 78 - Forks: 47

yugr/sortcheckxx

Tool for detecting violations of ordering axioms in STL comparators

Language: C++ - Size: 121 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 15 - Forks: 2

yugr/sighandlercheck

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

Language: C - Size: 42 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 18 - Forks: 2

sdasgup3/binary-decompilation

Extracting high level semantic information from binary code

Language: Assembly - Size: 244 MB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 65 - Forks: 8

yugr/sortcheck

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

Language: C - Size: 252 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 52 - Forks: 4

statycc/pymwp

A static analyzer of variable value growth for C programs.

Language: Python - Size: 1.51 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 1

GaloisInc/yapall

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

Language: C - Size: 3.57 MB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 66 - Forks: 4

seahorn/clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.

Language: C - Size: 4.02 MB - Last synced at: 13 days ago - Pushed at: about 1 year ago - Stars: 279 - Forks: 39

bdqnghi/awesome-ai4code

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

Size: 77.1 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 57 - Forks: 4

liuml07/giri

Dynamic Program Slicing in LLVM Compiler

Language: C++ - Size: 2.32 MB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 136 - Forks: 34

Feysh-Group/corax-community

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

Language: Kotlin - Size: 38 MB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 239 - Forks: 20

cs-au-dk/TAJS 📦

Type Analyzer for JavaScript

Language: Java - Size: 76.2 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 194 - Forks: 40

danhper/evm-analyzer

Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited

Language: OCaml - Size: 286 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 24 - Forks: 3

Slava0135/gobber

Go symbolic execution (Z3 SMT solver)

Language: Go - Size: 137 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

HexHive/Evocatio

Language: C - Size: 2.87 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 57 - Forks: 7

johnbntn/dat

Binary Analysis Framework for Datalog

Language: OCaml - Size: 7.43 MB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

skius/progge.rs

Program analysis playground for a simple, imperative language

Language: Rust - Size: 414 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 36 - Forks: 0

cesaro/dpu

Dynamic analysis of multithreaded C programs

Language: C - Size: 61.1 MB - Last synced at: 6 days ago - Pushed at: over 5 years ago - Stars: 13 - Forks: 3

yugr/DirtyFrame

A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue

Language: Python - Size: 42 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 9 - Forks: 1

nus-apr/CrashRepair

Security Vulnerability Repair via Concolic Execution and Code Mutations

Language: Python - Size: 13.4 MB - Last synced at: about 22 hours ago - Pushed at: 9 months ago - Stars: 18 - Forks: 1

skyleaworlder/paper-reading

:page_with_curl: 论文阅读记录 (Software Engineering - Program Analysis & Testing & Verification)

Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 0

purseclab/DnD

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

Language: Python - Size: 3.87 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 73 - Forks: 10

IdrissRio/cat

Java Class Hierarchy Analysis

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

mingyuan-xia/PATDroid

A Program Analysis Toolkit for Android

Language: Java - Size: 3.77 MB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 118 - Forks: 28

Related Keywords
program-analysis 231 static-analysis 58 java 28 symbolic-execution 26 reverse-engineering 25 binary-analysis 22 llvm 21 dynamic-analysis 20 security 18 abstract-interpretation 17 python 14 taint-analysis 13 c 13 ocaml 11 static-code-analysis 11 compiler 10 debugging 8 malware-analysis 8 concurrency 8 soot 7 formal-verification 7 android 7 programming-language 7 pointer-analysis 6 static-analyzer 6 cpp 6 verification 6 solidity 6 facebook-infer 5 facebook 5 atomicity-violation 5 atomicity 5 runtime-verification 5 datalog 5 compilers 5 security-tools 5 ethereum 5 x86-64 5 x86 5 deobfuscation 5 llvm-ir 5 hacktoberfest 5 software-engineering 5 machine-learning 5 dataflow-analysis 5 debugger 5 disassembler 5 testing 4 software-verification 4 slicing 4 program-transformation 4 visualization 4 llvm-pass 4 vut-fit 4 data-flow-analysis 4 software-analysis 4 vut 4 rust 4 scala 4 smart-contracts 4 z3 4 blockchain 4 clang 4 program-repair 4 unit-testing 4 instruction-semantics 4 lifter 4 type-checking 3 invariants 3 java-decompiler 3 intermediate-representation 3 decompiler 3 vulnerability-detection 3 race-detection 3 vulnerability-research 3 java-bytecode 3 model-checking 3 termination 3 program-slicing 3 ast 3 jimple 3 bytecode 3 binary 3 callgraph 3 angr 3 program-verification 3 malware-research 3 control-flow-graph 3 bap 3 python3 3 llvm-tutorial 3 programming-languages 3 optimization 3 control-flow-analysis 3 entropy 3 refactoring 3 fuzzing 3 atomer 3 vulnerability 3 concurrent-programs 3