Cadre algébrique pour l'analyse de programmes informatiques

信息程序分析代数干部

• 批准号: 298248-2010
• 负责人: Ktari, Béchir
• 金额: $ 1.09万
• 依托单位: Université Laval
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2010
• 资助国家: 加拿大
• 起止时间: 2010-01-01 至 2011-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=456783
• 关键词: Cadre; alg; brique; pour; analyse

L'analyse de programmes est un domaine de l'informatique dans lequel on vise à produire des outils automatiques et semi-automatiques qui permettent d'avoir une meilleure compréhension de ce que fait un code. Par exemple, grâce à l'analyse de programmes, il est possible de vérifier qu'un programme est conforme à une politique donnée, de vérifier qu'une version optimisée ou obscurcie d'un programme est sémantiquement équivalente à sa version originale, et d'instrumenter un programme par insertion ou modification de code pour contraindre son comportement à être conforme à une politique. Dans le contexte actuel, où de plus en plus de logiciels sont distribués et mis à jour par Internet, il est nécessaire de disposer de tels outils afin d'analyser les programmes avant qu'ils ne soient installés sur nos machines, et ultimement, de «corriger» leur comportement pour les contraindre à respecter nos politiques.

程序分析是一个信息化领域，它通过自动化和半自动化的方式来实现，从而使代码具有更好的综合性。同样，通过对程序的分析，可以验证一个程序是否符合一个政策，验证一个程序的优化或模糊版本是否与原来的版本相同，并通过插入或修改代码来控制程序是否符合一个政策。在实际情况下，通过互联网分发和分发的数据和逻辑数据，必须在没有在我们的机器上安装程序之前处理这些数据和分析程序，并最终完成“更正”程序，以遵守我们的政治规定。