search

microsoft / infersharp

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

Add Collections to IDisposableTenv #154

Closed matjin closed 1 year ago

matjin commented 2 years ago

This PR adds collections to the idisposableTenv, enabling models on collections for Infer#.

xi-liu-ds commented 1 year ago

Could you explain a little bit more about what you deleted and what you added in idisposbaleTenv.json?

I thought we are adding more collections. But why there are deletions involved as well?

image
matjin commented 1 year ago

Could you explain a little bit more about what you deleted and what you added in idisposbaleTenv.json?

I thought we are adding more collections. But why there are deletions involved as well?

image

I added entries for System.Collections.Generic.Dictionary2<!0,!1>, System.Collections.Generic.List1<!0>, System.Collections.Generic.ICollection1<!0>, System.Collections.Generic.IEnumerator1<!0>. I also deleted some unnecessary whitespace.