Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper) -- Extended Report
Fuente:
arXiv
Salvato in:
| Autori principali: | Shen, Mingjie, Pillai, Akul Abhilash, Yuan, Brian A., Davis, James C., Machiry, Aravind |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)
di: Sharma, Ayushi, et al.
Pubblicazione: (2023)
di: Sharma, Ayushi, et al.
Pubblicazione: (2023)
Scalable Thread-Safety Analysis of Java Classes with CodeQL
di: Jåtten, Bjørnar Haugstad, et al.
Pubblicazione: (2025)
di: Jåtten, Bjørnar Haugstad, et al.
Pubblicazione: (2025)
Longitudinal Analyses of SAST Tools: A CodeQL Case Study
di: Ferrand, Jean-Charles Noirot, et al.
Pubblicazione: (2026)
di: Ferrand, Jean-Charles Noirot, et al.
Pubblicazione: (2026)
Longitudinal Analyses of Static Analysis Tools: A CodeQL Case Study
di: Anonymous, Anonymous
Pubblicazione: (2026)
di: Anonymous, Anonymous
Pubblicazione: (2026)
LEMIX: Enabling Testing of Embedded Applications as Linux Applications (Extended Report)
di: Tanksalkar, Sai Ritvik, et al.
Pubblicazione: (2025)
di: Tanksalkar, Sai Ritvik, et al.
Pubblicazione: (2025)
Paradoxes of Openness and Trans Experiences in Open Source Software
di: Frluckaj, Hana, et al.
Pubblicazione: (2024)
di: Frluckaj, Hana, et al.
Pubblicazione: (2024)
Patch2QL: Discover Cognate Defects in Open Source Software Supply Chain With Auto-generated Static Analysis Rules
di: Wang, Fuwei, et al.
Pubblicazione: (2024)
di: Wang, Fuwei, et al.
Pubblicazione: (2024)
Teaching Energy-Efficient Software -- An Experience Report
di: Christensen, Henrik Bærbak, et al.
Pubblicazione: (2025)
di: Christensen, Henrik Bærbak, et al.
Pubblicazione: (2025)
Project Life Cycles in Open-Source Software
di: Das, Sanjiv, et al.
Pubblicazione: (2026)
di: Das, Sanjiv, et al.
Pubblicazione: (2026)
Accountability in Open Source Software Ecosystems: Workshop Report
di: Sharma, Nandini, et al.
Pubblicazione: (2026)
di: Sharma, Nandini, et al.
Pubblicazione: (2026)
Reactive Bottom-Up Testing
di: Muralee, Siddharth, et al.
Pubblicazione: (2025)
di: Muralee, Siddharth, et al.
Pubblicazione: (2025)
Speed Kills: Exploring Confused Deputy Attacks Through Edge AI Accelerators
di: Danduri, Datta Manikanta Sri Hari, et al.
Pubblicazione: (2026)
di: Danduri, Datta Manikanta Sri Hari, et al.
Pubblicazione: (2026)
Precision Guided Approach to Mitigate Data Poisoning Attacks in Federated Learning
di: Kumar, K Naveen, et al.
Pubblicazione: (2024)
di: Kumar, K Naveen, et al.
Pubblicazione: (2024)
On the effectiveness of Large Language Models for GitHub Workflows
di: Zhang, Xinyu, et al.
Pubblicazione: (2024)
di: Zhang, Xinyu, et al.
Pubblicazione: (2024)
An Empirical Study of Policy-as-Code Adoption in Open-Source Software Projects
di: Foalem, Patrick Loic, et al.
Pubblicazione: (2026)
di: Foalem, Patrick Loic, et al.
Pubblicazione: (2026)
Context Before Code: An Experience Report on Vibe Coding in Practice
di: Shuvo, Md Nasir Uddin, et al.
Pubblicazione: (2026)
di: Shuvo, Md Nasir Uddin, et al.
Pubblicazione: (2026)
Experiences Using an Open Source Software Library to Teach Computer Vision Subjects
di: Cazorla, Miguel, et al.
Pubblicazione: (2015)
di: Cazorla, Miguel, et al.
Pubblicazione: (2015)
A Course on the Introduction to Quantum Software Engineering: Experience Report
di: Miranskyy, Andriy
Pubblicazione: (2026)
di: Miranskyy, Andriy
Pubblicazione: (2026)
Using Generative AI in Software Design Education: An Experience Report
di: Jackson, Victoria, et al.
Pubblicazione: (2025)
di: Jackson, Victoria, et al.
Pubblicazione: (2025)
Large Language Models for Software Testing Education: an Experience Report
di: Yang, Peng, et al.
Pubblicazione: (2026)
di: Yang, Peng, et al.
Pubblicazione: (2026)
CROSS: A Contributor-Project Interaction Lifecycle Model for Open Source Software
di: Dey, Tapajit, et al.
Pubblicazione: (2024)
di: Dey, Tapajit, et al.
Pubblicazione: (2024)
ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
di: Amusuo, Paschal C., et al.
Pubblicazione: (2023)
di: Amusuo, Paschal C., et al.
Pubblicazione: (2023)
Staff Experiences With Electronic Initial Case Reports for Birth Defects Surveillance in Texas
di: Alexandra Koops, et al.
Pubblicazione: (2025)
di: Alexandra Koops, et al.
Pubblicazione: (2025)
Measuring Software Development Waste in Open-Source Software Projects
di: Varanasi, Dhiraj SM, et al.
Pubblicazione: (2024)
di: Varanasi, Dhiraj SM, et al.
Pubblicazione: (2024)
Automated Bug Report Prioritization in Large Open-Source Projects
di: Pierson, Riley, et al.
Pubblicazione: (2025)
di: Pierson, Riley, et al.
Pubblicazione: (2025)
supplimentary material for "Large Language Models for Software Testing Education: An Experience Report"
di: anonymous
Pubblicazione: (2026)
di: anonymous
Pubblicazione: (2026)
Developing and Sustaining a Student-Driven Software Solutions Center -- An Experience Report
di: Popoola, Saheed, et al.
Pubblicazione: (2024)
di: Popoola, Saheed, et al.
Pubblicazione: (2024)
Potentials of Green Coding -- Findings and Recommendations for Industry, Education and Science -- Extended Paper
di: Junger, Dennis, et al.
Pubblicazione: (2024)
di: Junger, Dennis, et al.
Pubblicazione: (2024)
Community Engagement and the Lifespan of Open-Source Software Projects
di: Kaushik, Mohit, et al.
Pubblicazione: (2025)
di: Kaushik, Mohit, et al.
Pubblicazione: (2025)
Mining Quantum Software Patterns in Open-Source Projects
di: Ramalho, Neilson Carlos Leite, et al.
Pubblicazione: (2026)
di: Ramalho, Neilson Carlos Leite, et al.
Pubblicazione: (2026)
Experiences Applying Lean R&D in Industry-Academia Collaboration Projects
di: Kalinowski, Marcos, et al.
Pubblicazione: (2025)
di: Kalinowski, Marcos, et al.
Pubblicazione: (2025)
On Categorizing Open Source Software Security Vulnerability Reporting Mechanisms on GitHub
di: Kancharoendee, Sushawapak, et al.
Pubblicazione: (2025)
di: Kancharoendee, Sushawapak, et al.
Pubblicazione: (2025)
Winsor, Dewey, and Putnam: The Boston Experience. Occasional Papers.
di: Davis, Donald G., Jr., et al.
Pubblicazione: (2002)
di: Davis, Donald G., Jr., et al.
Pubblicazione: (2002)
The Tennessee Outreach Project for Children and Youth Experiencing Dual Sensory Impairments (Project TREDS). Final Report.
di: Fisher, Joseph, et al.
Pubblicazione: (1995)
di: Fisher, Joseph, et al.
Pubblicazione: (1995)
Automated Code Review Using Large Language Models at Ericsson: An Experience Report
di: Ramesh, Shweta, et al.
Pubblicazione: (2025)
di: Ramesh, Shweta, et al.
Pubblicazione: (2025)
Software Dependencies 2.0: An Empirical Study of Reuse and Integration of Pre-Trained Models in Open-Source Projects
di: Yasmin, Jerin, et al.
Pubblicazione: (2025)
di: Yasmin, Jerin, et al.
Pubblicazione: (2025)
Quantifying Competitive Relationships Among Open-Source Software Projects
di: Takei, Yuki, et al.
Pubblicazione: (2026)
di: Takei, Yuki, et al.
Pubblicazione: (2026)
Leveraging Open-Source Large Language Models for encoding Social Determinants of Health using an Intelligent Router
di: Goel, Akul, et al.
Pubblicazione: (2024)
di: Goel, Akul, et al.
Pubblicazione: (2024)
A Work Experience Video Tape Satellite Project for EMR Students. Final Report.
di: Caci, William P.
Pubblicazione: (1977)
di: Caci, William P.
Pubblicazione: (1977)
Embedding Attack Project (Work Report)
di: Pu, Jiameng, et al.
Pubblicazione: (2024)
di: Pu, Jiameng, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)
di: Sharma, Ayushi, et al.
Pubblicazione: (2023) -
Scalable Thread-Safety Analysis of Java Classes with CodeQL
di: Jåtten, Bjørnar Haugstad, et al.
Pubblicazione: (2025) -
Longitudinal Analyses of SAST Tools: A CodeQL Case Study
di: Ferrand, Jean-Charles Noirot, et al.
Pubblicazione: (2026) -
Longitudinal Analyses of Static Analysis Tools: A CodeQL Case Study
di: Anonymous, Anonymous
Pubblicazione: (2026) -
LEMIX: Enabling Testing of Embedded Applications as Linux Applications (Extended Report)
di: Tanksalkar, Sai Ritvik, et al.
Pubblicazione: (2025)