Abstract | ||
---|---|---|
In this paper we propose a unifying approach for the static analysis of string values based on abstract interpretation, and we present several abstract domains that track different types of information. In this way, the analysis can be tuned at different levels of precision and efficiency, and it can address specific properties. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-24559-6_34 | ICFEM |
Keywords | Field | DocType |
specific property,different level,abstract domain,unifying approach,abstract interpretation,different type,string value,static analysis | Abstract interpretation,Computer science,Static analysis,Algorithm,Theoretical computer science,Tree automaton | Conference |
Volume | ISSN | Citations |
6991 | 0302-9743 | 17 |
PageRank | References | Authors |
0.67 | 23 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Giulia Costantini | 1 | 51 | 5.21 |
Pietro Ferrara | 2 | 158 | 20.79 |
Agostino Cortesi | 3 | 791 | 66.19 |