Zeineb Zhioua, Stuart Short, Yves Roudier. Static Code Analysis for Software Security Verification: Problems and Approaches. In IEEE 38th Annual Computer Software and Applications Conference, COMPSAC Workshops 2014, Vasteras, Sweden, July 21-25, 2014. pages 102-109, IEEE, 2014. [doi]
Abstract is missing.