Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.
Provides special handling for certain methods like op_Equality; these are sometimes invoked for variable null-checks and we want to represent these null-checks in a way that will be appropriately interpreted by the backend analysis.
Provides special handling for certain methods like op_Equality; these are sometimes invoked for variable null-checks and we want to represent these null-checks in a way that will be appropriately interpreted by the backend analysis.