smcc

University of MinnesotaMinneapolis, MN, USA

Pinned Repositories

fuzzball
FuzzBALL: Vine-based Binary Symbolic Execution
Language:OCaml214 25 958
cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS
Language:C00
pittsfield
PittSFIeld system for x86 software-based fault isolation
Language:C50
xletters2-ja
Catch falling words typing game with Unicode/Japanese support
Language:C1 0 01
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Language:C++530 34 312130
cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS
Language:C521 57 54103

smcc's Repositories

smcc/pittsfield
PittSFIeld system for x86 software-based fault isolation
Language:C50
smcc/xletters2-ja
Catch falling words typing game with Unicode/Japanese support
Language:C1 0 01
smcc/cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS
Language:C00