Applications of computational intelligence for static software checking against memory corruption vulnerabilities | IEEE Conference Publication | IEEE Xplore