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.
The original way of retrieving variable names from the PDB occasionally retrieved variables with name "CS$0$0000". This could erroneously cause Infer to interpret an LvarExpression as a temporary frontend value, which caused analysis crash. We resolve that issue here.
The original way of retrieving variable names from the PDB occasionally retrieved variables with name "CS$0$0000". This could erroneously cause Infer to interpret an LvarExpression as a temporary frontend value, which caused analysis crash. We resolve that issue here.