soot.jimple.spark.geom.geomE

Class FullSensitiveNode

java.lang.Object

soot.jimple.spark.geom.geomPA.IVarAbstraction

soot.jimple.spark.geom.geomE.FullSensitiveNode

All Implemented Interfaces:

Numberable

public class FullSensitiveNode
extends IVarAbstraction

This class defines an abstract pointer in the geometric points-to solver. All the points-to/flows-to information and the load/store constraints related to this pointer are stored here. The pointer assignment inference rules and the complex constraints initialization rules are also implemented here.

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Vector<PlainConstraint>	complex_cons
java.util.Map<FullSensitiveNode,GeometricManager>	flowto
java.util.Map<AllocNode,GeometricManager>	new_pts
java.util.Map<AllocNode,GeometricManager>	pt_objs
static java.lang.String[]	symbols

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
FullSensitiveNode(Node thisVar)

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() We transfer the SPARK results to current pointer if this pointer is not involved in the geometric analysis.
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) The place where you implement the pointer assignment reasoning.
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

Field Detail

flowto

public java.util.Map<FullSensitiveNode,GeometricManager> flowto

pt_objs

public java.util.Map<AllocNode,GeometricManager> pt_objs

new_pts

public java.util.Map<AllocNode,GeometricManager> new_pts

complex_cons

public java.util.Vector<PlainConstraint> complex_cons

symbols

public static java.lang.String[] symbols

Constructor Detail

FullSensitiveNode

public FullSensitiveNode(Node thisVar)

Method Detail

deleteAll

public void deleteAll()

Specified by:

deleteAll in class IVarAbstraction

reconstruct

public void reconstruct()

Specified by:

reconstruct in class IVarAbstraction

keepPointsToOnly

public void keepPointsToOnly()

Specified by:

keepPointsToOnly 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

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

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

drop_duplicates

public void drop_duplicates()

Specified by:

drop_duplicates in class IVarAbstraction

propagate

public void propagate(GeomPointsTo ptAnalyzer,
                      IWorklist worklist)

The place where you implement the pointer assignment reasoning.

Specified by:

propagate 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:

count_pts_intervals

public int count_pts_intervals(AllocNode obj)

Specified by:

count_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:

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

injectPts

public void injectPts()

We transfer the SPARK results to current pointer if this pointer is not involved in the geometric analysis. Note that, the unreachable objects will not be inserted.

Specified by:

injectPts in class IVarAbstraction

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:

remove_points_to

public void remove_points_to(AllocNode obj)

Specified by:

remove_points_to in class IVarAbstraction

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

count_new_pts_intervals

public int count_new_pts_intervals()

Specified by:

count_new_pts_intervals in class IVarAbstraction