The official mirror of the V8 Git repository

Tensor library for machine learning

The Z3 Theorem Prover

A collection of out-of-tree LLVM passes for teaching and learning

An Open-source LTE Downlink/Uplink Eavesdropper

C++ wrapper around libcURL

A free and strong UCI xiangqi engine

Static Value-Flow Analysis Framework for Source Code

Repository for materials of "Modern fuzzing of C/C++ Projects" workshop.

一些阅读源码和Fuzzing 的经验,涵盖黑盒与白盒测试..

CSGO游戏透视自瞄辅助实现教程

东南大学网络空间安全学院学习资料整理。包含课件、笔记、试卷、作业等。

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

JIGSAW is a fuzzing-based path constraint solver.

Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper

A Static Differential Analysis Tool of Network Protocol Parsers