FFFuzzer: filter your fuzz to get accuracy, efficiency and schedulability

DOI10.1007/978-3-319-59870-3_4MaRDI QIDQ2014607zbMATH OpenOpenAlexFDO

Authors Fan Jiang, Cen Zhang, Shaoyin Cheng

Publication date 25 August 2017

Full work available at URL https://doi.org/10.1007/978-3-319-59870-3_4

zbMATH Keywords

black-box fuzzingconstraint verificationdynamic taint analysis

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Improved fuzz testing for compound document
• Black-box testing based on colorful taint analysis
• Machine learning for black-box fuzzing of network protocols
• Sound input filter generation for integer overflow errors
• Formal framework for reasoning about the precision of dynamic analysis

Cited in

(4)

• Improved fuzz testing for compound document
• Machine learning for black-box fuzzing of network protocols
• Black-box testing based on colorful taint analysis
• Trapezoidal generalization over linear constraints

This page was built for publication: FFFuzzer: filter your fuzz to get accuracy, efficiency and schedulability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014607)