Collection disjointness analysis

Hang Chu
Hang Chu

SOAP@PLDI, pp. 45-50, 2012.

Cited by: 0|Views14
EI

Abstract:

We present a static analysis which identifies disjointness relations between collections in Java. We have implemented our analysis as a primarily intraprocedural dataflow analysis framework using Soot. We handle method calls using developer-provided annotations, with some inference support. We include experimental results of the from our ...More

Code:

Data:

Your rating :
0

 

Tags
Comments