yiyuaner Goto Github PK

andersen

Andersen's inclusion-based pointer analysis re-implementation in LLVM

beacon_artifact

Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"

bugbench-orig

cgc_programs

chopper

KLEE / CSE Project

context-sensitive-reachability

Indexing reachability for context-sensitive data flow analysis.

cpptemplatetutorial

中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中)

crucible

Crucible is a library for symbolic simulation of imperative programs

cve-2022-1015

Local privilege escalation PoC for Linux kernel CVE-2022-1015

fragmentation

A powerful library that manage Fragment for Android!

fusion-scan.github.io

This website collects all bugs/CVE identifiers detected by our static code analysis, Pinpoint and Fusion.

gillian

The Gillian Platform main repository

goaccess

GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.

hadoop

Apache Hadoop

heartbleed-box

icse-2022-wit-data

ikos

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

libuv

Cross-platform asynchronous I/O

lisp0

a bare minimum remake of origin LISP

mit_16.399

MIT's abstract interpretation class taught by Cousot

php-src

The PHP Interpreter

pysonar2

the most advanced static analyzer for Python

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

suture

Precise and high-order static points-to/taint analysis based on LLVM IR.

svf

Pointer Analysis and Program Dependence Analysis for C and C++ Programs

svf-1

SVF / LLVM 3.4 port

sys

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

vscode-linux-kernel

Visual Studio Code project/compile_commands.json generator for Linux kernel sources and out-of-tree modules

watts

Thread-modular abstract interpreter

yiyuaner.github.io