Výsledky vyhľadávania - "Static analysis"

Twenty years later: evaluating the adoption of control flow integrity

Autori: Houy, Sabine Bartel, Alexandre

Zdroj: ACM Transactions on Software Engineering and Methodology. 34(4)

Predmety: CFI, memory corruption vulnerabilities, mitigation techniques, software maintenance, static analysis

Popis súboru: electronic

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-239174
https://doi.org/10.1145/3702982

Class Loaders in the Middle: Confusing Android Static Analyzers

Autori: Mineau, Jean-Marie Lalande, Jean-François

Prispievatelia: Mineau, Jean-Marie Lalande, Jean-François

Zdroj: Digital Threats: Research and Practice. 6:1-19

Predmety: code obfuscation, static analysis, Android, class loading, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

Popis súboru: application/pdf

Investigating the Effects of T-Wise Interaction Sampling for Vulnerability Discovery in Highly-Configurable Software Systems

Autori: Tim Bächle Erik Hofmayer Christoph König a ďalší

Zdroj: Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A. :45-56

Predmety: T-Wise Interaction Sampling, Static Analysis, Combinatorial Interaction Testing, Vulnerability Discovery, Software Product Lines

WebScan: A Comprehensive Static and Dynamic Analysis Approach for Web Application Security

Autori: Gündoğdu, Ahmet Eren Guven, Ebu Yusuf İstanbul University Cerrahpaşa Institutional Repository

Prispievatelia: Gündoğdu, Ahmet Eren Guven, Ebu Yusuf İstanbul University Cerrahpaşa Institutional Repository

Zdroj: 2025 12th IFIP International Conference on New Technologies, Mobility and Security (NTMS). :326-329

Predmety: Cybersecurity, Static And Dynamic Analysis, Analysis Approach, Analyze, Static Analysis, Cyber Security, Rapid Growth, Dynamic Analysis, Webscan, Websites, Network Security, Web Applications, Open Systems, Cryptography, Web Application, Web Application Security, Static, Analysis, Open Source Software

Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts

Autori: Luca Olivieri Luca Negrini Vincenzo Arceri a ďalší

Zdroj: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. :338-347

Predmety: Smart Contracts, Delegate Call, Blockchain, Static Analysis, Abstract Interpretation, Cross-contract Invocation, Delegate Call, External Contract Call, Static Analysis, Abstract Interpretation, Blockchain, Distributed ledger technology, Smart Contracts, Distributed ledger technology, Cross-contract Invocation, External Contract Call

Popis súboru: application/pdf

Abstracting Concolic Execution for Soft Contract Verification

Autori: Vandenbogaerde, Bram Stievenart, Quentin De Roover, Coen a ďalší

Prispievatelia: Vandenbogaerde, Bram Stievenart, Quentin De Roover, Coen a ďalší

Predmety: Program Analysis, static analysis, abstract interpretation

Prístupová URL adresa: https://biblio.vub.ac.be/vubir/abstracting-concolic-execution-for-soft-contract-verification(99946e4d-754c-4510-8806-5a3bed2d8491).html

Conditions for Cyclic Attractors for a Class of Discrete n-Dimensional Repressilators

Autori: Sun, Honglu Folschette, Maxime Magnin, Morgan a ďalší

Prispievatelia: Sun, Honglu Folschette, Maxime Magnin, Morgan a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783032015693

Predmety: Interaction graph, Repressilators, Discrete regulatory networks, Attractors, Static analysis, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-05236106v1/document
https://doi.org/10.1007/978-3-032-01570-9_10
https://hal.science/hal-05236106v1

♪ With a Little Help from My (LLM) Friends: Enhancing Static Analysis with LLMs to Detect Software Vulnerabilities

Autori: Munson, Amy Gomez, Juanita Cárdenas, Álvaro A

Zdroj: 2025 IEEE/ACM INTERNATIONAL WORKSHOP ON LARGE LANGUAGE MODELS FOR CODE, LLM4CODE. 00

