GoSonar: Detecting Logical Vulnerabilities in Memory Safe Language Using Inductive Constraint Reasoning.

Md Sakib Anwar, Carter Yagemann, Zhiqiang Lin

Browse the full SP paper archive.