Precise String Analysis for JavaScript Programs Using Automata
Authors:
Open Access
- 19 February 2019
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 159-166
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- JSAI: a static analysis platform for JavaScript2014
- String Analysis for Dynamic Field Access2014
- Correlation Tracking for Points-To Analysis of JavaScript2012
- Static Analysis of String Values2011
- Type Analysis for JavaScript2009
- Symbolic String Verification: An Automata-Based ApproachLecture Notes in Computer Science, 2008
- A Practical String Analyzer by the Widening ApproachLecture Notes in Computer Science, 2006
- Widening Arithmetic AutomataLecture Notes in Computer Science, 2004
- Precise Analysis of String Expressions2003
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977