A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
The Relevance of Classic Fuzz Testing: Have We Solved This One?
[article]
2020
arXiv
pre-print
Preserved Fulltext
Other Versions
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2019
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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