Suchergebnisse - Verification Keywords JavaScript Analysis

JSAI: A Static Analysis Platform for JavaScript

Autoren: Vineeth Kashyap Kyle Dewey Ethan A. Kuefner et al.

Weitere Verfasser: Vineeth Kashyap Kyle Dewey Ethan A. Kuefner et al.

Quelle: http://www.cs.ucsb.edu/%7Ebenh/research/papers/kashyap14jsai.pdf.

Schlagwörter: F.3.2 [Semantics of Programming Languages, Pro- gram analysis General Terms Languages, Algorithms, Verification Keywords JavaScript Analysis, Abstract Interpretation

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.3239; http://www.cs.ucsb.edu/%7Ebenh/research/papers/kashyap14jsai.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.3239
http://www.cs.ucsb.edu/%7Ebenh/research/papers/kashyap14jsai.pdf

Jalangi: A selective record-replay and dynamic analysis framework for JavaScript

Autoren: Koushik Sen Swaroop Kalasapur Tasneem Brutch et al.

Weitere Verfasser: Koushik Sen Swaroop Kalasapur Tasneem Brutch et al.

Quelle: http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— symbolic execution, testing tools General Terms Verification Keywords JavaScript, Dynamic Analysis, Concolic Testing

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073; http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073
http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf

Efficient dynamic access analysis using JavaScript proxies

Autoren: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Quelle: http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/techrep2013-proxy.pdf.

Schlagwörter: ERATING SYSTEMS, Security and Protection—Access controls General Terms Design, Languages, Security, Verification Keywords Access Permission Contracts, JavaScript, Proxies

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.5715

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.5715
http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/techrep2013-proxy.pdf

Staged information flow for JavaScript

Autoren: Ravi Chugh Jeffrey A. Meister Ranjit Jhala et al.

Weitere Verfasser: Ravi Chugh Jeffrey A. Meister Ranjit Jhala et al.

Quelle: http://cseweb.ucsd.edu/%7Erchugh/research/pldi09-sif.pdf.

Schlagwörter: – Program analysis General Terms Languages, Reliability, Verification Keywords Set Constraints, Flow Analysis, Web Applications, Confidentiality, Integrity

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.1627

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.1627
http://cseweb.ucsd.edu/%7Erchugh/research/pldi09-sif.pdf

Hybrid Analysis for JavaScript Security Assessment

Autoren: Omri Weisman The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Omri Weisman The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.tau.ac.il/~omertrip/fse11/paper.pdf.

Schlagwörter: General Terms Algorithms, Security, Verification. Keywords Web application security, cross-site scripting, JavaScript, blackbox, static analysis, hybrid analysis

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.417.3902; http://www.cs.tau.ac.il/~omertrip/fse11/paper.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.417.3902
http://www.cs.tau.ac.il/~omertrip/fse11/paper.pdf

Efficient Dynamic Access Analysis Using JavaScript Proxies

Autoren: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Matthias Keil Peter Thiemann The Pennsylvania State University CiteSeerX Archives

Quelle: http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/dls2013-proxy.pdf.

Schlagwörter: ERATING SYSTEMS, Security and Protection—Access controls General Terms Design, Languages, Security, Verification Keywords Access Permission Contracts, JavaScript, Proxies

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.1920

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.678.1920
http://www2.informatik.uni-freiburg.de/%7Ekeilr/papers/dls2013-proxy.pdf

NEXT-GEN ENTERPRISE BI: A STRATEGIC GUIDE TO AI-INFUSED REPORTING SOLUTIONS.

Autoren: MARAPATLA, PENTA RAO

Quelle: TPM: Testing, Psychometrics, Methodology in Applied Psychology; 2025 Supplement, Vol. 32, p248-262, 15p

Android 应用程序防抓包技术与取证方法. (Chinese)

Alternate Title: Anti-packet Capture Technology and Forensic Methods for Android Applications. (English)

Autoren: 李佳斌 俞浩淼 毛家昊 et al.

Quelle: Forensic Science & Technology; Dec2025, Vol. 50 Issue 6, p643-649, 7p

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoren: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Schlagworte: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Schlagworte: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

BUGSJS: a benchmark and taxonomy of JavaScript bugs.

Autoren: Gyimesi, Péter Vancsics, Béla Stocco, Andrea et al.

Quelle: Software Testing: Verification & Reliability; Jun2021, Vol. 31 Issue 4, p1-38, 38p

Schlagwörter: JAVASCRIPT programming language, TAXONOMY, COMPUTER software testing, PROGRAMMING languages

Firma/Körperschaft: JOHN Wiley & Sons Inc.

GeoJSEval: An Automated Evaluation Framework for Large Language Models on JavaScript-Based Geospatial Computation and Visualization Code Generation.

Autoren: Chen, Guanyu Jiao, Haoyue Hou, Shuyang et al.

Quelle: ISPRS International Journal of Geo-Information; Oct2025, Vol. 14 Issue 10, p382, 43p

Schlagwörter: GEOGRAPHIC spatial analysis, EVALUATION methodology, LANGUAGE models, SEMANTIC computing, JAVASCRIPT programming language, CODE generators

VeriFlow: A Framework for the Static Verification of Web Application Access Control via Policy-Graph Consistency.

Autoren: Zhang, Tao Hao, Fuzhong Wang, Yunfan et al.

Quelle: Electronics (2079-9292); Sep2025, Vol. 14 Issue 18, p3742, 25p

Schlagwörter: ACCESS control, WEB-based user interfaces, COMPUTER access control software, RISK assessment

Demystifying React Native Android Apps for Static Analysis.

Autoren: Liu, Yonghui Chen, Xiao Liu, Pei et al.

Quelle: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-33, 33p

Schlagwörter: MOBILE app development, JAVASCRIPT programming language, COMPILERS (Computer programs)

Advancing Software Reliability Through Systematic API Testing: A Comparative Analysis of Modern Automation Frameworks and Methodological Implications for Distributed Systems.

Autoren: Nagineni, Srihari

Quelle: Journal of Computer Science & Technology Studies; 2025, Vol. 7 Issue 8, p798-805, 8p

Schlagwörter: SOFTWARE reliability, ORGANIZATIONAL commitment, DISTRIBUTED computing, CHECKS, TRUST

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Autoren: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. et al.

Quelle: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p

Schlagwörter: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

Deep Learning and Remote‐Sensed Observations Reveal Global Underestimation of River Obstructions.

Autoren: He, Mingxia Niu, Jie Riley, William J. et al.

Quelle: Water Resources Research; Sep2025, Vol. 61 Issue 9, p1-22, 22p

Schlagwörter: DEEP learning, REMOTE sensing, RIVER engineering, HYDROLOGIC models, SPATIAL arrangement, ENVIRONMENTAL monitoring, AQUATIC ecology, QUANTITATIVE research

Integrated Biometric Signature Verification: A Hybrid Framework for Digital and Physical Signature Authentication.

Autoren: AKALIN, Zeynep GÜRBÜZ, Fatih Mehmet ŞENMEMIŞ, Hasan et al.

Quelle: Dicle University Journal of Engineering / Dicle Üniversitesi Mühendislik Dergisi; eyl2025, Vol. 16 Issue 3, p611-623, 13p

MoVer: Motion Verification for Motion Graphics Animations.

Autoren: MA, JIAJU AGRAWALA, MANEESH

Quelle: ACM Transactions on Graphics; Aug2025, Vol. 44 Issue 4, p1-17, 17p

Schlagwörter: SPATIOTEMPORAL processes, FIRST-order logic, MOTION analysis, ANIMATION (Cinematography), MODELING languages (Computer science), COMPUTER-generated imagery

Methodologies for Data Collection and Analysis of Dark Web Forum Content: A Systematic Literature Review.

Autoren: de-Marcos, Luis Medina-Merodio, José-Amelio Stapic, Zlatko

Quelle: Electronics (2079-9292); Nov2025, Vol. 14 Issue 21, p4191, 23p

Schlagwörter: MACHINE learning, NATURAL language processing, ACQUISITION of data, SOCIAL network analysis, INFORMATION technology, INTERNET security