STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic.

Yunshan Zhao, Yawen Wang, Yunzhan Gong, Honghe Chen, Qing Xiao, Zhaohong Yang

Browse the full APSEC paper archive.