soot.jimple.spark.geom.geomPA
Class DummyNode

java.lang.Object
  soot.jimple.spark.geom.geomPA.IVarAbstraction
      soot.jimple.spark.geom.geomPA.DummyNode

All Implemented Interfaces:

Numberable

public class DummyNode
extends IVarAbstraction

Field Summary

Fields inherited from class soot.jimple.spark.geom.geomPA.IVarAbstraction

id, lrf_value, me, pres, Qpos, stubManager, top_value

Constructor Summary

DummyNode(Node thisVarNode)

Method Summary

boolean	add_points_to_3(AllocNode obj, long I1, long I2, long L)
boolean	add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)
boolean	add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
boolean	add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
int	count_flow_intervals(IVarAbstraction qv)
int	count_new_pts_intervals()
int	count_pts_intervals(AllocNode obj)
void	discard()
void	do_after_propagation()
void	do_before_propagation()
void	drop_duplicates()
int	get_all_context_sensitive_objects(long l, long r, ZArrayNumberer<CallsiteContextVar> all_objs, Vector<CallsiteContextVar> outList)
Set<AllocNode>	get_all_points_to_objects()
boolean	has_new_pts()
boolean	heap_sensitive_intersection(IVarAbstraction qv)
boolean	is_empty()
int	num_of_diff_edges()
int	num_of_diff_objs()
boolean	pointer_interval_points_to(long l, long r, AllocNode obj)
boolean	pointer_sensitive_points_to(long context, AllocNode obj)
void	print_context_sensitive_points_to(PrintStream outPrintStream)
void	propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)
void	put_complex_constraint(PlainConstraint cons)
void	reconstruct()
void	remove_points_to(AllocNode obj)
boolean	test_points_to_has_types(Set<Type> types)

Methods inherited from class soot.jimple.spark.geom.geomPA.IVarAbstraction

getNumber, getRepresentative, getType, getWrappedNode, lessThan, merge, setNumber

Methods inherited from class java.lang.Object

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

Constructor Detail

DummyNode

public DummyNode(Node thisVarNode)

Method Detail

add_points_to_3

public boolean add_points_to_3(AllocNode obj,
                               long I1,
                               long I2,
                               long L)

Specified by:

add_points_to_3 in class IVarAbstraction

add_points_to_4

public boolean add_points_to_4(AllocNode obj,
                               long I1,
                               long I2,
                               long L1,
                               long L2)

Specified by:

add_points_to_4 in class IVarAbstraction

add_simple_constraint_3

public boolean add_simple_constraint_3(IVarAbstraction qv,
                                       long I1,
                                       long I2,
                                       long L)

Specified by:

add_simple_constraint_3 in class IVarAbstraction

add_simple_constraint_4

public boolean add_simple_constraint_4(IVarAbstraction qv,
                                       long I1,
                                       long I2,
                                       long L1,
                                       long L2)

Specified by:

add_simple_constraint_4 in class IVarAbstraction

put_complex_constraint

public void put_complex_constraint(PlainConstraint cons)

Specified by:

put_complex_constraint in class IVarAbstraction

reconstruct

public void reconstruct()

Specified by:

reconstruct in class IVarAbstraction

do_before_propagation

public void do_before_propagation()

Specified by:

do_before_propagation in class IVarAbstraction

do_after_propagation

public void do_after_propagation()

Specified by:

do_after_propagation in class IVarAbstraction

propagate

public void propagate(GeomPointsTo ptAnalyzer,
                      IWorklist worklist)

Specified by:

propagate in class IVarAbstraction

drop_duplicates

public void drop_duplicates()

Specified by:

drop_duplicates in class IVarAbstraction

remove_points_to

public void remove_points_to(AllocNode obj)

Specified by:

remove_points_to in class IVarAbstraction

is_empty

public boolean is_empty()

Specified by:

is_empty in class IVarAbstraction

has_new_pts

public boolean has_new_pts()

Specified by:

has_new_pts in class IVarAbstraction

num_of_diff_objs

public int num_of_diff_objs()

Specified by:

num_of_diff_objs in class IVarAbstraction

num_of_diff_edges

public int num_of_diff_edges()

Specified by:

num_of_diff_edges in class IVarAbstraction

count_pts_intervals

public int count_pts_intervals(AllocNode obj)

Specified by:

count_pts_intervals in class IVarAbstraction

count_new_pts_intervals

public int count_new_pts_intervals()

Specified by:

count_new_pts_intervals in class IVarAbstraction

count_flow_intervals

public int count_flow_intervals(IVarAbstraction qv)

Specified by:

count_flow_intervals in class IVarAbstraction

heap_sensitive_intersection

public boolean heap_sensitive_intersection(IVarAbstraction qv)

Specified by:

heap_sensitive_intersection in class IVarAbstraction

pointer_sensitive_points_to

public boolean pointer_sensitive_points_to(long context,
                                           AllocNode obj)

Specified by:

pointer_sensitive_points_to in class IVarAbstraction

pointer_interval_points_to

public boolean pointer_interval_points_to(long l,
                                          long r,
                                          AllocNode obj)

Specified by:

pointer_interval_points_to in class IVarAbstraction

test_points_to_has_types

public boolean test_points_to_has_types(Set<Type> types)

Specified by:

test_points_to_has_types in class IVarAbstraction

get_all_points_to_objects

public Set<AllocNode> get_all_points_to_objects()

Specified by:

get_all_points_to_objects in class IVarAbstraction

get_all_context_sensitive_objects

public int get_all_context_sensitive_objects(long l,
                                             long r,
                                             ZArrayNumberer<CallsiteContextVar> all_objs,
                                             Vector<CallsiteContextVar> outList)

Specified by:

get_all_context_sensitive_objects in class IVarAbstraction

print_context_sensitive_points_to

public void print_context_sensitive_points_to(PrintStream outPrintStream)

Specified by:

print_context_sensitive_points_to in class IVarAbstraction

discard

public void discard()

Specified by:

discard in class IVarAbstraction