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.
MIT License
727
stars
29
forks
source link
Bug Fix for Wrong Dereference on Instance Method with Address-type Object #161
This PR fixes a bug in which a dereference was being inserted for an instance method's object when it is an address type. Normally, it should be simply applied to the instance itself; we erroneously were doing so when the instance in question was an address
This PR fixes a bug in which a dereference was being inserted for an instance method's object when it is an address type. Normally, it should be simply applied to the instance itself; we erroneously were doing so when the instance in question was an address