MARVEL: A Generic, Scalable and Effective Vulnerability Detection Platform | IEEE Conference Publication | IEEE Xplore