首页> 外文OA文献 >Infer: An automatic program verifier for memory safety of c programs

【2h】

Infer: An automatic program verifier for memory safety of c programs

机译：推断：自动程序验证程序，用于c程序的内存安全

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Cristiano Calcagno; Dino Distefano;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic [J] . Stroeder Thomas, Giesl Juergen, Brockschmidt Marc, Journal of Automated Reasoning . 2017,第1期

机译：使用指针算法自动证明程序的终止和内存安全
2. Programming and Program-Verification Methods for Low-Voltage Flash Memories Using a Sector Programming Scheme [J] . Katsutaka KIMURA, Toshihiro TANAKA, Masataka KATO, IEICE Transactions on Electronics . 1995,第7期

机译：使用扇区编程方案的低压闪存的编程和程序验证方法
3. Basic Results in Automatic Transformations of Shared memory parallel Programs into Sequential Programs [J] . Yosi Ben-Asher, Esti Stein Journal of supercomputing . 2000,第2期

机译：共享内存并行程序自动转换为顺序程序的基本结果
4. Infer: An Automatic Program Verifier for Memory Safety of C Programs [C] . Cristiano Calcagno, Dino Distefano NASA formal methods . 2011

机译：推断：C程序的内存安全性自动程序验证程序
5. Automatic verification and revision of multitolerant programs. [D] . Chen, Jingshu. 2013

机译：自动验证和修订多容忍程序。
6. Monitoring system for the effective instruction based on the semi-automatic evaluation of programs during programming classroom lectures [O] . Satoru Kogure, Riki Nakamura, Kanae Makino, -1

机译：基于课堂教学半自动程序评估的有效教学监控系统
7. Automatically proving termination and memory safety for programs with pointer arithmetic [O] . Ströder T., Giesl J., Brockschmidt M., 2017

机译：使用指针算法自动证明程序的终止和内存安全性
8. Automatic Program Verification III: A Methodology for Verifying Programs, [R] . v.henke, friedrich w. luckham,david c. 1975

机译：自动程序验证III：验证程序的方法，

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号