Combining String Abstract Domains for JavaScript Analysis - An Evaluation.
Combining String Abstract Domains for JavaScript Analysis - An Evaluation.
Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
01 December 2017
Venue : TACAS
External Link: https://doi.org/10.1007/978-3-662-54577-5_3