Pinned Repositories
afl_cov_draw
build-programs
cgc_programs
cgcbin
chenju2k6.github.io
coreutils
Cross-platform Rust rewrite of the GNU coreutils
Kirenenko
Super Fast Source Code Taint Tracing base Symbolic Execution Engine
llama.cpp
LLM inference in C/C++
symsan
A LLVM Sanitizer for Symbolic Tracing
z3-test
chenju2k6's Repositories
chenju2k6/z3-test
chenju2k6/build-programs
chenju2k6/chenju2k6.github.io
chenju2k6/coreutils
Cross-platform Rust rewrite of the GNU coreutils
chenju2k6/Kirenenko
Super Fast Source Code Taint Tracing base Symbolic Execution Engine
chenju2k6/llama.cpp
LLM inference in C/C++
chenju2k6/symsan
A LLVM Sanitizer for Symbolic Tracing
chenju2k6/afl_cov_draw
chenju2k6/cgc_programs
chenju2k6/cgcbin
chenju2k6/compiler-rt
Project moved to: https://github.com/llvm/llvm-project
chenju2k6/cs179
chenju2k6/Dev
BinTuner
chenju2k6/FormatFuzzer
FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.
chenju2k6/fuzzbench-1
FuzzBench - Fuzzer benchmarking as a service.
chenju2k6/FuzzGen
chenju2k6/hotcrp-docker-compose
An easy docker-compose deployement of hotcrp
chenju2k6/LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
chenju2k6/linfa
A Rust machine learning framework.
chenju2k6/Localfuzzing
chenju2k6/lucas_magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
chenju2k6/magma
chenju2k6/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
chenju2k6/neural-logic-machines
Implementation for the Neural Logic Machines (NLM).
chenju2k6/ocaml-solidity-1
Ocaml-solidity provides a Solidity parser and typechecker
chenju2k6/SUBlockchainLabs
Blockchain hands-on labs at Syracuse University
chenju2k6/symcc
SymCC: efficient compiler-based symbolic execution
chenju2k6/systemd
chenju2k6/tensorflow
An Open Source Machine Learning Framework for Everyone
chenju2k6/xxHash
Extremely fast non-cryptographic hash algorithm