Výsledky vyhľadávania - Verification Keywords JavaScript Analysis~

JSAI: A Static Analysis Platform for JavaScript

Autori: Vineeth Kashyap Kyle Dewey Ethan A. Kuefner a ďalší

Prispievatelia: Vineeth Kashyap Kyle Dewey Ethan A. Kuefner a ďalší

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

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

Popis súboru: 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

Dostupnosť: 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

Autori: Koushik Sen Swaroop Kalasapur Tasneem Brutch a ďalší

Prispievatelia: Koushik Sen Swaroop Kalasapur Tasneem Brutch a ďalší

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

Predmety: 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

Popis súboru: 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

Dostupnosť: 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

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

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

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: Ravi Chugh Jeffrey A. Meister Ranjit Jhala a ďalší

Prispievatelia: Ravi Chugh Jeffrey A. Meister Ranjit Jhala a ďalší

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: Omri Weisman The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Omri Weisman The Pennsylvania State University CiteSeerX Archives

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

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

Popis súboru: 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

Dostupnosť: 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

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

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

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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.

Autori: MARAPATLA, PENTA RAO

Zdroj: 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)

Autori: 李佳斌 俞浩淼 毛家昊 a ďalší

Zdroj: 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

Autori: Arie Gurfinkel Marijn Heule

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

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

Kategórie: 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.

Autori: Gyimesi, Péter Vancsics, Béla Stocco, Andrea a ďalší

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

Predmety: JAVASCRIPT programming language, TAXONOMY, COMPUTER software testing, PROGRAMMING languages

Korporácia: JOHN Wiley & Sons Inc.

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

Autori: Chen, Guanyu Jiao, Haoyue Hou, Shuyang a ďalší

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

Predmety: 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.

Autori: Zhang, Tao Hao, Fuzhong Wang, Yunfan a ďalší

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

Predmety: ACCESS control, WEB-based user interfaces, COMPUTER access control software, RISK assessment

Demystifying React Native Android Apps for Static Analysis.

Autori: Liu, Yonghui Chen, Xiao Liu, Pei a ďalší

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

Predmety: 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.

Autori: Nagineni, Srihari

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

Predmety: SOFTWARE reliability, ORGANIZATIONAL commitment, DISTRIBUTED computing, CHECKS, TRUST

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Autori: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. a ďalší

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

Predmety: 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.

Autori: He, Mingxia Niu, Jie Riley, William J. a ďalší

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

Predmety: 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.

Autori: AKALIN, Zeynep GÜRBÜZ, Fatih Mehmet ŞENMEMIŞ, Hasan a ďalší

Zdroj: 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.

Autori: MA, JIAJU AGRAWALA, MANEESH

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

Predmety: 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.

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

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

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