• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>RSTI >Analyse statique par interprétation abstraite
【24h】

Analyse statique par interprétation abstraite

机译：通过抽象解释进行静态分析

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Abstract interpretation was introduced as a generic framework, which allows to formalize, derive and prove static analyses, which are based on conservative approximation, that is, which are able to establish a fixed property for a subset of the programs which actually satisfy it. First, we provide a step by step description of the main steps in the design of such analyses, from the choice of a model for the programs to study, to the formalization of the analysis algorithm, including the choice of a set of predicates to use for the analysis. Then, we present a panel of recent applications of these techniques to various areas of computer science.%L'interprétation abstraite a été proposée comme un cadre générique permettant de formaliser, dériver et prouver des analyses statiques par approximation conservative, c 'est-à-dire capables de démontrer une propriété donnée pour un sous-ensemble des programmes vérifiant celle-ci. Tout d'abord, nous décrivons pas à pas les principales étapes dans la conception de telles analyses, du choix d'un modèle des programmes à étudier à la formalisation des algorithmes d'analyse, en passant par le choix d'un ensemble de prédicats à utiliser. Ensuite, nous présentons quelques applications récentes de ces techniques, dans divers domaines de l'informatique.
机译：摘要解释是作为通用框架引入的，它允许形式化，派生和证明基于保守近似的静态分析，也就是说，它能够为实际上满足它的程序的子集建立固定属性。首先，我们逐步设计了此类分析的主要步骤，从选择要研究的程序的模型到分析算法的形式化，包括选择要使用的谓词集进行分析。然后，我们介绍了这些技术在计算机科学各个领域的最新应用。目前，已提出抽象解释作为一种通用框架，允许通过保守近似来形式化，推导和证明静态分析，即-说能够证明验证它的程序的子集的给定属性。首先，我们逐步描述此类分析设计的主要步骤，从选择要研究的程序模型到分析算法的形式化，再到选择谓词。采用。然后，我们介绍了这些技术在计算机科学各个领域中的一些最新应用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号