Package soot.jimple.spark.geom.heapinsE

Class HeapInsNode

java.lang.Object

soot.jimple.spark.geom.geomPA.IVarAbstraction

soot.jimple.spark.geom.heapinsE.HeapInsNode

All Implemented Interfaces:

Numberable

public class HeapInsNode
extends IVarAbstraction

This class defines a pointer variable for use in the HeapIns encoding based points-to solver. HeapIns is a simpler form of geometric encoding. HeapIns is faster and uses less memory, but also, it is less precise than geometric encoding. NOT recommended to use.

Author:

xiao

Field Summary

Fields

Modifier and Type	Field	Description
Vector<PlainConstraint>	complex_cons
HashMap<HeapInsNode,HeapInsIntervalManager>	flowto
Map<AllocNode,HeapInsIntervalManager>	new_pts
HashMap<AllocNode,HeapInsIntervalManager>	pt_objs

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

Method Summary

Modifier and Type	Method	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()	Remember to clean the is_new flag
void	do_before_propagation()
void	drop_duplicates()	Discard all the ONE_TO_ONE figures which are covered by the ALL_TO_MANY and MANY_TO_ALL figures
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.
Set<AllocNode>	get_all_points_to_objects()	Obtain context insensitive points-to result (by removing contexts).
boolean	heap_sensitive_intersection(IVarAbstraction qv)	Query if this pointer and qv could point to the same object under any contexts
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(PrintStream outPrintStream)
void	propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)	An efficient implementation of differential propagation.
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 HashMap<HeapInsNode,HeapInsIntervalManager> flowto

pt_objs

public HashMap<AllocNode,HeapInsIntervalManager> pt_objs

new_pts

public Map<AllocNode,HeapInsIntervalManager> new_pts

complex_cons

public Vector<PlainConstraint> complex_cons

Constructor Detail

HeapInsNode

public HeapInsNode(Node thisVar)

Method Detail

deleteAll

public void deleteAll()

Specified by:

deleteAll 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()

Remember to clean the is_new flag

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()

Discard all the ONE_TO_ONE figures which are covered by the ALL_TO_MANY and MANY_TO_ALL figures

Specified by:

drop_duplicates in class IVarAbstraction

propagate

public void propagate(GeomPointsTo ptAnalyzer,
                      IWorklist worklist)

An efficient implementation of differential propagation.

Specified by:

propagate in class IVarAbstraction

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)

Query if this pointer and qv could point to the same object under any contexts

Specified by:

heap_sensitive_intersection in class IVarAbstraction

Returns:

get_all_points_to_objects

public 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(PrintStream outPrintStream)

Specified by:

print_context_sensitive_points_to 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

keepPointsToOnly

public void keepPointsToOnly()

Specified by:

keepPointsToOnly in class IVarAbstraction

count_new_pts_intervals

public int count_new_pts_intervals()

Specified by:

count_new_pts_intervals 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

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: