Qingkai Shi

tingly-box. Your Intelligence, Orchestrated. Every builder. Every team. Every agent. For Everyone.

EveryoneNobel. A flexible framework powered by ComfyUI for generating personalized Nobel Prize images.

IEC_60870_5_104__FreyrSCADA_IEC-60870-5-104-. IEC 60870-5-104 Protocol - RTU Server Simulator, Master Client Simulator, Windows and Linux (ARM) Software development Kit, Source Code in C, C++, C# .NET Programming - Complete Implemetation including file transfer (both monitor and reverse direction)

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

unique_cpp. C++ 11标准库源代码分析

PLCT-Open-Reports. PLCT实验室的公开演讲，或者决定公开的组内报告

PEM. C

craftinginterpreters. Repository for the book "Crafting Interpreters"

asterinas. Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

ASE. A continuously updated collection of papers on agentic SE

auto-code-rover. A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 37.3% tasks (pass@1) in SWE-bench lite and 46.2% tasks (pass@1) in SWE-bench verified with each task costs less than $0.7.

Test-Agent. Agent that empowers software testing with LLMs; industrial-first in China

SpoofMAC. :briefcase: Change your MAC address for debugging

CodeFuse-Query. Query-Based Code Analysis Engine

ParDiff. A Static Differential Analysis Tool of Network Protocol Parsers

libcuckoo. A high-performance, concurrent hash table

parallel-hashmap. A family of header-only, very fast and memory-friendly hashmap and btree containers.

folly. An open-source C++ library developed and used at Facebook.

netlifter. Lifting network implementation to precise format specification

vast-checker. MLIR

PPspliT. A PowerPoint add-in that splits slides according to slideshow-time animation effects

frr. The FRRouting Protocol Suite

lab-website-template. An easy-to-use, flexible website template for labs. https://doi.org/10.5281/zenodo.17228741

Answering-BillionScale-LabelConstrained-Reachability-Queries-within-Microsecond.

xz-x.github.io. HTML

SunnyMilkJDK. Hmmmm!

SunnyMilkFuzzerJDK. Hmmmm!

masscan. TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.

instrim. InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing

snorby. Ruby On Rails Application For Network Security Monitoring

fuzztest. C++

ghc. Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

Protocol-Informatics. Patches to the Protocol Informatics project to make it work with a numpy.

StateMachineExtraction. Extract statemachine description from C code

NetPlier. NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces

c_library_v2. Official reference C / C++ library for the v2 protocol

PRE-list. List of (automatic) protocol reverse engineering tools for network protocols

pulsar. Protocol Learning and Stateful Fuzzing

profuzzbench. ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing

HowToCook. Programmer's guide about how to cook at home.

nyx-net. Python

aflnet. AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

validating-binary-decompilation. Scalable Validator for Binary Lifters

libmodbus. A Modbus library for Linux, Mac OS, FreeBSD and Windows

mosquitto. Eclipse Mosquitto - An open source MQTT broker

ngtcp2. ngtcp2 project is an effort to implement IETF QUIC protocol

lwBT. A fork of the lwBT stack

StochFuzz. Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting

L2CAP. P implementation of part of L2CAP protocol.

zephyr. Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

lwip. lwIP mirror from http://git.savannah.gnu.org/cgit/lwip.git

jazzer. Coverage-guided, in-process fuzzing for the JVM

pyelftools. Parsing ELF and DWARF in Python

bap. Binary Analysis Platform

rt-thread. RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/

RIOT. RIOT - The friendly OS for IoT

remill. Library for lifting machine code to LLVM bitcode

EmpiricalStandards. Tools and standards for conducting and evaluating research in software engineering

javacpp. The missing bridge between Java and native C++

llvm-cbe. resurrected LLVM "C Backend", with improvements

immer. Postmodern immutable and persistent data structures for C++ — value semantics at scale

bandit. Bandit is a tool designed to find common security issues in Python code.

realpath-osx. A minimal implementation of realpath for Mac OS X

hyperscan. High-performance regular expression matching library

pysonar2. PySonar2: a semantic indexer for Python with interprocedual type inference

javascript-algorithms. 📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings

canary. A unification-based alias analysis and related tools

fuzzilli. A JavaScript Engine Fuzzer

phasar. A LLVM-based static analysis framework.

SVF. Static Value-Flow Analysis Framework for Source Code

OpenRA. Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.

alive. Alive: Automatic LLVM's Instcombine Verifier

bitvector. A dynamic version of std::bitset

grammars-v4. Grammars written for ANTLR v4; expectation that the grammars are free of actions.

android-open-project. A categorized collection of Android Open Source Projects, More powerful web version:

openssh-portable. Portable OpenSSH

soot. Soot - A Java optimization framework

octet. A reimplementation of Bond et al.'s OCTET barriers (lightweight, biased locks) in C++11

llvm-mutate. manipulate LLVM IR files

banshee. Banshee

stp. Simple Theorem Prover, an efficient SMT solver for bitvectors

Milu. A higher order mutation testing tool

llvm-andersen. Andersen alias analysis for LLVM

concurrency-bugs. A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if you used our resource.

Thrille. The Thrille tool described in the FSE2010 paper "Automated Trace Simplification for Effective Debugging of Concurrent Programs"

whole-program-llvm. A wrapper script to build whole-program LLVM bitcode files