muchang's Stars
lifting-bits/remill
Library for lifting machine code to LLVM bitcode
academicpages/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
IntelLabs/kAFL
A fuzzer for full VM kernel/driver targets
qemu/u-boot
Mirror of git.qemu.org/u-boot.git
revng/revng
revng: the core repository of the rev.ng project
jtpereyda/boofuzz
A fork and successor of the Sulley Fuzzing Framework
season-lab/fuzzolic
fuzzing + concolic = fuzzolic :)
SanRazor-repo/SanRazor
SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
sslab-gatech/winnie
Winnie is an end-to-end system that makes fuzzing Windows applications easy
ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
banach-space/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
csartifacts/resources
Resources on the Artifact Evaluation (AE) Process
fentensoft/ecnu-latex
LaTeX thesis template for ECNU (East China Normal University).
csfaculty/csfaculty.github.io
Interview questions for Computer Science faculty jobs
stanford-centaur/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
sqlancer/bugs
A list of bugs found by SQLancer
abertschi/graalphp
An efficient PHP implementation built on GraalVM
PLSysSec/haybale
Symbolic execution of LLVM IR with an engine written in Rust
RobustNLP/TestTranslation
A toolkit for testing machine translation [ICSE'20, '21, ESEC/FSE'20]
nafur/pydelta
eurecom-s3/symcc
SymCC: efficient compiler-based symbolic execution
trailofbits/polytracker
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
tingsu/DroidDefects
A database of crash (exception) bugs for Android apps
pckennethma/MT-NLP
[IJCAI 2020] Metamorphic Testing and Certified Mitigation of Fairness Violations in NLP Models
google/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
uw-pluverse/perses
language-agnostic program reducer.
CLIUtils/CLI11
CLI11 is a command line parser for C++11 and beyond that provides a rich feature set with a simple and intuitive interface.
google/clusterfuzz
Scalable fuzzing infrastructure.
PingCAP-QE/go-sqlancer
go-sqlancer
RUB-SysSec/ijon