soot.jimple.spark.geom.geomPA
Class GeomEvaluator

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

public class GeomEvaluator
extends Object

We provide a set of methods to evaluate the quality of geometric points-to analysis. The evaluation methods are: 1. Count the computed points-to matrix for avg. points-to set size, constraints evaluation graph size, etc; 2. Virtual function resolution comparison; 3. Static casts checking; 4. Type purity checking;

Author:

xiao

Constructor Summary

GeomEvaluator(GeomPointsTo gpts, PrintStream ps)

Method Summary

void	check_alias_analysis()
void	check_casts_safety()
void	check_virtual_functions()
void	reportBasicMetrics() Summarize the geometric points-to analysis.

Methods inherited from class java.lang.Object

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

Constructor Detail

GeomEvaluator

public GeomEvaluator(GeomPointsTo gpts,
                     PrintStream ps)

Method Detail

reportBasicMetrics

public void reportBasicMetrics()

Summarize the geometric points-to analysis.

check_virtual_functions

public void check_virtual_functions()

check_alias_analysis

public void check_alias_analysis()

check_casts_safety

public void check_casts_safety()