TypeDevil addresses the problem that dynamic languages, such as JavaScript, allow developers to ignore types, which is a common source of programming errors. The approach is a mostly dynamic analysis that observes types during an execution and warns developers about inconsistencies. Applying TypeDevil to widely used benchmark suites and real-world web applications reveals 15 problematic type inconsistencies, including correctness problems, performance problems, and dangerous coding practices.

 

Detailed information:

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

 * Video of a talk on TypeDevil:

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

 * Project homepage:

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

show all news