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
Deregister Resources on Translation Exception #133
This patches a bug in which resources were not being deregistered in the event of an exception being thrown. This later creates issues in which InferAnalyzeJson fails to correctly parse the cfg (in particular, the ID is mismatched).
This patches a bug in which resources were not being deregistered in the event of an exception being thrown. This later creates issues in which InferAnalyzeJson fails to correctly parse the cfg (in particular, the ID is mismatched).