Repositori open source terpantau milik S2E, diurutkan berdasarkan bintang.
S2E: Sebuah platform untuk analisis program jalur ganda dengan eksekusi simbolik selektif.
