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