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
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 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
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
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