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

a little more work on summaries

This commit is contained in:
Julian Dolby 2018-02-14 18:54:21 -05:00
parent 6c1d0d9cb6
commit be6bb3dc9a
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
com.ibm.wala.core/src/com/ibm/wala/ipa/summaries/XMLMethodSummaryReader.java
View File

@ -353,7 +353,7 @@ public class XMLMethodSummaryReader implements BytecodeConstants {
}
private void startClass(String cname, Attributes atts) {
String clName = "L" + governingPackage + "/" + cname;
String clName = governingPackage==null? "L" + cname: "L" + governingPackage + "/" + cname;
governingClass = className2Ref(clName);
String allocString = atts.getValue(A_ALLOCATABLE);
if (allocString != null) {
@ -634,10 +634,7 @@ public class XMLMethodSummaryReader implements BytecodeConstants {
if (V == null) {
Assertions.UNREACHABLE("Must specify value for putfield " + governingMethod);
}
Integer valueNumber = symbolTable.get(V);
if (valueNumber == null) {
Assertions.UNREACHABLE("Cannot lookup value: " + V);
}
Integer valueNumber = symbolTable.containsKey(V)? symbolTable.get(V): Integer.parseInt(V);
// get the ref stored to
String R = atts.getValue(A_REF);