DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Fork of the T.J. Watson Libraries for Analysis used by DASCA.
4,173 Commits 8 Branches 13 Tags 80 MiB
Java 94.4%
JavaScript 4.3%
HTML 0.5%
C++ 0.4%
Gradle 0.3%
Go to file
Juergen Graf fad9e87654 cleanup - organize imports and remove unused code 2014-05-20 19:56:59 +02:00
com.ibm.wala-feature Publish source features on update site 2013-07-09 15:34:03 +02:00
com.ibm.wala-repository Publish source features on update site 2013-07-09 15:34:03 +02:00
com.ibm.wala.cast revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable 2014-05-20 19:52:01 +02:00
com.ibm.wala.cast.java Merge branch 'wala' into master 2014-05-20 17:59:16 +02:00
com.ibm.wala.cast.java.jdt.test Merge branch 'wala' into master 2013-07-02 14:23:24 +02:00
com.ibm.wala.cast.java.polyglot move to Reader API to help with annoying /r/n issues is source mapping 2014-04-29 11:21:01 -04:00
com.ibm.wala.cast.java.polyglot.test merge 2013-06-25 11:57:37 -04:00
com.ibm.wala.cast.java.test revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable 2014-05-20 19:52:01 +02:00
com.ibm.wala.cast.java.test.data merge 2013-06-25 11:57:37 -04:00
com.ibm.wala.cast.js revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable 2014-05-20 19:52:01 +02:00
com.ibm.wala.cast.js.html.nu_validator move to Reader API to help with annoying /r/n issues is source mapping 2014-04-29 11:21:01 -04:00
com.ibm.wala.cast.js.rhino type in CAst var decls 2014-03-16 18:05:49 -04:00
com.ibm.wala.cast.js.rhino.test uuse PrinterWriter; make DOM model optional 2014-04-11 10:00:05 -04:00
com.ibm.wala.cast.js.test Merge branch 'wala' into master 2014-05-20 17:59:16 +02:00
com.ibm.wala.cast.js.test.data add modeling of window.onload invocation 2013-09-16 09:37:18 -07:00
com.ibm.wala.cast.test merge 2013-06-25 11:57:37 -04:00
com.ibm.wala.core revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable 2014-05-20 19:52:01 +02:00
com.ibm.wala.core.testdata Merge branch 'wala' into master 2014-05-20 17:59:16 +02:00
com.ibm.wala.core.tests revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable 2014-05-20 19:52:01 +02:00
com.ibm.wala.dalvik cleanup - organize imports and remove unused code 2014-05-20 19:56:59 +02:00
com.ibm.wala.ide Merge branch 'wala' into master 2014-05-20 17:59:16 +02:00
com.ibm.wala.ide-feature Publish source features on update site 2013-07-09 15:34:03 +02:00
com.ibm.wala.ide.jdt move to Reader API to help with annoying /r/n issues is source mapping 2014-04-29 11:21:01 -04:00
com.ibm.wala.ide.jdt.test new timeout mechanism 2014-02-08 21:39:55 -05:00
com.ibm.wala.ide.jsdt revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable 2014-05-20 19:52:01 +02:00
com.ibm.wala.ide.jsdt.tests less printing 2013-12-03 13:08:29 -05:00
com.ibm.wala.ide.tests try to make maven on travis cl find the needed Eclipse projects 2013-12-02 10:26:19 -05:00
com.ibm.wala.shrike Merge branch 'wala' into master 2014-05-20 17:59:16 +02:00
com.ibm.wala.tests-feature Publish source features on update site 2013-07-09 15:34:03 +02:00
com.ibm.wala.tests.ide-feature Publish source features on update site 2013-07-09 15:34:03 +02:00
com.ibm.wala.util revert PointerAnalysis hack that makes containsAny() and contains() methods in OrdinalSet unusable 2014-05-20 19:52:01 +02:00
targets added js projects to tycho build 2013-04-29 13:13:23 +02:00
.gitignore ignore logging settings for dalvik frontend 2013-08-26 19:37:09 +02:00
.travis.yml formatting 2013-12-03 12:35:08 -05:00
README.md original wala is at github:/wala/WALA fix old reference 2014-05-19 19:04:05 +02:00
pom.xml magic tycho compile option (thanks to a post by Jan Rosczak on dev.eclipse.org) 2014-02-09 18:29:04 -05:00

README.md

About WALA

This is a fork of the program analysis framework WALA. The original framework can be found at wala.sourceforge.net and github.com/wala/WALA.

This version is tailored for the information flow control framework JOANA. See joana.ipd.kit.edu and github.com/jgf/joana for details.

This fork includes some additional features:

  • null-pointer detection that removes spurious CFG edges.
  • it includes the code for a dalivk bytecode frontend copied and integrated from github.com/SCanDroid/SCanDroid.
  • configuration/property files are loaded from current directory, with an automatic fallback to load from .jar.
  • SDG implementation that has different edge types for control and data dependencies.
  • every SSAInstrution knows its index.
  • many other minor changes.