Biabduction
This analysis deals with a range of issues, many linked to memory safety.
***DEPRECATED*** This has been replaced by Pulse and will be removed in the next release.
Activate with --biabduction.
Supported languages:
- C/C++/ObjC: Yes
- C#/.Net: Yes
- Erlang: No
- Hack: No
- Java: Yes
- Python: No
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: