WALA

swMATH4113MaRDI QIDQ16300FDOQ16300

Author name not available (Why is that?)

Cited In (4)

• Sawja: Static Analysis Workshop for Java
• Hash consed points-to sets
• The Complexity of Andersen’s Analysis in Practice
• Automatic synthesis of data-flow analyzers

This page was built for software: WALA