Package qilin.util

Class PagQueries

java.lang.Object

qilin.util.PagQueries

public final class PagQueries
extends Object

Small queries and printing helpers over PAG nodes and points-to sets.

Method Summary

Modifier and Type	Method	Description
static Object	getIR(Object sparkNode)	Unwraps a PAG node down to the sootup/qilin value it represents.
static String	getNodeLabel(PagNode node)
static boolean	mustAlias(PTA pta, VarNode v1, VarNode v2)
static LocalVarNode	paramToArg(PAG pag, InvokableStmt invokeStmt, MethodPAG srcmpag, VarNode pi)	Given a callee-side parameter/this/return/throw node pi, returns the corresponding caller-side argument node at the call site invokeStmt.
static Context	plusplusOp(AllocNode heap)	Extends heap's context by one more element (heap itself), for object-sensitive analyses.
static void	printPts(PTA pta, PointsToSet pts)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

getIR

public static Object getIR(Object sparkNode)

Unwraps a PAG node down to the sootup/qilin value it represents.

mustAlias

public static boolean mustAlias(PTA pta,
 VarNode v1,
 VarNode v2)

printPts

public static void printPts(PTA pta,
 PointsToSet pts)

getNodeLabel

public static String getNodeLabel(PagNode node)

plusplusOp

public static Context plusplusOp(AllocNode heap)

Extends heap's context by one more element (heap itself), for object-sensitive analyses.

paramToArg

public static LocalVarNode paramToArg(PAG pag,
 InvokableStmt invokeStmt,
 MethodPAG srcmpag,
 VarNode pi)

Given a callee-side parameter/this/return/throw node pi, returns the corresponding caller-side argument node at the call site invokeStmt.