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

fix bugs for some missing exceptions 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2588 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-02-15 21:42:55 +00:00
parent e9f3eb3eaa
commit 995975db78
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/ClassBasedInstanceKeys.java
View File

@ -120,6 +120,10 @@ public class ClassBasedInstanceKeys implements InstanceKeyFactory {
* @return a set of ConcreteTypeKeys that represent the exceptions the PEI may throw.
*/
public InstanceKey getInstanceKeyForPEI(CGNode node, ProgramCounter peiLoc, TypeReference type) {
IClass klass = cha.lookupClass(type);
if (klass == null) {
return null;
}
return new ConcreteTypeKey(cha.lookupClass(type));
}

3
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/SSAPropagationCallGraphBuilder.java
View File

@ -395,6 +395,9 @@ public abstract class SSAPropagationCallGraphBuilder extends PropagationCallGrap
TypeReference type = it2.next();
if (type != null) {
InstanceKey ik = getInstanceKeyForPEI(node, peiLoc, type, instanceKeyFactory);
if (ik == null) {
continue;
}
if (Assertions.verifyAssertions) {
if (!(ik instanceof ConcreteTypeKey)) {
Assertions._assert(ik instanceof ConcreteTypeKey,