• Jun 03, 2019 News!Vol.9, No.5-Vol.10, No.3 have been indexed by EI (Inspec).   [Click]
  • Jun 18, 2021 News!Vol.13, No.3 has been published with online version.   [Click]
  • Apr 09, 2021 News!Vol.13, No.2 has been published with online version.   [Click]
General Information
Prof. Wael Badawy
Department of Computing and Information Systems Umm Al Qura University, Canada
I'm happy to take on the position of editor in chief of IJCTE. We encourage authors to submit papers concerning any branch of computer theory and engineering.
IJCTE 2017 Vol.9(5): 346-350 ISSN: 1793-8201
DOI: 10.7763/IJCTE.2017.V9.1164

Static Checking of Range Assertions in JavaScript Programs

Astrid Younang and Lunjin Lu
Abstract—Abstract—Because of the dynamic nature of JavaScript, an array access operation with a property (index) that is out of its range will not throw an arrayIndexoutOfBound exception, but will silently return the value undefined. This can cause programs to crash or malfunction. This work extends the JavaScript language with range assertions and allows developers to insert them at any program point. Range assertions could help detect such silent arrayIndexoutOfBound exceptions and can be useful for program understanding and debugging. We propose an assertion language that can be used in any JavaScript static analyzer. Assertions are statically checked and possible violations are reported. The experiments on a set of benchmark programs reported a violation that would have been previously unnoticed.

Index Terms—Index Terms—Abstract interpretation, interval domain, JavaScript, range assertions.

Lunjin Lu and Astrid Younang are with the Computer Science and Engineering department at Oakland University in Michigan, USA (e-mail: L2Lu@ oakland.edu, awaindja@oakland.edu).


Cite:Astrid Younang and Lunjin Lu, "Static Checking of Range Assertions in JavaScript Programs," International Journal of Computer Theory and Engineering vol. 9, no. 5, pp. 346-350, 2017.

Copyright © 2008-2021. International Association of Computer Science and Information Technology. All rights reserved.