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

hacks for android stuff

This commit is contained in:
Julian Dolby 2015-04-06 13:00:14 -04:00
parent 405f136694
commit cc5f683333
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
com.ibm.wala.dalvik.test/source/com/ibm/wala/dalvik/test/callGraph/DroidBenchCGTest.java
View File

@ -77,7 +77,17 @@ public abstract class DroidBenchCGTest extends DalvikCallGraphTestBase {
x = HashSetFactory.make();
x.add(ref("Ledu/mit/dynamic_dispatch/A", "f", "()Ljava/lang/String;"));
uncalledFunctions.put("VirtualDispatch2.apk", x);
}
x = HashSetFactory.make();
x.add(ref("Ledu/mit/dynamic_dispatch/A", "f", "()Ljava/lang/String;"));
uncalledFunctions.put("VirtualDispatch2.apk", x);
// TODO: remove once we understand the XML better
x = HashSetFactory.make();
x.add(ref("Lde/ecspride/Button2", "clickOnButton3", "(Landroid/view/View;)V"));
uncalledFunctions.put("Button2.apk", x);
}
public static Set<IMethod> assertUserCodeReachable(CallGraph cg, Set<MethodReference> uncalled) throws InvalidClassFileException {
Set<IMethod> result = HashSetFactory.make();