xWIDL: modular and deep JavaScript API misuses checking based on extended WebIDL
暂无分享,去创建一个
[1] Ali Mesbah,et al. An Empirical Study of Client-Side JavaScript Bugs , 2013, 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement.
[2] Ben Hardekopf,et al. JSAI: a static analysis platform for JavaScript , 2014, SIGSOFT FSE.
[3] K. Rustan M. Leino,et al. Dafny: An Automatic Program Verifier for Functional Correctness , 2010, LPAR.
[4] Sukyoung Ryu,et al. SAFEWAPI: web API misuse detector for web applications , 2014, SIGSOFT FSE.
[5] Benjamin S. Lerner,et al. Web API Verification : Results and Challenges , 2012 .
[6] Magnus Madsen,et al. Modeling the HTML DOM and browser API in static analysis of JavaScript web applications , 2011, ESEC/FSE '11.
[7] Peter Thiemann,et al. Type Analysis for JavaScript , 2009, SAS.
[8] Sukyoung Ryu,et al. SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript , 2012 .