spencerwuwu

Wei-Cheng Wu's repositories

py-conbyte

Python concolic testing on byte-code level

Language:PythonGPL-3.07 30

J-ReCoVer

A commutativity verifier for Java Reducer.

Language:JavaMIT2 3 9

J-ReCoVer_paper

Language:PostScript1 60

0090

Language:Shell000

angr-platforms

A collection of extensions to angr to handle new platforms

Language:PythonBSD-2-Clause000

angr-utils

Handy utilities for the angr binary analysis framework, most notably CFG visualization

Language:PythonBSD-2-Clause000

binary_view_examples

Language:C000

bingraphvis

Language:PythonBSD-2-Clause000

didactic-octo-happiness

Language:Python000

f_research

Language:Python020

fuzzer

A Python interface to AFL, allowing for easy injection of testcases and other functionality.

Language:PythonBSD-2-Clause010

FuzzingPaper

Recent Fuzzing Paper

000

green_phsc_web

Language:JavaScript000

honggfuzz

Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

Apache-2.0000

libming_magma

Language:CLGPL-2.1000

magma

A ground-truth binary fuzzing benchmark suite based on real programs with real bugs.

Language:HTML010

mysystem

Language:Vim script020

openvanilla

Providing common input methods to Mac users

NOASSERTION000

py-concolic

Language:SMT000

pyconbyte-ui

Language:JavaScript000

PyEx-spoof

Language:PythonNOASSERTION020

PyExZ3

Python Symbolic Execution with Z3

Language:PythonNOASSERTION020

radare2-pm

Language:Shell010

ReducerAnalysis_ui

Language:Ruby000

scipy-2016-sklearn

Scikit-learn tutorial at SciPy2016

CC0-1.0000

str_int_benchmarks

Language:SMT000

trauc-ci

Language:Python000

trauc-manual

Language:Ruby010

trauc_ci

Language:Ruby000

vis_3d

Language:JavaScript010