vasco.callgraph
Class Test

java.lang.Object
  vasco.callgraph.Test

public class Test
extends Object

A main class for testing call graph construction using a Flow and Context Sensitive Points-to Analysis (FCPA).

Usage: java vasco.callgraph.Test [-cp CLASSPATH] [-out DIR] [-k DEPTH] MAIN_CLASS

Author:

Rohan Padhye

Constructor Summary

Test()

Method Summary

static void	dumpCallChainStats(PointsToAnalysis pta, int maxDepth)
static List<SootMethod>	getSparkExplicitEdges(SootMethod sootMethod)
static List<SootMethod>	getSparkExplicitEdges(Unit callStmt)
static void	main(String[] args)
static void	printCallSiteStats(PointsToAnalysis pta)
static void	printMethodStats(PointsToAnalysis pta)

Methods inherited from class java.lang.Object

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

Constructor Detail

Test

public Test()

Method Detail

main

public static void main(String[] args)

getSparkExplicitEdges

public static List<SootMethod> getSparkExplicitEdges(Unit callStmt)

getSparkExplicitEdges

public static List<SootMethod> getSparkExplicitEdges(SootMethod sootMethod)

printCallSiteStats

public static void printCallSiteStats(PointsToAnalysis pta)
                               throws FileNotFoundException

Throws:

FileNotFoundException

printMethodStats

public static void printMethodStats(PointsToAnalysis pta)
                             throws FileNotFoundException

Throws:

FileNotFoundException

dumpCallChainStats

public static void dumpCallChainStats(PointsToAnalysis pta,
                                      int maxDepth)
                               throws FileNotFoundException

Throws:

FileNotFoundException