Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Tue 17 Jul 2018 16:40 - 17:00 at ISSTA Room - Test and Oracle Generation Chair(s): Sarfraz Khurshid

Performance problems in software can arise unexpectedly when programs are provided with inputs that exhibit worst-case behavior. A large body of work has focused on diagnosing such problems via statistical profiling techniques. But how does one find these inputs in the first place? We present PerfFuzz, a method to automatically generate inputs that exercise pathological behavior across program locations, without any domain knowledge. PerfFuzz generates inputs via feedback-directed mutational fuzzing. Unlike previous approaches that attempt to maximize only a scalar characteristic such as the total execution path length, PerfFuzz uses multi-dimensional feedback and independently maximizes execution counts for all program locations. This enables PerfFuzz to (1) find a variety of inputs that exercise distinct hot spots in a program and (2) generate inputs with higher total execution path length than previous approaches by escaping local maxima. PerfFuzz is also effective at generating inputs that demonstrate algorithmic complexity vulnerabilities. We implement PerfFuzz on top of AFL, a popular coverage-guided fuzzing tool, and evaluate PerfFuzz on four real-world C programs typically used in the fuzzing literature. We find that PerfFuzz outperforms prior work by generating inputs that exercise the most-hit program branch 5x to 69x times more, and result in 1.9x to 24.7x longer total execution paths.

Tue 17 Jul

16:00 - 17:30: ISSTA Technical Papers - Test and Oracle Generation at ISSTA Room
Chair(s): Sarfraz Khurshid
issta-2018-Technical-Papers153183600000016:00 - 16:20
issta-2018-Technical-Papers153183720000016:20 - 16:40
issta-2018-Technical-Papers153183840000016:40 - 17:00
issta-2018-Technical-Papers153184080000017:20 - 17:30