Skip to main content
SpringerLink
Log in

Static Analysis of Large-Scale JavaScript Front End

  • Conference paper
  • First Online:
Web Engineering (ICWE 2021)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 12706))

Included in the following conference series:

Abstract

In modern web applications, the elaborate GUI of the front end is often developed with large-scale JavaScript frameworks. In such systems, the behavior of one HTML element is usually defined by code in different JavaScript functions scattered all over the source files, and a piece of code may also have influence on other functions and variables all over the source files. Therefore, the data and control flow of the front end may be hard to follow. We propose an automated approach to integrate the overall data and control flow of the front end into an overview model, which then provides us with an excellent starting point to application of formal methods to prove the correctness of the front end. Our approach is hence helpful for comprehension of the front end code and validation of its correctness.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Almashfi, N., Lu, L.: Code smell detection tool for Java Script programs. In: Proceedings of the 5th International Conference on Computer and Communication Systems (ICCCS 2020), pp. 172–176. IEEE (2020)

    Google Scholar 

  2. Facebook: React - A JavaScript Library for Building User Interfaces. https://reactjs.org. Accessed 21 Feb 2021

  3. Google: Angular - The Modern Web Developer’s Platform. https://angular.io. Accessed 17 Feb 2021

  4. Jensen, S.H., Madsen, M., Møller, A.: Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. In: Proceedings of the 19th ACM SIGSOFT Symposium Foundations of Software Engineering and 13th European Software Engineering Conference (FSE/ESEC 2011), pp. 59–69. ACM (2011)

    Google Scholar 

  5. Karakochev, A.: Automatic interaction diagram generation of Vue.js-based web applications. Master’s thesis, Hochschule für Technik und Wirtschaft Berlin (2021)

    Google Scholar 

  6. Lamport, L.: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Boston (2003)

    Google Scholar 

  7. Liu, Y.: JSOptimizer: an extensible framework for JavaScript program optimization. In: Proceedings of the 41st International Conference on Software Engineering Companion, pp. 168–170. IEEE (2019)

    Google Scholar 

  8. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  9. OpenJS Foundation: ESLint - Pluggable JavaScript linter. https://eslint.org. Accessed 18 Feb 2021

  10. Park, J., Ryou, Y., Park, J., Ryu, S.: Analysis of JavaScript web applications using SAFE 2.0. In: Proceedings of the 39th International Conference on Software Engineering Companion, pp. 59–62. IEEE (2017)

    Google Scholar 

  11. Park, J., Jordan, A., Ryu, S.: Automatic modeling of opaque code for JavaScript static analysis. In: Hähnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 43–60. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-16722-6_3

    Chapter  Google Scholar 

  12. Sampaio, G., Fragoso Santos, J., Maksimović, P., Gardner, P.: A trusted infrastructure for symbolic analysis of event-driven web applications. In: 34th European Conference on Object-Oriented Programming (ECOOP 2020). LIPIcs, vol. 166, pp. 28:1–28:29. Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2020)

    Google Scholar 

  13. Sotiropoulos, T., Livshits, B.: Static analysis for asynchronous JavaScript programs. In: Donaldson, A.F. (ed.) 33rd European Conference on Object-Oriented Programming, (ECOOP 2019). LIPIcs, vol. 134, pp. 8:1–8:30. Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2019)

    Google Scholar 

  14. Sridharan, M., Dolby, J., Chandra, S., Schäfer, M., Tip, F.: Correlation tracking for points-to analysis of JavaScript. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol. 7313, pp. 435–458. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31057-7_20

    Chapter  Google Scholar 

  15. Sun, K., Ryu, S.: Analysis of JavaScript programs: challenges and research trends. ACM Comput. Surv. 50(4), 59:1–59:34 (2017)

    Google Scholar 

  16. You, E.: Vue.js - The Progressive JavaScript Framework. https://vuejs.org. Accessed 18 Feb 2021

  17. Zhang, G.: Specifying and model checking workflows of single page applications with TLA+. In: IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 406–410. IEEE (2020)

    Google Scholar 

  18. Zhang, G., Zhao, J.: Scenario testing of AngularJS-based single page web applications. In: Brambilla, M., Cappiello, C., Ow, S.H. (eds.) ICWE 2019. LNCS, vol. 11609, pp. 91–103. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-51253-8_10

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hochschule für Technik und Wirtschaft Berlin, Berlin, Germany

    Anton Karakochev & Gefei Zhang

Authors
  1. Anton Karakochev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gefei Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Anton Karakochev .

Editor information

Editors and Affiliations

  1. Dipartimento di Elettronica, Politecnico di Milano, Milan, Italy

    Marco Brambilla

  2. E2S UPPA, LIUPPA, Université de Pau et des Pays de l’Adour, Anglet, France

    Richard Chbeir

  3. Econometric Institute, Erasmus University Rotterdam, Rotterdam, The Netherlands

    Flavius Frasincar

  4. Inria Saclay-Île-de-France, Institut Polytechnique de Paris, Palaiseau, France

    Ioana Manolescu

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Karakochev, A., Zhang, G. (2021). Static Analysis of Large-Scale JavaScript Front End. In: Brambilla, M., Chbeir, R., Frasincar, F., Manolescu, I. (eds) Web Engineering. ICWE 2021. Lecture Notes in Computer Science(), vol 12706. Springer, Cham. https://doi.org/10.1007/978-3-030-74296-6_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-74296-6_36

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-74295-9

  • Online ISBN: 978-3-030-74296-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation