soot.jimple.spark.geom.geomPA
Class PointsToDumper

java.lang.Object
  soot.jimple.spark.geom.geomPA.PointsToDumper

public class PointsToDumper
extends Object

Output the points-to matrix in various formats. This is used to facilitate the pointer analysis experimenting outside SOOT.

Author:

xiao

Constructor Summary

PointsToDumper()

Method Summary

static void	dump_context_insensitive_mapped_result(GeomPointsTo ptsProvider) Dump the context insensitive points-to result generated from the geometric analysis by throwing away the context information.
static void	dump_pointer_1cfa_object_insensitive_mapped_result(GeomPointsTo ptsProvider) Dump the 1-CFA pointer context sensitive but object insensitive result.
static void	dump_pointer_insensitive_object_1cfa_mapped_result(GeomPointsTo ptsProvider) Dump the pointer insensitive but object 1-CFA context sensitive points-to result.
static void	dump_pointer_object_1cfa_mapped_result(GeomPointsTo ptsProvider) Dump both the pointer and object 1-CFA context sensitive points-to result.
static void	dump_spark_result(GeomPointsTo ptsProvider) Dump the points-to vector for each pointer stored in the SPARK pointer node.

Methods inherited from class java.lang.Object

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

Constructor Detail

PointsToDumper

public PointsToDumper()

Method Detail

dump_spark_result

public static void dump_spark_result(GeomPointsTo ptsProvider)

Dump the points-to vector for each pointer stored in the SPARK pointer node.

dump_context_insensitive_mapped_result

public static void dump_context_insensitive_mapped_result(GeomPointsTo ptsProvider)

Dump the context insensitive points-to result generated from the geometric analysis by throwing away the context information.

Parameters:

ptsProvider -

dump_pointer_1cfa_object_insensitive_mapped_result

public static void dump_pointer_1cfa_object_insensitive_mapped_result(GeomPointsTo ptsProvider)

Dump the 1-CFA pointer context sensitive but object insensitive result.

dump_pointer_insensitive_object_1cfa_mapped_result

public static void dump_pointer_insensitive_object_1cfa_mapped_result(GeomPointsTo ptsProvider)

Dump the pointer insensitive but object 1-CFA context sensitive points-to result.

dump_pointer_object_1cfa_mapped_result

public static void dump_pointer_object_1cfa_mapped_result(GeomPointsTo ptsProvider)

Dump both the pointer and object 1-CFA context sensitive points-to result.