Matteo Rizzo's repositories
cs412-project
Project for CS412 - Software Security
docs
Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
Language:Python000
libcpu
x86 Dynamic Binary Translator Library
Language:CNOASSERTION000
libs2e
libs2e.so
Language:CNOASSERTION000
libs2ecore
S2E Core Engine Library
libs2eplugins
S2E plugins library
Language:CMIT000
s2e-env
Your S2E project management tools
Language:PythonNOASSERTION000