BugAuditor: Detecting Bugs via Inconsistent Defensive Code Auditing

Miaoqian Lin, The University of Hong Kong; Kai Chen, Institute of Information Engineering, Chinese Academy of Sciences; Hao Chen, The University of Hong Kong