Tool title |
Title of page above |
Type |
Academic |
Owner/Source |
Domagoj Babic |
Link |
http://www.domagoj-babic.com/index.php/ResearchProjects/Calysto |
Description |
Calysto is a scalable and precise static checker for general purpose code, which checks pointer properties and user provided assertions. Calysto works on the SSA form, and as such is language independent. However, interpretation of library functions (like C-lib and STL) as well as trace reporting is language-dependent (for instance, demangling C++ and Java names). Currently, trace reports are readable only for languages that do not mangle names (like C). Dr. Babic considers Calysto a bug hunting companion, rather than a formal verification tool. |
User |
TBD |
SWE |
SWE-135 |
