Uses of Package
qilin.core.pag
Packages that use qilin.core.pag
Package
Description
Native method simulations.
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.core.pag used by qilin.coreClassDescriptionRepresents an allocation site node in the pointer assignment graph.callsite based context element in the points to analysis.Represents a field reference node in the pointer assignment graph.Represents a simple variable node in the pointer assignment graph that is not associated with any particular method invocation.Pointer assignment graph.Represents every node in the pointer assignment graph.Double-dispatch counterpart of
PagNode.parameterize(Parameterizer, Context): each PAG node kind that knows how to turn itself into a context-sensitive node calls back into the matching overload here, instead of the caller (e.g.Represents a field. -
Classes in qilin.core.pag used by qilin.core.builderClassDescriptionRepresents an allocation site node in the pointer assignment graph.Represents a field reference node in the pointer assignment graph.Part of a pointer assignment graph for a single method.Pointer assignment graph.Represents every node in the pointer assignment graph.Represents a simple variable node in the pointer assignment graph.Holds relevant information about a particular virtual call site.
-
Classes in qilin.core.pag used by qilin.core.builder.callgraph
-
Classes in qilin.core.pag used by qilin.core.config
-
Classes in qilin.core.pag used by qilin.core.context
-
Classes in qilin.core.pag used by qilin.core.invokedynamic
-
Classes in qilin.core.pag used by qilin.core.natives
-
Classes in qilin.core.pag used by qilin.core.pagClassDescriptionRepresents an allocation site node in the pointer assignment graph.A pseudo-field standing in for "any element of any array", used to model array stores/loads field-insensitively:
PAGholds exactly oneArrayElementinstance (seePAG.getArrayElement()), shared across every array type in the program.callsite based context element in the points to analysis.Represents a field reference node in the pointer assignment graph.Represents a simple variable node in the pointer assignment graph that is not associated with any particular method invocation.Part of a pointer assignment graph for a single method.Represents a synthetic pointer-assignment-graph variable for one of a method's special argument-passing slots: an ordinary parameter at a given index (the base case, this class itself), or the receiver (this), the return value, or the thrown exception (theMethodParameter.This,MethodParameter.ReturnandMethodParameter.Throwsubclasses).Pointer assignment graph.Represents every node in the pointer assignment graph.Double-dispatch counterpart ofPagNode.parameterize(Parameterizer, Context): each PAG node kind that knows how to turn itself into a context-sensitive node calls back into the matching overload here, instead of the caller (e.g.Represents a field.Represents a simple of pointer node in the pointer assignment graph.Represents a simple variable node in the pointer assignment graph. -
Classes in qilin.core.pag used by qilin.core.reflection
-
Classes in qilin.core.pag used by qilin.core.solverClassDescriptionRepresents an allocation site node in the pointer assignment graph.Represents a simple of pointer node in the pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.parm.contextconstructionClassDescriptioncallsite based context element in the points to analysis.
-
Classes in qilin.core.pag used by qilin.parm.heapabstraction
-
Classes in qilin.core.pag used by qilin.parm.selectClassDescriptionRepresents an allocation site node in the pointer assignment graph.Pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.bean
-
Classes in qilin.core.pag used by qilin.pta.toolkits.commonClassDescriptionRepresents an allocation site node in the pointer assignment graph.Pointer assignment graph.Represents a field.Represents a simple variable node in the pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.conchClassDescriptionRepresents an allocation site node in the pointer assignment graph.Part of a pointer assignment graph for a single method.Pointer assignment graph.Represents every node in the pointer assignment graph.Represents a field.Represents a simple variable node in the pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.ddClassDescriptionRepresents an allocation site node in the pointer assignment graph.callsite based context element in the points to analysis.Pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.debloaterxClassDescriptionRepresents an allocation site node in the pointer assignment graph.Pointer assignment graph.Represents every node in the pointer assignment graph.Represents a field.Represents a simple variable node in the pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.eagleClassDescriptionRepresents an allocation site node in the pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.mahjong
-
Classes in qilin.core.pag used by qilin.pta.toolkits.mahjong.automataClassDescriptionRepresents an allocation site node in the pointer assignment graph.Represents a field.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.moon
-
Classes in qilin.core.pag used by qilin.pta.toolkits.moon.graphClassDescriptionRepresents an allocation site node in the pointer assignment graph.Represents every node in the pointer assignment graph.Represents a field.Represents a simple variable node in the pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.moon.objcollection
-
Classes in qilin.core.pag used by qilin.pta.toolkits.moon.supportClassDescriptionRepresents an allocation site node in the pointer assignment graph.Pointer assignment graph.Represents every node in the pointer assignment graph.Represents a field.Represents a simple variable node in the pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.moon.traversalClassDescriptionRepresents an allocation site node in the pointer assignment graph.Represents every node in the pointer assignment graph.Represents a field.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.selectxClassDescriptionRepresents an allocation site node in the pointer assignment graph.callsite based context element in the points to analysis.Represents a simple variable node in the pointer assignment graph that is not associated with any particular method invocation.Represents every node in the pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.turnerClassDescriptionRepresents an allocation site node in the pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.pta.toolkits.zipper.analysis
-
Classes in qilin.core.pag used by qilin.pta.toolkits.zipper.flowgraph
-
Classes in qilin.core.pag used by qilin.pta.toolsClassDescriptionRepresents an allocation site node in the pointer assignment graph.callsite based context element in the points to analysis.Pointer assignment graph.Represents every node in the pointer assignment graph.Double-dispatch counterpart of
PagNode.parameterize(Parameterizer, Context): each PAG node kind that knows how to turn itself into a context-sensitive node calls back into the matching overload here, instead of the caller (e.g. -
Classes in qilin.core.pag used by qilin.stat
-
Classes in qilin.core.pag used by qilin.utilClassDescriptionRepresents an allocation site node in the pointer assignment graph.Part of a pointer assignment graph for a single method.Pointer assignment graph.Represents every node in the pointer assignment graph.Represents a simple variable node in the pointer assignment graph.
-
Classes in qilin.core.pag used by qilin.util.sets