SAS
2005
Springer
14 years 5 months ago
2005
Springer
SAS
2005
Springer
14 years 5 months 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 5 months ago
2005
Springer
SAS
2005
Springer
14 years 5 months 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 5 months 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 5 months 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 5 months 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 5 months ago
2005
Springer
SAS
2005
Springer
14 years 5 months ago
2005
Springer
SAS
2005
Springer
14 years 5 months 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...