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

It is used to represent the non-pointer variables (e.g. heap variable) in the geometric encoding PAG.

Field Summary

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

deadManager, id, lrf_value, me, parent, pres, Qpos, stubManager, top_value, willUpdate

Constructor Summary

Constructors

Constructor and Description
DummyNode(Node thisVarNode)

Method Summary

Modifier and Type	Method and Description
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	deleteAll()
void	do_after_propagation()
void	do_before_propagation()
void	drop_duplicates()
void	get_all_context_sensitive_objects(long l, long r, PtSensVisitor visitor) Given the pointers falling in the context range [l, r), we compute the set of context sensitive objects pointed to by those pointers.
java.util.Set<AllocNode>	get_all_points_to_objects() Obtain context insensitive points-to result (by removing contexts).
boolean	heap_sensitive_intersection(IVarAbstraction qv) Perform context sensitive alias checking with qv.
void	injectPts()
boolean	isDeadObject(AllocNode obj) Test if the particular object has been obsoleted.
void	keepPointsToOnly()
int	num_of_diff_edges()
int	num_of_diff_objs() Return -1 if this pointer does not have points-to information.
boolean	pointer_interval_points_to(long l, long r, AllocNode obj) Test if the pointer in the context range [l, R) points to object obj.
void	print_context_sensitive_points_to(java.io.PrintStream outPrintStream)
void	propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)
void	put_complex_constraint(PlainConstraint cons)
void	reconstruct()
void	remove_points_to(AllocNode obj)

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

enclosingMethod, getNumber, getRepresentative, getType, getWrappedNode, hasPTResult, isLocalPointer, lessThan, merge, reachable, setNumber, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

DummyNode

public DummyNode(Node thisVarNode)

Method Detail

deleteAll

public void deleteAll()

Specified by:

deleteAll in class IVarAbstraction

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

num_of_diff_objs

public int num_of_diff_objs()

Description copied from class: IVarAbstraction

Return -1 if this pointer does not have points-to information. This function can be used for testing if the pointer has been processed by geomPTA.

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)

Description copied from class: IVarAbstraction

Perform context sensitive alias checking with qv.

Specified by:

heap_sensitive_intersection in class IVarAbstraction

Returns:

pointer_interval_points_to

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

Description copied from class: IVarAbstraction

Test if the pointer in the context range [l, R) points to object obj.

Specified by:

pointer_interval_points_to in class IVarAbstraction

Returns:

get_all_points_to_objects

public java.util.Set<AllocNode> get_all_points_to_objects()

Description copied from class: IVarAbstraction

Obtain context insensitive points-to result (by removing contexts).

Specified by:

get_all_points_to_objects in class IVarAbstraction

Returns:

print_context_sensitive_points_to

public void print_context_sensitive_points_to(java.io.PrintStream outPrintStream)

Specified by:

print_context_sensitive_points_to in class IVarAbstraction

keepPointsToOnly

public void keepPointsToOnly()

Specified by:

keepPointsToOnly in class IVarAbstraction

injectPts

public void injectPts()

Specified by:

injectPts in class IVarAbstraction

isDeadObject

public boolean isDeadObject(AllocNode obj)

Description copied from class: IVarAbstraction

Test if the particular object has been obsoleted. It's mainly for points-to developer use.

Specified by:

isDeadObject in class IVarAbstraction

Returns:

get_all_context_sensitive_objects

public void get_all_context_sensitive_objects(long l,
                                              long r,
                                              PtSensVisitor visitor)

Description copied from class: IVarAbstraction

Given the pointers falling in the context range [l, r), we compute the set of context sensitive objects pointed to by those pointers. This function is designed in visitor pattern.

Specified by:

get_all_context_sensitive_objects in class IVarAbstraction

See Also:

Obj_1cfa_extractor, Obj_full_extractor