Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.

Program analysis and verification framework

Repo-Level Code generation papers

An autonomous LLM-agent for large-scale, repository-level code auditing

A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue

Parsing-based Analyzer

LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)

Most influential papers in programming languages

An awesome list of e-graph resources

PDFsam, a desktop application to split, merge, mix, rotate PDF files and extract pages

A Pointer Analysis Framework for Rust

The MOSAIC Operating Systems Model and Checker

Teaching and Learning Software Analysis via SVF

GPT-3 found hundreds of security vulnerabilities in this repo

A toolkit for SAT-based prototyping in Python

A tool for analyzing x86-64 binaries.

An amazing UI for OpenAI's ChatGPT (Website + Windows + MacOS + Linux)

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

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

A new version of Soot with a completely overhauled architecture

A fuzzer for SMT solvers

Indexing reachability for context-sensitive data flow analysis.

Static Value-Flow Analysis Framework for Source Code

How to handle campus recruitment. 校招感悟

Static program analysis framework for Ethereum smart contract bytecode.