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.

An easy-to-learn/use static analysis framework for Java

Dev Ubuntu 20.04 Docker image, with Oh-My-Zsh/Pyenv/GNU&LLVM Build Tools, suitable as a temp sysroot

Tai-e assignments for static program analysis

10 papers that all PhD students in programming languages ought to know, for some value of 10

A declarative static analysis tool for jvm bytecode based Datalog like CodeQL

Web browser engineering (a book)

Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-320638

LeetCode 101：力扣刷题指南

ISER 2021 PA2: Trace memory access in Java programs.

Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

Distributed Systems Labs and Framework