TypeDevil ist motiviert durch die Tatsache, dass Typen in dynamischen Programmiersprachen wie JavaScript weitestgehend ignoriert werden können, was leider häufig zu Programmierfehlern führt. Unser Ansatz analysiert die Typen eines Programmes zur Laufzeit und warnt Entwickler über Inkonsistenzen. Wir wenden TypeDevil auf weitverbreitete Benchmarks und komplexe Webapplikationen an, in den der Ansatz 15 problematische Typinkonsistenzen findet, wie z.B. inkorrekten und ineffizienten Code.

 

Weitere Informationen:

 * Paper: http://mp.binaervarianz.de/icse2015.pdf

 * Video eines Vortrages zu TypeDevil:

https://air.mozilla.org/typedevil-dynamic-type-inconsistency-analysis-for-javascript/

 * Projektseite:

https://github.com/Berkeley-Correctness-Group/Jalangi-Berkeley/tree/master/src/js/analyses/inconsistentType

* ICSE 2015: http://2015.icse-conferences.org/15-program/88-technical-research-analysis-2

Zur News-Übersicht