WALA

  1. http://wala.sourceforge.net/files/WALAJavaScriptTutorial.pdf
  2. http://wala.sourceforge.net/wiki/index.php/UserGuide:Getting_Started
  3. http://wala.sourceforge.net/wiki/index.php/Getting_Started:JavaScript_frontend
  4. https://researcher.watson.ibm.com/researcher/files/us-dolby/SridharanWoW2015.pdf
  5. https://github.com/wala/WALA/wiki/Getting-Started
  6. http://wala.sourceforge.net/javadocs/trunk/
  7. https://github.com/wala/WALA-start
  8. http://wala.sourceforge.net/wiki/index.php/UserGuide:DataflowSolvers

IDE problem in WALA

  • Slides: https://researcher.watson.ibm.com/researcher/files/us-dolby/ide_impl_wala.pdf
  • Paper: https://cormack.uwaterloo.ca/~olhotak/pubs/cc10.pdf
  • Example: https://github.com/amaurremi/IDE/blob/master/src/test/ca/uwaterloo/ide/example/reachingDefs/ReachingDefsIdeSpec.scala
  • Code: https://github.com/amaurremi/IDE/