Active Contributors

Past Contributors

Volodymyr Kuznetsov
Co-author of the S2E engine

Radu Banabic
Testing distributed systems

Ana Sima
String solver integration

Daniel Mahu
Cloud infrastructure, static analysis

Stefan Bucur
Core symbolic execution engine, constraint solving, parallel symbolic execution, state merging, symbolic execution of interpreted languages

Andy Roulin
Guest analysis tools, hardware virtualization

Yoan Blanc
Cloud infrastructure

Roger Michoud
Reliability testing

Damien Engels
Toolchain integration

Francesco Fucci
Fast dynamic binary interpreter

João Carreira
Lightweight snapshotting

Andreas Kirchner
First S2E ARM prototype