Uses of Interface
qilin.core.context.Context
Packages that use Context
Package
Description
Points-to analysis graph (PAG) data structures, based on Soot/jimple/spark/pag with significant
modifications.
-
Uses of Context in qilin.core
Methods in qilin.core that return ContextModifier and TypeMethodDescriptionCorePTA.createCalleeContext(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target) abstract ContextPTA.createCalleeContext(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target) CorePTA.emptyContext()abstract ContextPTA.emptyContext()Methods in qilin.core with parameters of type ContextModifier and TypeMethodDescriptionCorePTA.parameterize(AllocNode node, Context context) CorePTA.parameterize(FieldRefNode frn, Context context) CorePTA.parameterize(FieldValNode fvn, Context context) CorePTA.parameterize(GlobalVarNode gvn, Context context) Global variables are never context-sensitive, so they always parameterize to the empty context.CorePTA.parameterize(LocalVarNode vn, Context context) CorePTA.parameterize(PagNode n, Context context) Dispatches to the matchingparameterizeoverload via double dispatch onn's runtime type (seePagNode.parameterize(Parameterizer, Context)), instead of aninstanceofcascade that a newPagNodesubtype could silently fall through.CorePTA.parameterize(SootMethod method, Context context) Finds or creates the ContextMethod for method and context.abstract PagNodePTA.parameterize(PagNode n, Context context) abstract ContextMethodPTA.parameterize(SootMethod method, Context context) PointsToAnalysis.reachingObjects(Context c, SootMethod m, Local l) Returns the set of objects pointed to by variable l in context c.PointsToAnalysis.reachingObjects(Context c, SootMethod m, Local l, SootField f) Returns the set of objects pointed to by instance field f of the objects pointed to by l in context c.PTA.reachingObjects(Context c, SootMethod m, Local l) Returns the set of objects pointed to by variable l in context c.PTA.reachingObjects(Context c, SootMethod m, Local l, SootField f) Returns the set of objects pointed to by instance field f of the objects pointed to by l in context c. -
Uses of Context in qilin.core.builder.callgraph
Methods in qilin.core.builder.callgraph that return Context -
Uses of Context in qilin.core.context
Classes in qilin.core.context that implement Context -
Uses of Context in qilin.core.pag
Fields in qilin.core.pag declared as ContextFields in qilin.core.pag with type parameters of type ContextModifier and TypeFieldDescriptionPAG.addedContextsprotected final Map<AllocNode,Map<Context, ContextAllocNode>> protected final Map<Context,Map<SparkField, ContextField>> PAG.contextFieldMapprotected final Map<SootMethod,Map<Context, ContextMethod>> PAG.contextMethodMapprotected final Map<VarNode,Map<Context, ContextVarNode>> Methods in qilin.core.pag that return ContextModifier and TypeMethodDescriptionContextAllocNode.context()ContextMethod.context()ContextVarNode.context()VarNode.context()ContextField.getContext()Returns the base AllocNode.Methods in qilin.core.pag that return types with arguments of type ContextModifier and TypeMethodDescriptionPAG.getContextAllocNodeMap()PAG.getContextMethodMap()PAG.getContextVarNodeMap()PAG.getMethod2ContextsMap()Methods in qilin.core.pag with parameters of type ContextModifier and TypeMethodDescriptionPAG.findContextVarNode(SootMethod m, Local baseValue, Context context) Finds the ContextVarNode for base variable value and context context, or returns null.PAG.makeContextAllocNode(AllocNode allocNode, Context context) Finds or creates the ContextAllocNode for base alloc site and context.PAG.makeContextField(Context context, FieldValNode fieldValNode) PAG.makeContextMethod(Context context, SootMethod method) Finds or creates the ContextMethod for method and context.PAG.makeContextVarNode(VarNode base, Context context) Finds or creates the ContextVarNode for base variable base and context.AllocNode.parameterize(Parameterizer parameterizer, Context context) FieldRefNode.parameterize(Parameterizer parameterizer, Context context) FieldValNode.parameterize(Parameterizer parameterizer, Context context) GlobalVarNode.parameterize(Parameterizer parameterizer, Context context) LocalVarNode.parameterize(Parameterizer parameterizer, Context context) PagNode.parameterize(Parameterizer parameterizer, Context context) Turns this node into its context-sensitive counterpart by calling back into the matching overload ofparameterizer.Parameterizer.parameterize(AllocNode node, Context context) Parameterizer.parameterize(FieldRefNode frn, Context context) Parameterizer.parameterize(FieldValNode fvn, Context context) Parameterizer.parameterize(GlobalVarNode gvn, Context context) Parameterizer.parameterize(LocalVarNode vn, Context context) Constructors in qilin.core.pag with parameters of type ContextModifierConstructorDescriptionContextAllocNode(AllocNode base, Context context) ContextField(Context context, SparkField field, boolean preciseArrayElement) ContextMethod(SootMethod method, Context context) ContextVarNode(VarNode base, Context context) -
Uses of Context in qilin.parm.contextconstruction
Fields in qilin.parm.contextconstruction declared as ContextMethods in qilin.parm.contextconstruction that return ContextModifier and TypeMethodDescriptionCallSiteContextConstructor.constructContext(ContextMethod caller, ContextAllocNode receiverNode, CallSite callSite, SootMethod target) ContextConstructor.constructContext(ContextMethod caller, ContextAllocNode receiverNode, CallSite callSite, SootMethod target) HybridObjectContextConstructor.constructContext(ContextMethod caller, ContextAllocNode receiverNode, CallSite callSite, SootMethod target) HybridTypeContextConstructor.constructContext(ContextMethod caller, ContextAllocNode receiverNode, CallSite callSite, SootMethod target) InsensitiveContextConstructor.constructContext(ContextMethod caller, ContextAllocNode receiverNode, CallSite callSite, SootMethod target) ObjectContextConstructor.constructContext(ContextMethod caller, ContextAllocNode receiverNode, CallSite callSite, SootMethod target) TypeContextConstructor.constructContext(ContextMethod caller, ContextAllocNode receiverNode, CallSite callSite, SootMethod target) -
Uses of Context in qilin.parm.select
Methods in qilin.parm.select that return ContextModifier and TypeMethodDescriptionprotected ContextContextSelector.contextTailor(Context context, int length) BeanSelector.select(FieldValNode fvn, Context context) BeanSelector.select(LocalVarNode lvn, Context context) BeanSelector.select(SootMethod m, Context context) abstract Contextabstract ContextContextSelector.select(FieldValNode fvn, Context context) abstract ContextContextSelector.select(LocalVarNode lvn, Context context) abstract ContextContextSelector.select(SootMethod m, Context context) DebloatingSelector.select(FieldValNode fvn, Context context) DebloatingSelector.select(LocalVarNode lvn, Context context) DebloatingSelector.select(SootMethod m, Context context) FullMethodLevelSelector.select(FieldValNode fvn, Context context) FullMethodLevelSelector.select(LocalVarNode lvn, Context context) FullMethodLevelSelector.select(SootMethod m, Context context) HeuristicSelector.select(FieldValNode fvn, Context context) HeuristicSelector.select(LocalVarNode lvn, Context context) HeuristicSelector.select(SootMethod m, Context context) InsensitiveSelector.select(FieldValNode fvn, Context context) InsensitiveSelector.select(LocalVarNode lvn, Context context) InsensitiveSelector.select(SootMethod m, Context context) PartialMethodLevelSelector.select(FieldValNode fvn, Context context) PartialMethodLevelSelector.select(LocalVarNode lvn, Context context) PartialMethodLevelSelector.select(SootMethod m, Context context) PartialVariableSelector.select(FieldValNode fvn, Context context) PartialVariableSelector.select(LocalVarNode lvn, Context context) PartialVariableSelector.select(SootMethod m, Context context) PipelineSelector.select(FieldValNode fvn, Context context) PipelineSelector.select(LocalVarNode lvn, Context context) PipelineSelector.select(SootMethod m, Context context) UniformSelector.select(FieldValNode fvn, Context context) UniformSelector.select(LocalVarNode lvn, Context context) UniformSelector.select(SootMethod m, Context context) VariableLevelSelector.select(FieldValNode fvn, Context context) VariableLevelSelector.select(LocalVarNode lvn, Context context) VariableLevelSelector.select(SootMethod m, Context context) Methods in qilin.parm.select with parameters of type ContextModifier and TypeMethodDescriptionprotected ContextContextSelector.contextTailor(Context context, int length) BeanSelector.select(FieldValNode fvn, Context context) BeanSelector.select(LocalVarNode lvn, Context context) BeanSelector.select(SootMethod m, Context context) abstract Contextabstract ContextContextSelector.select(FieldValNode fvn, Context context) abstract ContextContextSelector.select(LocalVarNode lvn, Context context) abstract ContextContextSelector.select(SootMethod m, Context context) DebloatingSelector.select(FieldValNode fvn, Context context) DebloatingSelector.select(LocalVarNode lvn, Context context) DebloatingSelector.select(SootMethod m, Context context) FullMethodLevelSelector.select(FieldValNode fvn, Context context) FullMethodLevelSelector.select(LocalVarNode lvn, Context context) FullMethodLevelSelector.select(SootMethod m, Context context) HeuristicSelector.select(FieldValNode fvn, Context context) HeuristicSelector.select(LocalVarNode lvn, Context context) HeuristicSelector.select(SootMethod m, Context context) InsensitiveSelector.select(FieldValNode fvn, Context context) InsensitiveSelector.select(LocalVarNode lvn, Context context) InsensitiveSelector.select(SootMethod m, Context context) PartialMethodLevelSelector.select(FieldValNode fvn, Context context) PartialMethodLevelSelector.select(LocalVarNode lvn, Context context) PartialMethodLevelSelector.select(SootMethod m, Context context) PartialVariableSelector.select(FieldValNode fvn, Context context) PartialVariableSelector.select(LocalVarNode lvn, Context context) PartialVariableSelector.select(SootMethod m, Context context) PipelineSelector.select(FieldValNode fvn, Context context) PipelineSelector.select(LocalVarNode lvn, Context context) PipelineSelector.select(SootMethod m, Context context) UniformSelector.select(FieldValNode fvn, Context context) UniformSelector.select(LocalVarNode lvn, Context context) UniformSelector.select(SootMethod m, Context context) VariableLevelSelector.select(FieldValNode fvn, Context context) VariableLevelSelector.select(LocalVarNode lvn, Context context) VariableLevelSelector.select(SootMethod m, Context context) -
Uses of Context in qilin.pta.toolkits.dd
Methods in qilin.pta.toolkits.dd that return ContextModifier and TypeMethodDescriptionTunnelingConstructor.constructContext(ContextMethod caller, ContextAllocNode receiverNode, CallSite callSite, SootMethod target) DataDrivenSelector.select(FieldValNode fvn, Context context) DataDrivenSelector.select(LocalVarNode lvn, Context context) DataDrivenSelector.select(SootMethod m, Context context) Methods in qilin.pta.toolkits.dd with parameters of type ContextModifier and TypeMethodDescriptionDataDrivenSelector.select(FieldValNode fvn, Context context) DataDrivenSelector.select(LocalVarNode lvn, Context context) DataDrivenSelector.select(SootMethod m, Context context) -
Uses of Context in qilin.pta.tools
Methods in qilin.pta.tools that return ContextModifier and TypeMethodDescriptionDebloatedPTA.createCalleeContext(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target) DebloatedPTA.emptyContext()Methods in qilin.pta.tools with parameters of type ContextModifier and TypeMethodDescriptionDebloatedPTA.parameterize(PagNode n, Context context) DebloatedPTA.parameterize(SootMethod method, Context context) DebloatedPTA.reachingObjects(Context c, SootMethod m, Local l) DebloatedPTA.reachingObjects(Context c, SootMethod m, Local l, SootField f) -
Uses of Context in qilin.util
Methods in qilin.util that return ContextModifier and TypeMethodDescriptionstatic ContextPagQueries.plusplusOp(AllocNode heap) Extends heap's context by one more element (heap itself), for object-sensitive analyses.