Can Cebeci's repositories
claripy
An abstraction layer for constraint solvers.
Language:PythonBSD-2-Clause000
state-merging
An attempt at replicating the results from the PLDI'12 submission
Language:C++000
xdp-tutorial
XDP tutorial
Language:C000
An abstraction layer for constraint solvers.
An attempt at replicating the results from the PLDI'12 submission
XDP tutorial