Vulnerability Analysis through Interface-based Checker Design | IEEE Conference Publication | IEEE Xplore