This analysis deals with a range of issues, many linked to memory safety.
- C/C++/ObjC: Yes
- Java: Yes
- C#/.Net: Yes
Read more about its foundations in the Separation Logic and Biabduction page.
List of Issue Types
The following issue types are reported by this checker: