Collection disjointness analysis
SOAP@PLDI, pp. 45-50, 2012.
developer-provided annotationdisjointness relationdisjointness analysiscollection disjointness analysisstatic analysisMore(4+)
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
PPT (Upload PPT)