diff --git a/core/src/main/resources/natives.xml b/core/src/main/resources/natives.xml index 034159ec4c..2f535ae877 100644 --- a/core/src/main/resources/natives.xml +++ b/core/src/main/resources/natives.xml @@ -490,6 +490,15 @@ fieldType="Ljava/lang/Runnable" ref="arg0" value="arg0" /> + + + + + @@ -497,6 +506,15 @@ fieldType="Ljava/lang/Runnable" ref="arg0" value="arg1" /> + + + + + @@ -518,6 +536,17 @@ fieldType="Ljava/lang/Runnable" def="y" ref="arg0" /> + + + + + + diff --git a/core/src/test/java/com/ibm/wala/core/tests/callGraph/LibModelsTest.java b/core/src/test/java/com/ibm/wala/core/tests/callGraph/LibModelsTest.java index 214af5d3cd..3fc679cb65 100644 --- a/core/src/test/java/com/ibm/wala/core/tests/callGraph/LibModelsTest.java +++ b/core/src/test/java/com/ibm/wala/core/tests/callGraph/LibModelsTest.java @@ -47,7 +47,7 @@ public void testLibModels() CallGraph cg = CallGraphTestUtil.buildZeroCFA(options, new AnalysisCacheImpl(), cha, false); - // System.err.println(cg); + System.err.println(cg); // Find node corresponding to finalize TypeReference t =