Static Code Analysis with CodeChecker
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Horvath, Gabor, Kovacs, Reka, Szalay, Richard, Porkolab, Zoltan, Orban, Gyorgy, Krupp, Daniel |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Implementing and Executing Static Analysis Using LLVM and CodeChecker
von: Horvath, Gabor, et al.
Veröffentlicht: (2024)
von: Horvath, Gabor, et al.
Veröffentlicht: (2024)
Detecting lifetime errors of std::string_view objects in C++
von: Kovacs, Reka, et al.
Veröffentlicht: (2024)
von: Kovacs, Reka, et al.
Veröffentlicht: (2024)
Scaling Symbolic Execution to Large Software Systems
von: Horvath, Gabor, et al.
Veröffentlicht: (2024)
von: Horvath, Gabor, et al.
Veröffentlicht: (2024)
Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
von: Liu, Jun, et al.
Veröffentlicht: (2024)
von: Liu, Jun, et al.
Veröffentlicht: (2024)
Refactoring to Standard C++20 Modules
von: Richárd Szalay, et al.
Veröffentlicht: (2024)
von: Richárd Szalay, et al.
Veröffentlicht: (2024)
Integrating Static Code Analysis Toolchains
von: Kern, Matthias, et al.
Veröffentlicht: (2024)
von: Kern, Matthias, et al.
Veröffentlicht: (2024)
DocChecker: Bootstrapping Code Large Language Model for Detecting and Resolving Code-Comment Inconsistencies
von: Dau, Anh T. V., et al.
Veröffentlicht: (2023)
von: Dau, Anh T. V., et al.
Veröffentlicht: (2023)
Do Code LLMs Do Static Analysis?
von: Su, Chia-Yi, et al.
Veröffentlicht: (2025)
von: Su, Chia-Yi, et al.
Veröffentlicht: (2025)
Static JavaScript Call Graphs: A Comparative Study
von: Antal, Gábor, et al.
Veröffentlicht: (2024)
von: Antal, Gábor, et al.
Veröffentlicht: (2024)
An Empirical Study of Static Analysis Tools for Secure Code Review
von: Charoenwet, Wachiraphan, et al.
Veröffentlicht: (2024)
von: Charoenwet, Wachiraphan, et al.
Veröffentlicht: (2024)
Enhancing Source Code Representations for Deep Learning with Static Analysis
von: Guan, Xueting, et al.
Veröffentlicht: (2024)
von: Guan, Xueting, et al.
Veröffentlicht: (2024)
Statically Inferring Usage Bounds for Infrastructure as Code
von: Qiao, Feitong, et al.
Veröffentlicht: (2024)
von: Qiao, Feitong, et al.
Veröffentlicht: (2024)
STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
von: Liu, Junwei, et al.
Veröffentlicht: (2024)
von: Liu, Junwei, et al.
Veröffentlicht: (2024)
LitterBox+: An Extensible Framework for LLM-enhanced Scratch Static Code Analysis
von: Fein, Benedikt, et al.
Veröffentlicht: (2025)
von: Fein, Benedikt, et al.
Veröffentlicht: (2025)
A Large-Scale Collection Of (Non-)Actionable Static Code Analysis Reports
von: Kószó, Dávid, et al.
Veröffentlicht: (2025)
von: Kószó, Dávid, et al.
Veröffentlicht: (2025)
Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
von: Abtahi, Seyed Moein, et al.
Veröffentlicht: (2025)
von: Abtahi, Seyed Moein, et al.
Veröffentlicht: (2025)
On the Anatomy of Real-World R Code for Static Analysis
von: Sihler, Florian, et al.
Veröffentlicht: (2024)
von: Sihler, Florian, et al.
Veröffentlicht: (2024)
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection
von: Dubniczky, Richard A., et al.
Veröffentlicht: (2025)
von: Dubniczky, Richard A., et al.
Veröffentlicht: (2025)
Bridging Behavioral Biometrics and Source Code Stylometry: A Survey of Programmer Attribution
von: Horvath, Marek, et al.
Veröffentlicht: (2026)
von: Horvath, Marek, et al.
Veröffentlicht: (2026)
KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
von: Yang, Chenyuan, et al.
Veröffentlicht: (2025)
von: Yang, Chenyuan, et al.
Veröffentlicht: (2025)
Static Code Analyzer Recommendation via Preference Mining
von: Ge, Xiuting, et al.
Veröffentlicht: (2024)
von: Ge, Xiuting, et al.
Veröffentlicht: (2024)
An Empirical Study on Bug Severity Estimation using Source Code Metrics and Static Analysis
von: Mashhadi, Ehsan, et al.
Veröffentlicht: (2022)
von: Mashhadi, Ehsan, et al.
Veröffentlicht: (2022)
Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness
von: Blyth, Scott, et al.
Veröffentlicht: (2025)
von: Blyth, Scott, et al.
Veröffentlicht: (2025)
Squeez: Task-Conditioned Tool-Output Pruning for Coding Agents
von: Kovács, Ádám
Veröffentlicht: (2026)
von: Kovács, Ádám
Veröffentlicht: (2026)
Reverse Browser: Vector-Image-to-Code Generator
von: Toth-Czifra, Zoltan
Veröffentlicht: (2025)
von: Toth-Czifra, Zoltan
Veröffentlicht: (2025)
Automated Code Repair for C/C++ Static Analysis Alerts
von: Svoboda, David, et al.
Veröffentlicht: (2025)
von: Svoboda, David, et al.
Veröffentlicht: (2025)
Visual Integration of Static and Dynamic Software Analysis in Code Reviews via Software City Visualization
von: Krause-Glau, Alexander, et al.
Veröffentlicht: (2024)
von: Krause-Glau, Alexander, et al.
Veröffentlicht: (2024)
From UI to Code: Mobile Ads Detection via LLM-Unified Static-Dynamic Analysis
von: Ma, Shang, et al.
Veröffentlicht: (2026)
von: Ma, Shang, et al.
Veröffentlicht: (2026)
Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition
von: Neumüller, Denis, et al.
Veröffentlicht: (2026)
von: Neumüller, Denis, et al.
Veröffentlicht: (2026)
CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)
Vibe Checker: Aligning Code Evaluation with Human Preference
von: Zhong, Ming, et al.
Veröffentlicht: (2025)
von: Zhong, Ming, et al.
Veröffentlicht: (2025)
An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations
von: Miranda-Pena, Clarissa, et al.
Veröffentlicht: (2026)
von: Miranda-Pena, Clarissa, et al.
Veröffentlicht: (2026)
Large Language Models Versus Static Code Analysis Tools: A Systematic Benchmark for Vulnerability Detection
von: Gnieciak, Damian, et al.
Veröffentlicht: (2025)
von: Gnieciak, Damian, et al.
Veröffentlicht: (2025)
Towards Better Static Code Analysis Reports: Sentence Transformer-based Filtering of Non-Actionable Alerts
von: Aladics, Tamás, et al.
Veröffentlicht: (2026)
von: Aladics, Tamás, et al.
Veröffentlicht: (2026)
CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings
von: Joos, Pascal, et al.
Veröffentlicht: (2025)
von: Joos, Pascal, et al.
Veröffentlicht: (2025)
Retrospective: Data Mining Static Code Attributes to Learn Defect Predictors
von: Menzies, Tim
Veröffentlicht: (2025)
von: Menzies, Tim
Veröffentlicht: (2025)
Open Source Prover in the Attic
von: Kovács, Zoltán, et al.
Veröffentlicht: (2024)
von: Kovács, Zoltán, et al.
Veröffentlicht: (2024)
QLPro: Automated Code Vulnerability Discovery via LLM and Static Code Analysis Integration
von: Hu, Junze, et al.
Veröffentlicht: (2025)
von: Hu, Junze, et al.
Veröffentlicht: (2025)
Tracking the Evolution of Static Code Warnings: the State-of-the-Art and a Better Approach
von: Li, Junjie, et al.
Veröffentlicht: (2022)
von: Li, Junjie, et al.
Veröffentlicht: (2022)
Assessing GPT-4-Vision's Capabilities in UML-Based Code Generation
von: Antal, Gábor, et al.
Veröffentlicht: (2024)
von: Antal, Gábor, et al.
Veröffentlicht: (2024)
Ähnliche Einträge
-
Implementing and Executing Static Analysis Using LLVM and CodeChecker
von: Horvath, Gabor, et al.
Veröffentlicht: (2024) -
Detecting lifetime errors of std::string_view objects in C++
von: Kovacs, Reka, et al.
Veröffentlicht: (2024) -
Scaling Symbolic Execution to Large Software Systems
von: Horvath, Gabor, et al.
Veröffentlicht: (2024) -
Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
von: Liu, Jun, et al.
Veröffentlicht: (2024) -
Refactoring to Standard C++20 Modules
von: Richárd Szalay, et al.
Veröffentlicht: (2024)