WALA

swMATH4113MaRDI QIDQ16300FDOQ16300

Author name not available (Why is that?)

Official website: http://wala.sourceforge.net/wiki/index.php/Main_Page

Cited In (22)

• Hash consed points-to sets
• MCGP
• Sawja
• DaCapo
• Soot
• Banshee
• SPLLIFT
• PATRICIA
• PyYAML
• LOCKSMITH
• FlashRelate
• Barista
• FlashExtract
• FlowDroid
• JSAI
• TAJ
• GATEKEEPER
• PyCG
• DeepWukong
• The Complexity of Andersen’s Analysis in Practice
• Automatic synthesis of data-flow analyzers
• Sawja: static analysis workshop for Java

This page was built for software: WALA