Publication | Closed Access
GraphFuzz
34
Citations
4
References
2022
Year
Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisFormal VerificationGraphfuzz Models SequencesFuzzingRuntime VerificationComputer EngineeringComputer ScienceStatic Program AnalysisSoftware DesignDataflow GraphMutation-based TestingProgram AnalysisSoftware TestingFormal MethodsObject Lifetime-aware FuzzerSymbolic ExecutionSystem Software
We present the design and implementation of GraphFuzz, a new structure-, coverage- and object lifetime-aware fuzzer capable of automatically testing low-level Library APIs. Unlike other fuzzers, GraphFuzz models sequences of executed functions as a dataflow graph, thus enabling it to perform graph-based mutations both at the data and at the execution trace level. GraphFuzz comes with an automated specification generator to minimize the developer integration effort.
| Year | Citations | |
|---|---|---|
Page 1
Page 1