Typbasierte Programmanalyse für Skriptsprachen

PERL，PHP和JAVASCRIPT SIND Dynamische ProgrammierSprachen zur Schnellen Erstellung von Anwendungen(Skrigten)Durch Kombination von vorgegebenen Komponenten.斯克里普特·瓦赫森经常在进化论中实现自己的计划。他说：“这是一件非常重要的事情。Ein teil des Wardons问题如Darin，dass es Zwar dedizierte Editoren，Debugger and Testwerkzeuge gibt，Nick ht aber Werkzeuge zur Statischen Analyst von Skrigten，MIT Deren Hilfe Gewitse Arten von Fehlern osgeschlossen Well den können。Das vorliegende Projekt ist ein erster Schritt zu einem Werkzeug，das eine统计类型分析，ähnlich DEM Soft-type，für JavaScript duchführ.Zil des Projekts ist der Aufbau einer Experientierumgebung zur Erforschung von Techniken der Typebasierten Programmanalyse für Skrigtsprachen am Beispiel der Sprache JavaScript.Zunächst Sollen Die Theortischen Grundlagen der Typanalys für JavaScript erarbeitet.达乌夫·乌夫博德·索尔的实验，实现和评估算法3 stellen 3 stellen。给出了一种实现该算法的算法，并对结果进行了定性的分析。Anschlieüend soll die分析了一个洞穴，所以问题就出现了。脚本主义者和实业家都是这样的人。

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.