Repositórios de código aberto acompanhados de S2E, ordenados por estrelas.
S2E: Uma plataforma para análise de programas de múltiplos caminhos com execução simbólica seletiva.
