Repositorios de código abierto monitorizados de S2E, ordenados por estrellas.
S2E: Una plataforma para el análisis de programas de rutas múltiples con ejecución simbólica selectiva.
