Build cross-platform desktop apps with JavaScript, HTML, and CSS

LLM inference in C/C++

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

SQL powered operating system instrumentation, monitoring, and analytics.

Sourcetrail - free and open-source interactive source explorer

A distributed, fast open-source graph database featuring horizontal scalability and high availability

The Z3 Theorem Prover

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

The native part of the Xposed framework (mainly the modified app_process binary).

Zeek is a powerful network analysis framework that is much different from the typical IDS you may know.

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

Snort++

A sugared version of RottenPotatoNG, with a bit of juice, i.e. another Local Privilege Escalation tool, from a Windows Service Accounts to NT AUTHORITY\SYSTEM.

ACM/LeetCode算法竞赛路线图，最全的算法学习地图！

Static Value-Flow Analysis Framework for Source Code

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

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.

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

Project HashClash - MD5 & SHA-1 cryptanalysis

Fast, Flexible and Portable Structured Generation

captcha break based on opencv2, tesseract-ocr and some machine learning algorithm.

A fast and accurate disassembler

Library for structured fuzzing with protobuffers

libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)

全国大学生计算机系统能力大赛编译系统设计赛项目

Slides and Code for the BHUSA 2019 talk: Flying a False Flag

UT based automated fuzz driver generation

Java Cloud Debugger

use ptrace hook Hotspot JavaVM, instrument java bytecode