Cover Image

Implementing and Executing Static Analysis Using LLVM and CodeChecker

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Horvath, Gabor, Kovacs, Reka, Szalay, Richard, Porkolab, Zoltan
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Static Code Analysis with CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)

Scaling Symbolic Execution to Large Software Systems
by: Horvath, Gabor, et al.
Published: (2024)

Detecting lifetime errors of std::string_view objects in C++
by: Kovacs, Reka, et al.
Published: (2024)

Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
by: Liu, Jun, et al.
Published: (2024)

Refactoring to Standard C++20 Modules
by: Richárd Szalay, et al.
Published: (2024)

IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation
by: Rong, Yuyang, et al.
Published: (2024)

Static JavaScript Call Graphs: A Comparative Study
by: Antal, Gábor, et al.
Published: (2024)

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
by: Yang, Chenyuan, et al.
Published: (2025)

Beyond Execution: Static-Analysis Rewards and Hint-Conditioned Diffusion RL for Code Generation
by: Ouyang, Shuyin, et al.
Published: (2026)

Integrating Static Code Analysis Toolchains
by: Kern, Matthias, et al.
Published: (2024)

DocChecker: Bootstrapping Code Large Language Model for Detecting and Resolving Code-Comment Inconsistencies
by: Dau, Anh T. V., et al.
Published: (2023)

Synergy-Guided Compiler Auto-Tuning of Nested LLVM Pass Pipelines
by: Pan, Haolin, et al.
Published: (2025)

Do Code LLMs Do Static Analysis?
by: Su, Chia-Yi, et al.
Published: (2025)

Open Source Prover in the Attic
by: Kovács, Zoltán, et al.
Published: (2024)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
by: Shafiuzzaman, Md, et al.
Published: (2026)

An Empirical Study of Static Analysis Tools for Secure Code Review
by: Charoenwet, Wachiraphan, et al.
Published: (2024)

Enhancing Source Code Representations for Deep Learning with Static Analysis
by: Guan, Xueting, et al.
Published: (2024)

A Practical Guideline and Taxonomy to LLVM's Control Flow Integrity
by: Houy, Sabine, et al.
Published: (2025)

Enhanced Bug Prediction in JavaScript Programs with Hybrid Call-Graph Based Invocation Metrics
by: Antal, Gábor, et al.
Published: (2024)

CodeScore: Evaluating Code Generation by Learning Code Execution
by: Dong, Yihong, et al.
Published: (2023)

STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
by: Liu, Junwei, et al.
Published: (2024)

LitterBox+: An Extensible Framework for LLM-enhanced Scratch Static Code Analysis
by: Fein, Benedikt, et al.
Published: (2025)

A Large-Scale Collection Of (Non-)Actionable Static Code Analysis Reports
by: Kószó, Dávid, et al.
Published: (2025)

An Automated Blackbox Noncompliance Checker for QUIC Server Implementations
by: Ang, Kian Kai, et al.
Published: (2025)

Checker Bug Detection and Repair in Deep Learning Libraries
by: Harzevili, Nima Shiri, et al.
Published: (2024)

CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection
by: Dubniczky, Richard A., et al.
Published: (2025)

Bridging Behavioral Biometrics and Source Code Stylometry: A Survey of Programmer Attribution
by: Horvath, Marek, et al.
Published: (2026)

Compiling Code LLMs into Lightweight Executables
by: Shi, Jieke, et al.
Published: (2026)

Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis
by: Dolcetti, Greta, et al.
Published: (2024)

A Tool for In-depth Analysis of Code Execution Reasoning of Large Language Models
by: Liu, Changshu, et al.
Published: (2025)

Combining Static Analysis Techniques for Program Comprehension Using Slicito
by: Husák, Robert, et al.
Published: (2025)

An Empirical Study on Bug Severity Estimation using Source Code Metrics and Static Analysis
by: Mashhadi, Ehsan, et al.
Published: (2022)

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness
by: Blyth, Scott, et al.
Published: (2025)

Statically Inferring Usage Bounds for Infrastructure as Code
by: Qiao, Feitong, et al.
Published: (2024)

ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024)

FlyCatcher: Neural Inference of Runtime Checkers from Tests
by: Souza, Beatriz, et al.
Published: (2026)

On the Anatomy of Real-World R Code for Static Analysis
by: Sihler, Florian, et al.
Published: (2024)

Visual Integration of Static and Dynamic Software Analysis in Code Reviews via Software City Visualization
by: Krause-Glau, Alexander, et al.
Published: (2024)

From UI to Code: Mobile Ads Detection via LLM-Unified Static-Dynamic Analysis
by: Ma, Shang, et al.
Published: (2026)

Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition
by: Neumüller, Denis, et al.
Published: (2026)