nsrknth's repositories
aflnet
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
datAFLow
A data-flow-guided fuzzer
DIE
Fuzzing JavaScript Engines with Aspect-preserving Mutation
dts-tree-sitter
Generate TypeScript .d.ts files for using tree-sitter grammars.
formulog
Datalog with support for SMT queries and first-order functional programming
h26forge
Domain-specific infrastructure for analyzing, generating, and manipulating syntactically correct but semantically spec-non-compliant video files.
icemaker
automatially find crashes in the rust compiler & tooling
JMPscare
tool for multi-execution jump coverage introspection
jnitrace
A Frida based tool that traces usage of the JNI API in Android apps.
kani
Kani Rust Verifier
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
MATE
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
pqcrypto
đź‘» Post-quantum cryptography for Python.
shady
Research shading language IR
snapchange
Lightweight fuzzing of a memory snapshot using KVM
tree-crasher
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
llvm-ir
LLVM IR in natural Rust data structures
predictive-cs-fuzzing
Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
Superion
Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.
symsan
A LLVM Sanitizer for Symbolic Tracing
tree-sitter-edit
A crate for printing modified tree-sitter parse trees, intended for use in multi-language code refactoring, linting, or modification (codemod) tools.
tree-splicer
Simple grammar-based test case generator
treereduce
A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars