matrizzo

Matteo Rizzo's repositories

Arkime (formerly Moloch) is an open source, large scale, full packet capturing, indexing, and database system.

Language:JavaScriptNOASSERTION010

Project for CS412 - Software Security

Language:C++04 17

Documentation and Quick Start Guides for the S2E Symbolic Execution Platform

Language:Python000

Stripped down version of KLEE (original on https://klee.github.com)

Language:C++NOASSERTION010

x86 Dynamic Binary Translator Library

Language:CNOASSERTION000

libs2e.so

Language:CNOASSERTION000

S2E Core Engine Library

Language:C++NOASSERTION010

S2E plugins library

Language:C++NOASSERTION010

Language:CMIT000

Exploit Development and Reverse Engineering with GDB Made Easy

Language:PythonMIT010

CTF framework and exploit development library

Language:PythonNOASSERTION010

QEMU VM with generic KVM extensions for symbolic execution

Language:CNOASSERTION010

Your S2E project management tools

Language:PythonNOASSERTION000