tool to check the type safety of a program based on static source code analysis
No description defined