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.
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.
0 comments