Pith. sign in

REVIEW 1 cited by

TOFU: Target-Oriented FUzzer

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2004.14375 v2 pith:FX7TCGDY submitted 2020-04-29 cs.SE

classification cs.SE
keywords tofuinputprograminputssearchtarget-orientedaccordingfind
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Program fuzzing---providing randomly constructed inputs to a computer program---has proved to be a powerful way to uncover bugs, find security vulnerabilities, and generate test inputs that increase code coverage. In many applications, however, one is interested in a target-oriented approach-one wants to find an input that causes the program to reach a specific target point in the program. We have created TOFU (for Target-Oriented FUzzer) to address the directed fuzzing problem. TOFU's search is biased according to a distance metric that scores each input according to how close the input's execution trace gets to the target locations. TOFU is also input-structure aware (i.e., the search makes use of a specification of a superset of the program's allowed inputs). Our experiments on xmllint show that TOFU is 28% faster than AFLGo, while reaching 45% more targets. Moreover, both distance-guided search and exploitation of knowledge of the input structure contribute significantly to TOFU's performance.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. ColorGo: Directed Concolic Execution

    cs.CR 2025-05 conditional novelty 6.0 of 10

    A compilation-based concolic execution engine uses static and dynamic coloration of the program control-flow graph to reach targeted code sites faster than AFLGo.

Pith tools