Sawja

swMATH827MaRDI QIDQ13574FDOQ13574

Author name not available (Why is that?)

Official website: http://sawja.inria.fr/

Described by source

• Sawja: static analysis workshop for Java

Cited In (12)

• Hash consed points-to sets
• A flow-insensitive-complete program representation
• CVPP
• WALA
• ProMoVer
• MAVEN
• PATRICIA
• LOCKSMITH
• Moped
• Barista
• DeepWukong
• ProMoVer: modular verification of temporal safety properties

This page was built for software: Sawja