Pinned Repositories
benchmark-generator
A random testcase generator for program analysis. Provides a program and its Bounded Model Checking smt-formula
Compiler-f17-NCTU
J-ReCoVer
A commutativity verifier for Java Reducer.
J-ReCoVer_paper
OSPcht
Parallelized-Mini-Max-Search-and-Alpha-Beta-Pruning
A comparsion between the performance of parrallelized apha-beta search, normal apha-beta search, and Mini-max search
py-conbyte
Python concolic testing on byte-code level
Random-gift-drawing-w-React-
A simple gift drawing app created with React.
WASM-DecFuzzer
WASM-decomp_eval
spencerwuwu's Repositories
spencerwuwu/py-conbyte
Python concolic testing on byte-code level
spencerwuwu/J-ReCoVer
A commutativity verifier for Java Reducer.
spencerwuwu/WASM-decomp_eval
spencerwuwu/J-ReCoVer_paper
spencerwuwu/WASM-DecFuzzer
spencerwuwu/0090
spencerwuwu/angr-platforms
A collection of extensions to angr to handle new platforms
spencerwuwu/binary_view_examples
spencerwuwu/bingraphvis
spencerwuwu/didactic-octo-happiness
spencerwuwu/f_research
spencerwuwu/fuzzer
A Python interface to AFL, allowing for easy injection of testcases and other functionality.
spencerwuwu/FuzzingPaper
Recent Fuzzing Paper
spencerwuwu/green_phsc_web
spencerwuwu/honggfuzz
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
spencerwuwu/libcue
CUE Sheet Parser Library
spencerwuwu/libming_magma
spencerwuwu/libxmlb_oss-fuzz
spencerwuwu/magma
A ground-truth binary fuzzing benchmark suite based on real programs with real bugs.
spencerwuwu/mysystem
spencerwuwu/openvanilla
Providing common input methods to Mac users
spencerwuwu/py-concolic
spencerwuwu/pyconbyte-ui
spencerwuwu/radare2-pm
spencerwuwu/ReducerAnalysis_ui
spencerwuwu/str_int_benchmarks
spencerwuwu/trauc-ci
spencerwuwu/trauc-manual
spencerwuwu/trauc_ci
spencerwuwu/vis_3d