Pinned Repositories
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
ICSE-2022-Wit-data
yiyuaner's Repositories
yiyuaner/ICSE-2022-Wit-data
yiyuaner/andersen
Andersen's inclusion-based pointer analysis re-implementation in LLVM
yiyuaner/Beacon_artifact
Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"
yiyuaner/bugbench-orig
yiyuaner/cgc_programs
yiyuaner/chopper
KLEE / CSE Project
yiyuaner/context-sensitive-reachability
Indexing reachability for context-sensitive data flow analysis.
yiyuaner/CppTemplateTutorial
中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中)
yiyuaner/crucible
Crucible is a library for symbolic simulation of imperative programs
yiyuaner/CVE-2022-1015
Local privilege escalation PoC for Linux kernel CVE-2022-1015
yiyuaner/Fragmentation
A powerful library that manage Fragment for Android!
yiyuaner/fusion-scan.github.io
This website collects all bugs/CVE identifiers detected by our static code analysis, Pinpoint and Fusion.
yiyuaner/Gillian
The Gillian Platform main repository
yiyuaner/goaccess
GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.
yiyuaner/hadoop
Apache Hadoop
yiyuaner/heartbleed-box
yiyuaner/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
yiyuaner/libuv
Cross-platform asynchronous I/O
yiyuaner/lisp0
a bare minimum remake of origin LISP
yiyuaner/mit_16.399
MIT's abstract interpretation class taught by Cousot
yiyuaner/php-src
The PHP Interpreter
yiyuaner/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.
yiyuaner/SUTURE
Precise and high-order static points-to/taint analysis based on LLVM IR.
yiyuaner/SVF
Pointer Analysis and Program Dependence Analysis for C and C++ Programs
yiyuaner/SVF-1
SVF / LLVM 3.4 port
yiyuaner/sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
yiyuaner/vscode-linux-kernel
Visual Studio Code project/compile_commands.json generator for Linux kernel sources and out-of-tree modules
yiyuaner/watts
Thread-modular abstract interpreter
yiyuaner/yiyuaner.github.io
yiyuaner/zstd
Zstandard - Fast real-time compression algorithm