DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

lazy calculation of callee params 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2761 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-04-15 19:56:50 +00:00
parent fc495cf49e
commit 8bdf08b27d
1 changed files with 20 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/PDG.java
View File

@ -802,7 +802,7 @@ public class PDG implements NumberedGraph<Statement> {
createSpecialStatements(ir);
}
createCalleeParams(ref);
createCalleeParams();
createReturnStatements();
delegate.addNode(new MethodEntryStatement(node));
@ -845,22 +845,24 @@ public class PDG implements NumberedGraph<Statement> {
* @param ref the set of heap locations which may be read (transitively) by this node. These are logically parameters
* in the SDG.
*/
private void createCalleeParams(Map<CGNode, OrdinalSet<PointerKey>> ref) {
ArrayList<Statement> list = new ArrayList<Statement>();
for (int i = 1; i <= node.getMethod().getNumberOfParameters(); i++) {
ParamCallee s = new ParamCallee(node, i);
delegate.addNode(s);
list.add(s);
}
if (!dOptions.isIgnoreHeap()) {
for (PointerKey p : ref.get(node)) {
Statement h = new HeapStatement.HeapParamCallee(node, p);
delegate.addNode(h);
list.add(h);
private void createCalleeParams() {
if (paramCalleeStatements == null) {
ArrayList<Statement> list = new ArrayList<Statement>();
for (int i = 1; i <= node.getMethod().getNumberOfParameters(); i++) {
ParamCallee s = new ParamCallee(node, i);
delegate.addNode(s);
list.add(s);
}
if (!dOptions.isIgnoreHeap()) {
for (PointerKey p : ref.get(node)) {
Statement h = new HeapStatement.HeapParamCallee(node, p);
delegate.addNode(h);
list.add(h);
}
}
paramCalleeStatements = new Statement[list.size()];
list.toArray(paramCalleeStatements);
}
paramCalleeStatements = new Statement[list.size()];
list.toArray(paramCalleeStatements);
}
/**
@ -968,7 +970,9 @@ public class PDG implements NumberedGraph<Statement> {
}
public Statement[] getParamCalleeStatements() {
populate();
if (paramCalleeStatements == null) {
createCalleeParams();
}
return paramCalleeStatements.clone();
}