Predmety: 46 Information and Computing Sciences (for-2020), 4604 Cybersecurity and Privacy (for-2020), 4612 Software Engineering (for-2020), static analysis, Large Language Models, vulnerability detection

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/0kj3k9h9
https://escholarship.org/content/qt0kj3k9h9/qt0kj3k9h9.pdf

Multi-Objective Process Optimization for Overpressure Reflow Soldering in Electronics Production

Autori: Esfandyari, Alireza

Predmety: Electrical engineering, Static analysis, Multi-objective optimization, Production, Electronics, Neural network, Reflow soldering, Resource efficiency, Production and industrial engineering

Popis súboru: application/pdf

Relation: FAU Studien aus dem Maschinenbau

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/108224

Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations

Autori: Etemadi, Khashayar Harrand, Nicolas Larsén, Simon a ďalší

Zdroj: IEEE Transactions on Dependable and Secure Computing. 20(4):2794-2810

Predmety: automatic program repair, Codes, Computer bugs, Java, Maintenance engineering, metaprogramming, Software development management, Static analysis, Static code analysis, Syntactics, Codes (symbols), Computer software, Java programming language, Program debugging, Repair, Software design, Trees (mathematics), Automatic programs, Code, Meta Programming, Static analyzers, Static codes

Popis súboru: print

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-323274
https://doi.org/10.1109/TDSC.2022.3167316

Evaluation of pile capacity estimation methods in Bangladesh: A comparative study using static analysis and load tests

Autori: Dey, Sandip Kumar Ansary, Mehedi Ahmed

Zdroj: International Journal of Science and Research Archive. 15:1306-1313

Predmety: Driven piles, Load tests, Bangladesh soils, Bored piles, Pile capacity, Static analysis

Independent front suspension lower control arm design with topology optimization approach for electric light-duty vehicle

Autori: Muhammet Emre Uçak Abdulkadir Cengiz

Zdroj: Volume: 14, Issue: 277-85
International Journal of Automotive Engineering and Technologies

Predmety: Electric Light-Duty Vehicle, Multi-Body Dynamics, Quasistatic Load Types, Structural Static Analysis, Topology Optimization, Taşıt Tekniği ve Dinamiği, Hibrit ve Elektrikli Araçlar ve Güç Aktarma Organları, Hybrid and Electric Vehicles and Powertrains, Vehicle Technique and Dynamics

Popis súboru: application/pdf

Prístupová URL adresa: https://dergipark.org.tr/tr/pub/ijaet/issue/93156/1561823

Comparative Analysis of Input Image Characteristics in Convolutional Neural Network-based Signature Detection

Autori: Adamec, M. Turcanik, M.

Zdroj: Radioengineering, Vol 34, Iss 2, Pp 303-312 (2025)

Predmety: signature detection, CNN malware detection, static analysis, cnn malware detection, Electrical engineering. Electronics. Nuclear engineering, machine code visualization, Signature detection, interpolation, TK1-9971

Popis súboru: text; application/pdf

Prístupová URL adresa: https://doaj.org/article/e185925acac34bd6be71bd2b2c2b773f
https://hdl.handle.net/11012/250924

DİNAMİK YÜKLER ALTINDA FARKLI YÜKSEKLİKTE YAPILARIN KAZIK PERFORMANSININ İNCELENMESİ

Autori: Süleyman Gücek Gülbahar Ünal

Zdroj: Eskişehir Osmangazi Üniversitesi Mühendislik ve Mimarlık Fakültesi Dergisi, Vol 33, Iss 1, Pp 1721-1731 (2025)

Predmety: fem, zemin iyileştirme, static analysis, soil improvement, plaxis, dinamik analiz, statik analiz, dynamic analysis, TA1-2040, Engineering (General). Civil engineering (General), sonlu elemanlar

Prístupová URL adresa: https://doaj.org/article/3004c5c3e071440f8dd11f2e9afb8021

CFL-based methods for approximating interleaved Dyck reachability

Autori: Conrado, Giovanna Kobus Pavlogiannis, Andreas

Zdroj: Conrado, G K & Pavlogiannis, A 2025, 'CFL-based methods for approximating interleaved Dyck reachability', International Journal on Software Tools for Technology Transfer, vol. 27, no. 2, 106135, pp. 255-266. https://doi.org/10.1007/s10009-025-00787-0

