Katholieke Universiteit Leuven;
rnVrije Universiteit Amsterdam University of California at Santa Barbara;
rnKatholieke Universiteit Leuven;
rnKatholieke Universiteit Leuven;
rnStony Brook University;
rnKatholieke Universiteit Leuven;
buffer overflows; bounds checking;
机译:使用指针算法自动证明程序的终止和内存安全
机译:具有联合类型和指针算法的嵌入式C程序的字段敏感值分析
机译:用于容错算法的高效电流模式MVL残码检查器
机译:paricheck:C程序的有效指针算术检查器
机译:为带有指针的程序开发实用的程序分析。
机译:动态编程在确定棋类和棋类最佳比赛中的应用
机译:PAriCheck:C语言程序的高效指针算术检查器