Published: Feb. 11, 2021, 4:39 p.m.
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.