New Method for Detecting Code Security Vulnerability Based on Reverse Deduction with Proof-Tree

• 一种基于证明树反演的安全漏洞定位方法