SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

The fast-and-loose, permissive semantics of dynamic programming
languages limit the power of static analyses. For that reason, soundness is often
traded for precision through dynamic program analysis. Dynamic
analysis is only as good as the available runnable code, and relying
solely on test suites is fraught as they do not cover the full gamut of
possible behaviors. Fuzzing is an approach for automatically
exercising code, and could be used to obtain more runnable code.
However, the shape of user-defined data in dynamic languages is
difficult to intuit, limiting a fuzzer's reach.

We propose a feedback-driven blackbox fuzzing approach which draws inputs from a
database of values recorded from existing code. We implement this
approach in a tool called signatr for the R language. We
present the insights of its design and implementation, and assess
signatr's ability to uncover new behaviors by fuzzing 4,829 R
functions from 100 R packages, revealing 1,195,184 new signatures.

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

15:30 - 16:57
Session 8. Verification, Validation and TestingSLE at Seminar Room G007
Chair(s): David H. Lorenz Open University of Israel
15:30
24m
Talk
Lang-n-Prove: A DSL for Language ProofsVirtualResearch Paper
SLE
Matteo Cimini University of Massachusetts Lowell
DOI
15:54
24m
Talk
Property-Based Testing: Climbing the Stairway to VerificationResearch PaperIn Person
SLE
Zilin Chen UNSW, Christine Rizkallah University of Melbourne, Liam O'Connor University of Edinburgh, Partha Susarla Independent, Gerwin Klein Proofcraft; UNSW, Gernot Heiser UNSW, Gabriele Keller Utrecht University
DOI
16:18
24m
Talk
jGuard: Programming Misuse-Resilient APIsResearch PaperIn Person
SLE
Simon Binder TU Darmstadt, Krishna Narasimhan TU Darmstadt, Svenja Kernig TU Darmstadt, Mira Mezini TU Darmstadt
DOI
16:42
15m
Talk
signatr: A Data-Driven Fuzzing Tool for RTool PaperIn Person
SLE
Alexi Turcotte Northeastern University, Pierre Donat-Bouillud Czech Technical University in Prague, Filip Křikava Czech Technical University in Prague, Jan Vitek Northeastern University
DOI