Analyzing Code with Infer#

added by DotNetKicks
2/11/2021 5:39:24 PM

831 Views

Want to detect reliability and security bugs before they ship? Matthew Jin and Xiaoyu Liu show Infer#, a static analysis tool you can use to validate the correctness of source code without needing to execute it. Learn more about Infer# here.


0 comments