Các kho mã nguồn mở đang theo dõi của S2E, sắp xếp theo số sao.
S2E: Nền tảng phân tích chương trình đa đường dẫn với thực thi biểu tượng có chọn lọc.
