141 search results - page 5 / 29 » A dynamic evaluation of the precision of static heap abstrac... |
101
Voted
ERSHOV
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
113
Voted
SIGSOFT
2008
ACM
16 years 11 days ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
108
Voted
SEFM
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
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...
96
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...