Predmety: CFL reachability, Static analysis, Graphs

Prístupová URL adresa: http://www.scopus.com/inward/record.url?scp=105003215344&partnerID=8YFLogxK
https://doi.org/10.1007/s10009-025-00787-0
https://pure.au.dk/portal/en/publications/769a352c-5300-4e04-88ee-5b9d788a2332

Better Architecture, Better Software, Better Research

Autori: Stephan Druskat Nasir U. Eisty Robert Chisholm a ďalší

Zdroj: Computing in Science & Engineering. 27:45-57

Predmety: Maintenance, Software Reliability, Modularity, Number Of Issues, Research Funding, Computer Architecture, Codes, Design Decisions, Software Architecture, End Of The Project, Architectural Traits, Robust Architecture, Training, High Coherence, Complexity Theory, Hardware Architecture, Measurement, Software Maintenance, Testing Coverage, Static Analysis, Software Development, Technology Readiness Level, Software Engineering, Research Software, Complex Systems, Project Management, Architectural Quality, Cognitive Complexity, Architectural Design, Source Code, Software Quality, Design Software, High Coupling, Software Systems, Comprehensive Insight, Open Projects, Software Projects, Software, Design Documents

Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts

Autori: Luca Olivieri Luca Negrini Vincenzo Arceri a ďalší

Zdroj: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. :329-337

Predmety: Smart contracts, Chaincode, Blockchain, Hyperledger Fabric, Distributed Ledger Technology, Static analysis, Abstract interpretation, Read after write, Read-write conflict, Read your write consistency

Popis súboru: application/pdf

Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation

Autori: Berg, Lucas Yernaux, Gonzague Vandeloise, Mikel a ďalší

Prispievatelia: Berg, Lucas Yernaux, Gonzague Vandeloise, Mikel a ďalší

Zdroj: Berg, L, Yernaux, G, Vandeloise, M & Vanhoof, W 2025, Manim-DFA : Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation. in B du Boulay, T Di Mascio, E Tovar & C Meinel (eds), Proceedings of the 17th International Conference on Computer Supported Education, CSEDU 2025 : CSEDU. vol. 1, International Conference on Computer Supported Education, CSEDU-Proceedings, vol. 1, SciTePress, pp. 604-611. https://doi.org/10.5220/0013472000003932

Predmety: Abstract Interpretation, Static Analysis, Video Generation, Data Flow Analysis, Visual Learning

Popis súboru: application/pdf

Prístupová URL adresa: https://researchportal.unamur.be/en/publications/5a086f8b-d05c-4f93-b10a-fde6546a5454
https://doi.org/10.5220/0013472000003932
https://pure.unamur.be/ws/files/108435778/2025CSEDU_Manim-DFA.pdf

Seismic Improvement of LSF Structures during Nonlinear Static and Spectral Dynamic Analyses

Autori: Masoud Mahdavi Saeedeh Ghaemifard

Zdroj: Advances in Civil Engineering and Environmental Science, Vol 3, Iss 1, Pp 9-21 (2025)

Predmety: lsf structure, steel brace, nonlinear static analysis, spectral dynamic analysis, seismic performance, Engineering (General). Civil engineering (General), TA1-2040

Popis súboru: electronic resource

Relation: https://www.aceesjr.com/article_230218_c892810927c7e277b240d31527431bd0.pdf; https://doaj.org/toc/3060-6780

Prístupová URL adresa: https://doaj.org/article/221316233a954830b88cb7463382f67c

Accelerating firmware vulnerability detection through directed reaching definition analysis

Autori: Kai Chen Yufei Zhao Jing Guo a ďalší

Zdroj: ICT Express, Vol 11, Iss 5, Pp 951-956 (2025)

Predmety: Directed fuzz, Reaching definition, Static analysis, Firmware vulnerability detection, Information technology, T58.5-58.64

Popis súboru: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2405959525000700; https://doaj.org/toc/2405-9595

Prístupová URL adresa: https://doaj.org/article/408369dd115547e6ae42eff0bfe3c2df