%0 Journal Article
%T Field-sensitive Memory Model for Memory Safety of Heap-manipulating Programs<br>一种面向堆操作程序内存安全性的域敏感内存模型
%A DONG Long-ming
%A WANG Ji
%A CHEN Li-qian
%A LIU Jiang-chao
%A <br>董龙明
%A 王戟
%A 陈立前
%A 刘江潮
%J 计算机科学
%D 2012
%I 
%X Heap-manipulating programs usually operate memory cells directly through shared and mutable data-struc- tures,which makes their memory safety more complex and harder to guarantee. A field-sensitive k-limit abstract memory model was proposed in this paper to support dynamic adjustment of the precision and efficiency of the analysis .We presented its framework, property and operations. And then,four kinds of memory-related errors were identified in the operational semantics of the abstract memory model according to the definition of memory safety. In the end, we pro- posed the dataflow iteration algorithm for detecting the memory safety of C programs.
%K Heap-manipulating programs
%K Memory safety
%K k-limit abstract memory model
%K Dynamic adjustment<br>堆操作程序
%K 内存安全性
%K k-limit内存抽象模型
%K 动态可调节
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=75AFC294F2AFDCB1D049327D0091D2F5&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=9CF7A0430CBB2DFD&sid=91C9056D8E8856E0&eid=DDD31293A7C7D057&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0