WALA

MaRDI QIDQ16300swMATHFDO

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
• The Complexity of Andersen’s Analysis in Practice
• DeepWukong
• Automatic synthesis of data-flow analyzers
• Sawja: static analysis workshop for Java

This page was built for software: WALA