Cover Image

Scalable Thread-Safety Analysis of Java Classes with CodeQL

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jåtten, Bjørnar Haugstad, Jørgensen, Simon Boye, Petersen, Rasmus, Pardo, Raúl
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper) -- Extended Report
by: Shen, Mingjie, et al.
Published: (2023)

GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption
by: Amareen, Saleh, et al.
Published: (2026)

PrediQL: Automated Testing of GraphQL APIs with LLMs
by: Liu, Shaolun, et al.
Published: (2025)

InsightQL: Advancing Human-Assisted Fuzzing with a Unified Code Database and Parameterized Query Interface
by: Gao, Wentao, et al.
Published: (2025)

Acknowledging Good Java Code with Code Perfumes
by: Straubinger, Philipp, et al.
Published: (2024)

Serializing Java Objects in Plain Code
by: Wachter, Julian, et al.
Published: (2024)

Detection of Technical Debt in Java Source Code
by: Hai, Nam Le, et al.
Published: (2024)

Demystifying and Assessing Code Understandability in Java Decompilation
by: Qin, Ruixin, et al.
Published: (2024)

JC-Finder: Detecting Java Clone-based Third-Party Library by Class-level Tree Analysis
by: Zhao, Lida, et al.
Published: (2025)

JMigBench: A Benchmark for Evaluating LLMs on Source Code Migration (Java 8 to Java 11)
by: Amin, Nishil, et al.
Published: (2026)

jscefr: A Framework to Evaluate the Code Proficiency for JavaScript
by: Ragkhitwetsagul, Chaiyong, et al.
Published: (2024)

GraphQL Adoption and Challenges: Community-Driven Insights from StackOverflow Discussions
by: Amareen, Saleh, et al.
Published: (2024)

Formal Methods Meets Readability: Auto-Documenting JML Java Code
by: Abad, Juan Carlos Recio, et al.
Published: (2025)

Unmasking the Genuine Type Inference Capabilities of LLMs for Java Code Snippets
by: Dong, Yiwen, et al.
Published: (2025)

Generating Accurate OpenAPI Descriptions from Java Source Code
by: Lercher, Alexander, et al.
Published: (2024)

Automated Refactoring of Legacy JavaScript Code to ES6 Modules
by: Paltoglou, Katerina, et al.
Published: (2021)

Systematic Detection of Energy Regression and Corresponding Code Patterns in Java Projects
by: Bechet, François, et al.
Published: (2026)

MigrationBench: Repository-Level Code Migration Benchmark from Java 8
by: Liu, Linbo, et al.
Published: (2025)

An Empirical Study of Java Code Improvements Based on Stack Overflow Answer Edits
by: Wiratsin, In-on, et al.
Published: (2025)

Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants
by: Corso, Vincenzo, et al.
Published: (2024)

Quality Evaluation of COBOL to Java Code Transformation
by: Froimovich, Shmulik, et al.
Published: (2025)

Structured Safety Auditing for Balancing Code Correctness and Content Safety in LLM-Generated Code
by: Tan, Honghao, et al.
Published: (2026)

ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
by: Xue, Pengyu, et al.
Published: (2024)

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
by: Silva, André, et al.
Published: (2024)

GraphQLer: Enhancing GraphQL Security with Context-Aware API Testing
by: Tsai, Omar, et al.
Published: (2025)

ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
by: Christensen, Katrine, et al.
Published: (2025)

Free Open Source Communities Sustainability: Does It Make a Difference in Software Quality?
by: Alami, Adam, et al.
Published: (2024)

Leveraging LLMs for Automated Translation of Legacy Code: A Case Study on PL/SQL to Java Transformation
by: Solovyeva, Lola, et al.
Published: (2025)

Do Comments and Expertise Still Matter? An Experiment on Programmers' Adoption of AI-Generated JavaScript Code
by: Li, Changwen, et al.
Published: (2025)

Deterministic vs. Probabilistic Summarisation: An Empirical Trade-off Study in Design Pattern Centric Java Code
by: Nazar, Najam, et al.
Published: (2026)

Incubation and Beyond: A Comparative Analysis of ASF Projects Sustainability Impacts on Software Quality
by: Alami, Adam, et al.
Published: (2025)

JavaVFC: Java Vulnerability Fixing Commits from Open-source Software
by: Bui, Tan, et al.
Published: (2024)

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
by: Sulzmann, Martin
Published: (2025)

Quantitative Information Flow Control by Construction for Component-Based Systems
by: Rønneberg, Rasmus Carl
Published: (2024)

Compilation of Commit Changes within Java Source Code Repositories
by: Schott, Stefan, et al.
Published: (2024)

Patch2QL: Discover Cognate Defects in Open Source Software Supply Chain With Auto-generated Static Analysis Rules
by: Wang, Fuwei, et al.
Published: (2024)

The Influence of Code Smells in Efferent Neighbors on Class Stability
by: Zhang, Zushuai, et al.
Published: (2026)

Roseau: Fast, Accurate, Source-based API Breaking Change Analysis in Java
by: Latappy, Corentin, et al.
Published: (2025)

TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
by: Naik, Aaditya, et al.
Published: (2023)

Scalable Defect Detection via Traversal on Code Graph
by: Liu, Zhengyao, et al.
Published: (2024)