352 search results - page 8 / 71 » Evaluating the imprecision of static analysis |
SAS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
ACSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
In the last few years, several approaches have been proposed to perform vulnerability analysis of applications written in high-level languages. However, little has been done to au...
120
click to vote
CC
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
WCET
2007
15 years 25 days ago
2007
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded ...
AUTOMATICA
2006
14 years 11 months ago
2006
In this note the stability of a second-order quasi-polynomial with a single delay is studied. Although there is a vast literature on this problem, most available solutions are lim...