Static Code Analysis for Software Security Verification: Problems and Approaches.

Zeineb Zhioua, Stuart Short, Yves Roudier

Browse the full COMPSAC paper archive.