Typbasierte Programmanalyse für Skriptsprachen

脚本语言的基于类型的程序分析

• 批准号: 22176865
• 负责人: Professor Dr. Peter Thiemann
• 金额: --
• 依托单位: Institut für Informatik (IIF)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2006
• 资助国家: 德国
• 起止时间: 2005-12-31 至 2012-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/22176865?language=en
• 关键词: Typbasierte; Programmanalyse; Skriptsprachen

Skriptsprachen wie Tcl/Tk, Perl, PHP und JavaScript sind dynamische Programmiersprachen zur schnellen Erstellung von Anwendungen (Skripten) durch Kombination von vorgegebenen Komponenten. Skripte wachsen oft evolutionär aus einem schnell implementierten Kern ohne sorgfältige Planung. Daher ist die Änderung von großen Skripten (d.h., ihre Wartung) schwierig. Ein Teil des Wartungsproblems liegt darin, dass es zwar dedizierte Editoren, Debugger und Testwerkzeuge gibt, nicht aber Werkzeuge zur statischen Analyse von Skripten, mit deren Hilfe gewisse Arten von Fehlern ausgeschlossen werden können. Das vorliegende Projekt ist ein erster Schritt zu einem Werkzeug, das eine statische Typanalyse, ähnlich dem Soft-Typing, für JavaScript durchführt. Ziel des Projekts ist der Aufbau einer Experimentierumgebung zur Erforschung von Techniken der typbasierten Programmanalyse für Skriptsprachen am Beispiel der Sprache JavaScript. Zunächst sollen die theoretischen Grundlagen der Typanalyse für JavaScript erarbeitet werden. Darauf aufbauend soll die Experimentierumgebung einen Rahmen zum Entwurf, der Implementierung und der Evaluation von Algorithmen zur Typanalyse für den vollen Sprachumfang zur Verfügung 3 stellen. In dieser Umgebung wollen wir die erarbeiteten Algorithmen implementieren und die Qualität der resultierenden Analyse an realistischen Beispielprogrammen überprüfen. Anschließend soll die Analyse an den so gefundenen Problemstellen verbessert werden. JavaScript wurde gewählt, da die Sprache weit verbreitet ist und industriell eingesetzt wird.

Skriptsprachen是Tcl/Tk， Perl， PHP和JavaScript开发的动态编程工具，可以将Skriptsprachen zur schnellen Erstellung von Anwendungen （Skripten）组合在一起。脚本wachsen (evolutionär): web脚本wachsen (web脚本wachsen): web脚本wachsen （web脚本实现）：web脚本wachsen （sorgfältige）Daher ist die Änderung von großen Skripten（博士，ihre Wartung） schwierig。在编译器中，调试器和测试器都是编译器，编译器和测试器都是编译器，编译器和测试器都是编译器，编译器和测试器都是编译器，编译器都是编译器。Das vorliegende Projekt ist ein erster Schritt zu einem Werkzeug, Das eine statische Typanalyse， ähnlich dem Soft-Typing, frjavascript durchfhrt。Ziel des projects ist der Aufbau einer experimenterumgebung zerforschung von technken der typbasierten programmananalyze, r Skriptsprachen and Beispiel der sprechnjavascript。Zunächst sollen die theortischen Grundlagen der Typanalyse f<e:1>。[3] [endnoteref: 1] [endnoteref: 1] [endnoteref: 1] [endnoteref: 1] [endnoteref: 1] [endnoteref: 1]在dieser Umgebung wollen wir die erarbeiteen算法实现和die Qualität der resultierenden分析和realistischen Beispielprogrammen <s:2> berpr<e:1> fen。Anschließend soll die analyze and den so gefundenen problemstelen verbessert werden。JavaScript wurde gewählt，并在此基础上建立了verbreitist和industrialingesetzwind。