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.
Today we copy the entire input folder. Instead, copy only an enumeration of all files in the root, filtered to those with .dll/.pdb extension and de-duped at the filename level .
Today we copy the entire input folder. Instead, copy only an enumeration of all files in the root, filtered to those with .dll/.pdb extension and de-duped at the filename level .