785 search results - page 130 / 157 » Static Analysis of Android Programs |
138
Voted
CC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
111
Voted
DBPL
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
137
Voted
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
114
Voted
QSIC
2005
IEEE
15 years 7 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
110
click to vote
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...