Improving AFL++ CmpLog: Tackling the Bottlenecks
conference paper
The performance of the AFL++ CmpLog feature varies considerably for specific programs under test (PUTs). In this paper it is demonstrated that the main cause of the poor performance is low seed entropy, and a lack of deduplication of magic bytes candidates. An improvement is proposed by mapping comparisons to input bytes, in order to track which comparisons are controlled by what input bytes. This mapping is then used to fuzz only the comparison values that are magic byte candidates for that input part. Second, a caching mechanism is introduced to reduce the number of redundant executions. The evaluation of the improved versions shows a significant coverage gain compared to the original AFL++ implementation of CmpLog for all PUTs, without breaking functionality. The proposed solution in this paper provides a solid basis for a redesign of CmpLog. (C) 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
Topics
TNO Identifier
989623
ISSN
23673370
ISBN
9783031379628
Publisher
Springer Science and Business Media Deutschland GmbH
Source title
Lecture Notes in Networks and Systems
Editor(s)
Arai K.
Pages
1419-1437
Files
To receive the publication files, please send an e-mail request to TNO Repository.