Uses of Package
qilin.util.sets
Packages that use qilin.util.sets
Package
Description
Points-to analysis graph (PAG) data structures, based on Soot/jimple/spark/pag with significant
modifications.
Points-to set data structures reused from Spark in Soot, with plans for more memory-efficient
replacements in the future.
-
Classes in qilin.util.sets used by qilin.coreClassDescriptionA generic interface to some set of runtime objects computed by a pointer analysis.
-
Classes in qilin.util.sets used by qilin.core.builder
-
Classes in qilin.util.sets used by qilin.core.pagClassDescriptionImplementation of points-to set that holds two sets: one for new elements that have not yet been propagated, and the other for elements that have already been propagated.
-
Classes in qilin.util.sets used by qilin.core.solver
-
Classes in qilin.util.sets used by qilin.pta.toolsClassDescriptionA generic interface to some set of runtime objects computed by a pointer analysis.
-
Classes in qilin.util.sets used by qilin.statClassDescriptionA generic interface to some set of runtime objects computed by a pointer analysis.
-
Classes in qilin.util.sets used by qilin.utilClassDescriptionA generic interface to some set of runtime objects computed by a pointer analysis.
-
Classes in qilin.util.sets used by qilin.util.setsClassDescriptionHybrid implementation of points-to set, which uses an explicit array for small sets, and a bit vector for large sets.Abstract base class for points-to set visitors used to enumerate points-to sets.A generic interface to some set of runtime objects computed by a pointer analysis.Abstract base class for implementations of points-to sets.