SAS
2005
Springer
14 years 28 days ago
2005
Springer
SAS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
SAS
2005
Springer
14 years 28 days ago
2005
Springer
SAS
2005
Springer
14 years 28 days ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
SAS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
SAS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
SAS
2005
Springer
14 years 28 days ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
SAS
2005
Springer
14 years 28 days ago
2005
Springer
SAS
2005
Springer
14 years 28 days ago
2005
Springer
SAS
2005
Springer
14 years 28 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...