A semantic integrated development environment

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI:10.1145/2384716.2384724

F. Logozzo, Mike Barnett, Manuel Fähndrich, P. Cousot, R. Cousot

{"title":"A semantic integrated development environment","authors":"F. Logozzo, Mike Barnett, Manuel Fähndrich, P. Cousot, R. Cousot","doi":"10.1145/2384716.2384724","DOIUrl":null,"url":null,"abstract":"We present SIDE, a Semantic Integrated Development Environment. SIDE uses static analysis to enrich existing IDE features and also adds new features. It augments the way existing compilers find syntactic errors - in real time, as the programmer is writing code without execution - by also finding semantic errors, e.g., arithmetic expressions that may overflow. If it finds an error, it suggests a repair in the form of code - e.g., providing an equivalent yet non-overflowing expression. Repairs are correct by construction. SIDE also enhances code refactoring (by suggesting precise yet general contracts), code review (by answering what-if questions), and code searching (by answering questions like \"find all the callers where x < y\").\n SIDE is built on the top of CodeContracts and the Roslyn CTP. CodeContracts provide a lightweight and programmer-friendly specification language. SIDE uses the abstract interpretation-based CodeContracts static checker (cccheck/Clousot) to obtain a deep semantic understanding of what the program does.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2384716.2384724","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

Abstract

We present SIDE, a Semantic Integrated Development Environment. SIDE uses static analysis to enrich existing IDE features and also adds new features. It augments the way existing compilers find syntactic errors - in real time, as the programmer is writing code without execution - by also finding semantic errors, e.g., arithmetic expressions that may overflow. If it finds an error, it suggests a repair in the form of code - e.g., providing an equivalent yet non-overflowing expression. Repairs are correct by construction. SIDE also enhances code refactoring (by suggesting precise yet general contracts), code review (by answering what-if questions), and code searching (by answering questions like "find all the callers where x < y"). SIDE is built on the top of CodeContracts and the Roslyn CTP. CodeContracts provide a lightweight and programmer-friendly specification language. SIDE uses the abstract interpretation-based CodeContracts static checker (cccheck/Clousot) to obtain a deep semantic understanding of what the program does.

查看原文本刊更多论文

语义集成开发环境

我们提出SIDE，一个语义集成开发环境。SIDE使用静态分析来丰富现有的IDE功能，并添加新功能。它通过发现语义错误(例如，可能溢出的算术表达式)，增强了现有编译器发现语法错误的方式——实时地，因为程序员正在编写没有执行的代码。如果它发现一个错误，它会建议以代码的形式进行修复——例如，提供一个等价但没有溢出的表达式。按结构修理是正确的。SIDE还增强了代码重构(通过建议精确而通用的契约)、代码审查(通过回答假设问题)和代码搜索(通过回答诸如“找到x < y的所有调用者”之类的问题)。SIDE是建立在CodeContracts和Roslyn CTP之上的。CodeContracts提供了一种轻量级的、对程序员友好的规范语言。SIDE使用抽象的基于解释的CodeContracts静态检查器(cccheck/Clousot)来获得对程序所做事情的深刻的语义理解。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity

自引率

0.00%

发文量