|
|
Software Benchmarks and Productivity Tools released from NUS research group
i. Program repair tools
FixMorph: Automated repair of Linux code, ISSTA 2021 paper, Best Artifact award.
CPR: Concolic Program Repair tool from PLDI2021 paper, Released April 2021.
Angelix: Semantic Program Repair tool from ICSE2016 paper, Released Feb 2016.
SemFix: first semantic program repair tool, from ICSE 2013 paper.
ii. Fuzz Testing tools
VulnLoc: Vulnerability Localization in program binaries using fuzz testing, AsiaCCS 2021 paper.
AFLNet: a greybox fuzzer for network protocols - Released 2020 (See paper).
AFLSmart: Input-structure aware greybox fuzzing - Released 2019 (See paper).
AFLGo: a directed Greybox Fuzz testing tool built on AFL - Released September 2017 (See paper).
AFLFast: an improved Greybox Fuzz testing tool built on AFL - Released August 2016 (Conf. paper, Journal paper).
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.
CoreBench A set of benchmarks containing realistic regression errors, as opposed to seeded errors. See also our ISSTA14 paper.
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.