• 旅游市场再创佳绩端午假期河北接待游客2026.77万 揽金147.79亿 2019-04-20
  • 一带一路人民币国际化做好分析总结是最重要工作,国际竞争需要 2019-04-05
  • 首届上合组织国家电影节 “冷门”电影集中亮相 观众大饱眼福 2019-03-28
  • 紫光阁中共中央国家机关工作委员会 2019-03-27
  • 常说两种语言可防老年痴呆 2019-03-15
  • 【聚焦军博会】216个代表团2037个项目将亮相军博会 11大军工集团全部参展 2019-03-15
  • [中国新闻]韩朝军方商定重启陆海军事通信渠道 2019-03-07
  • 第十三届全国人民代表大会常务委员会委员长简历 2019-03-01
  • 乌兰察布(北京)招商路演会 2019-02-28
  • 降电价,还有哪些空间(聚焦高质量发展·降低企业用能成本④) 2019-02-28
  • 《古汉字发展论》简介 2019-02-10
  • 推动生态文明建设迈上新台阶——全国生态环境保护大会释放四大新信号 2019-01-25
  • 回复@老老保老张工:你跟你老婆害羞要不要也上报呢?也许正好会安排任务哟。 2018-11-17
  • 综合技术

    湖南动物总动员开奖结:Achieving Safety Incrementally with Checked C

    湖南快乐十分每天期数 www.91zhb.com 微信扫一扫,分享到朋友圈

    Achieving Safety Incrementally with Checked C
    0

    Achieving Safety Incrementally with Checked C
    . Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, and Michael Hicks. In Proceedings of the Symposium on Principles of Security and Trust (POST)
    , April 2019.

    Checked C is a new effort working toward a memory-safe C. Its design
    is distinguished from that of prior efforts by truly being an extension
    of C: Every C program is also a Checked C
    program. Thus, one may make incremental safety improvements to
    existing codebases while retaining backward compatibility. This
    paper makes two contributions. First, to help developers convert
    existing C code to use so-called checked
    (i.e., safe)
    pointers, we have developed a preliminary, automated porting tool. Notably, this
    tool takes advantage of the flexibility of Checked C’s design: The
    tool need not perfectly classify every pointer, as required of prior
    all-or-nothing efforts. Rather, it can make a best effort to convert
    more pointers accurately, without letting inaccuracies inhibit
    compilation. However, such partial conversion raises the question:
    If safety violations can still occur, what sort of advantage does
    using Checked C provide? We draw inspiration from research on
    migratory typing to make our second contribution: We prove a blame
    property that renders so-called checked regions
    blameless of any run-time failure. We formalize this property for a
    core calculus and mechanize the proof in Coq.

    [.pdf ]

    @INPROCEEDINGS{ruef18checkedc-incr,
      AUTHOR = {Andrew Ruef and Leonidas Lampropoulos and Ian Sweet and David Tarditi and Michael Hicks},
      TITLE = {Achieving Safety Incrementally with Checked C},
      BOOKTITLE = {Proceedings of the Symposium on Principles of Security and Trust (POST)},
      MONTH = APR,
      YEAR = 2019
    }


    This file has been generated by bibtex2html
    1.69

    阅读原文...

    Hacker News

    Open-sourcing Sandboxed API

    上一篇

    Selling Your Boss on the Value of Database Automation

    下一篇

    评论已经被关闭。

    插入图片

    热门分类

    往期推荐

    Achieving Safety Incrementally with Checked C

    长按储存图像,分享给朋友

  • 旅游市场再创佳绩端午假期河北接待游客2026.77万 揽金147.79亿 2019-04-20
  • 一带一路人民币国际化做好分析总结是最重要工作,国际竞争需要 2019-04-05
  • 首届上合组织国家电影节 “冷门”电影集中亮相 观众大饱眼福 2019-03-28
  • 紫光阁中共中央国家机关工作委员会 2019-03-27
  • 常说两种语言可防老年痴呆 2019-03-15
  • 【聚焦军博会】216个代表团2037个项目将亮相军博会 11大军工集团全部参展 2019-03-15
  • [中国新闻]韩朝军方商定重启陆海军事通信渠道 2019-03-07
  • 第十三届全国人民代表大会常务委员会委员长简历 2019-03-01
  • 乌兰察布(北京)招商路演会 2019-02-28
  • 降电价,还有哪些空间(聚焦高质量发展·降低企业用能成本④) 2019-02-28
  • 《古汉字发展论》简介 2019-02-10
  • 推动生态文明建设迈上新台阶——全国生态环境保护大会释放四大新信号 2019-01-25
  • 回复@老老保老张工:你跟你老婆害羞要不要也上报呢?也许正好会安排任务哟。 2018-11-17