A Runtime Monitoring Based Fuzzing Framework for Temporal Properties

Jinjian Luo,Meixi Liu,Yunlai Luo,Zhenbang Chen,Yufeng Zhang
DOI: https://doi.org/10.1109/issrew53611.2021.00089
2021-01-01
Abstract:The detection of the bugs specified in temporal properties is difficult for the existing fuzzers. These bugs are triggered when the program executions contain some specific sequences of operations. This extended abstract reports our recent progress of a runtime monitoring-based fuzzing framework towards the bugs expressed as temporal properties. Specifically, we propose two novel algorithms for preserving input mutants and mutating the input seed to improve fuzzing's efficiency. We have implemented a prototype for Java programs and carried out experiments on real-world open-source Java programs. The preliminary experimental results indicate the promising of our fuzzing method.
What problem does this paper attempt to address?