Static Code Analysis for Software Security Verification: Problems and Approaches | IEEE Conference Publication | IEEE Xplore