Stars
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
A virtual machine for executing programs written in Hack.
A free and strong UCI chess engine
QGIS is a free, open source, cross platform (lin/win/mac) geographical information system (GIS)
TattieBogle Xbox 360 Driver (with improvements)
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.
Repository for materials of "Modern fuzzing of C/C++ Projects" workshop.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Practical mutation testing and fault injection for C and C++
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Fast regular expression grep for source code with incremental index updates
A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
Compiler/source code fuzzing tool using AFL instrumentation
Haskell bindings for the Souffle datalog language
Refal project. Translation program from pascal language to C
An example of using souffle-haskell in a stack project