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.
This PR adds System.String to the pre-loaded type environment. This is necessary in order for modeled methods like String.IsNullOrWhitespace or String.IsNullOrEmpty to be interpreted.
This PR adds System.String to the pre-loaded type environment. This is necessary in order for modeled methods like String.IsNullOrWhitespace or String.IsNullOrEmpty to be interpreted.