4 Hits in 4.1 sec

The Relevance of Classic Fuzz Testing: Have We Solved This One? [article]

Barton P. Miller, Mengxiao Zhang, Elisa R. Heymann
2020 arXiv   pre-print
As fuzz testing has passed its 30th anniversary, and in the face of the incredible progress in fuzz testing techniques and tools, the question arises if the classic, basic fuzz technique is still useful  ...  In the basic fuzz tradition, we debugged each failed utility and categorized the causes the failures.  ...  ACKNOWLEDGMENTS The pioneering fuzz studies done at the University of Wisconsin-Madison were all conducted as semester projects in Miller's graduate Advanced Operating Systems (CS736) course.  ... 
arXiv:2008.06537v1 fatcat:scjsjo2ltbadzluukdnv5ar2ha

SafeStrings: Representing Strings as Structured Data [article]

David Kelly, Mark Marron, David Clark, Earl T. Barr
2019 arXiv   pre-print
SafeStrings reduce the surface area for cross-site scripting, argument selection defects, and they can facilitate fuzzing and analysis.  ...  SafeStringsharness the subtyping and inheritance mechanics of their host language to create a natural hierarchy of string subtypes.  ...  SafeStrings also reduce the complexity of fuzzing string based programs.  ... 
arXiv:1904.11254v1 fatcat:otfwf3k3vrepdmlunsmfjvls3m

Learning to Find Bugs in Programs and their Documentation

Andrew Habib
documentation and the formal algorithm of a program.  ...  More concretely, we present techniques that utilize the documentation of a program and the program itself to: (i) Improve the documentation by inferring missing information and detecting inconsistencies  ...  or own HTML parser, which is written in Python based on the Beautiful Soup library 5 .  ... 
doi:10.26083/tuprints-00017377 fatcat:o47olqxg5rhrzoqg4j5tazo3ni

LIPIcs, Volume 136, SNAPL'19, Complete Volume [article]

Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi
They would also like to thank their colleagues at Stanford, particularly members of the HardwarePL Reading Group and the AHA Agile Hardware Center, as many of the ideas in this paper are the direct or  ...  now makes use of SMT solvers, the solver itself is generally treated as a black box, and theory solver implementation is considered the territory of the same SMT internals experts who implement the solver  ...  This issue is compounded when considering the modular composition of rules.  ... 
doi:10.4230/lipics.snapl.2019 fatcat:bcqs46cqtvfmfjjj6icdg5jc5e