Cited By
View all- Chaim MSantos DCruzes D(2018)What Do We Know About Buffer Overflow Detection?International Journal of Systems and Software Security and Protection10.4018/IJSSSP.20180701019:3(1-33)Online publication date: 1-Jul-2018
- Singh GPüschel MVechev M(2017)A practical construction for decomposing numerical abstract domainsProceedings of the ACM on Programming Languages10.1145/31581432:POPL(1-28)Online publication date: 27-Dec-2017
- Nazaré HMaffra ISantos WBarbosa LGonnord LQuintão Pereira F(2014)Validation of memory accesses through symbolic analysesACM SIGPLAN Notices10.1145/2714064.266020549:10(791-809)Online publication date: 15-Oct-2014
- Show More Cited By