[MAIN PAGE] [TEACHING] [STUDENTS] [RESEARCH] [SERVICE]
Software Benchmarks and Productivity Tools released from NUS research group
i. Program repair tools
ii. Fuzz Testing tools
iii. Other testing and analysis tools
TimeMachine: Android app fuzz testing tool. Avoids generating long event sequences by saving states.
KLEESpectre: A checker for Spectre vulnerabilities in programs using symbolic execution - Released 2019.
oo7: A checker for Spectre vulnerabilities in programs using taint analysis - Released 2019.
Chronos for multi-cores, the first execution time analysis tool for multi-core platforms.
Chronos Worst-case Execution Time (WCET) Analysis for C programs, Users in around 110 organizations (universities & companies), Used in under-graduate teaching in universities outside NUS, Successful participant in first WCET Tool Challenge in 2006.