Sawja

MaRDI QIDQ13574swMATHFDO

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

Described by source

• Sawja: static analysis workshop for Java

Cited in

(12)

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

This page was built for software: Sawja