Integrating Static Code Analysis Toolchains
Fuente:
arXiv
Saved in:
| Main Authors: | Kern, Matthias, Erata, Ferhat, Iser, Markus, Sinz, Carsten, Loiret, Frederic, Otten, Stefan, Sax, Eric |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
by: Erata, Ferhat, et al.
Published: (2024)
by: Erata, Ferhat, et al.
Published: (2024)
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
by: Erata, Ferhat, et al.
Published: (2024)
by: Erata, Ferhat, et al.
Published: (2024)
Generative AI in Systems Engineering: A Framework for Risk Assessment of Large Language Models
by: Otten, Stefan, et al.
Published: (2026)
by: Otten, Stefan, et al.
Published: (2026)
Static Code Analysis with CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)
by: Horvath, Gabor, et al.
Published: (2024)
Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness
by: Blyth, Scott, et al.
Published: (2025)
by: Blyth, Scott, et al.
Published: (2025)
Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition
by: Neumüller, Denis, et al.
Published: (2026)
by: Neumüller, Denis, et al.
Published: (2026)
Do Code LLMs Do Static Analysis?
by: Su, Chia-Yi, et al.
Published: (2025)
by: Su, Chia-Yi, et al.
Published: (2025)
Visual Integration of Static and Dynamic Software Analysis in Code Reviews via Software City Visualization
by: Krause-Glau, Alexander, et al.
Published: (2024)
by: Krause-Glau, Alexander, et al.
Published: (2024)
GOOSE: Goal-Conditioned Reinforcement Learning for Safety-Critical Scenario Generation
by: Ransiek, Joshua, et al.
Published: (2024)
by: Ransiek, Joshua, et al.
Published: (2024)
On the Anatomy of Real-World R Code for Static Analysis
by: Sihler, Florian, et al.
Published: (2024)
by: Sihler, Florian, et al.
Published: (2024)
ModelWriter: Text & Model-Synchronized Document Engineering Platform
by: Erata, Ferhat, et al.
Published: (2024)
by: Erata, Ferhat, et al.
Published: (2024)
From Logic to Toolchains: An Empirical Study of Bugs in the TypeScript Ecosystem
by: Tang, TianYi, et al.
Published: (2026)
by: Tang, TianYi, et al.
Published: (2026)
Implementing and Executing Static Analysis Using LLVM and CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)
by: Horvath, Gabor, et al.
Published: (2024)
An Empirical Study of Static Analysis Tools for Secure Code Review
by: Charoenwet, Wachiraphan, et al.
Published: (2024)
by: Charoenwet, Wachiraphan, et al.
Published: (2024)
Enhancing Source Code Representations for Deep Learning with Static Analysis
by: Guan, Xueting, et al.
Published: (2024)
by: Guan, Xueting, et al.
Published: (2024)
Empirical Investigation of Quantum Computing Toolchains and Algorithms : Mining Stack Overflow Repository
by: Sabzevari, Maryam Tavassoli, et al.
Published: (2026)
by: Sabzevari, Maryam Tavassoli, et al.
Published: (2026)
Toolchain for Faster Iterations in Quantum Software Development
by: Kinanen, Otso, et al.
Published: (2025)
by: Kinanen, Otso, et al.
Published: (2025)
M, Toolchain and Language for Reusable Model Compilation
by: Trinh, Hiep Hong, et al.
Published: (2025)
by: Trinh, Hiep Hong, et al.
Published: (2025)
FP-Predictor - False Positive Prediction for Static Analysis Reports
by: Ohlmer, Tom, et al.
Published: (2026)
by: Ohlmer, Tom, et al.
Published: (2026)
STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
by: Liu, Junwei, et al.
Published: (2024)
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)
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)
by: Kószó, Dávid, et al.
Published: (2025)
QLPro: Automated Code Vulnerability Discovery via LLM and Static Code Analysis Integration
by: Hu, Junze, et al.
Published: (2025)
by: Hu, Junze, et al.
Published: (2025)
Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain
by: Pekaric, Irdin, et al.
Published: (2026)
by: Pekaric, Irdin, et al.
Published: (2026)
An Empirical Study on Bug Severity Estimation using Source Code Metrics and Static Analysis
by: Mashhadi, Ehsan, et al.
Published: (2022)
by: Mashhadi, Ehsan, et al.
Published: (2022)
Statically Inferring Usage Bounds for Infrastructure as Code
by: Qiao, Feitong, et al.
Published: (2024)
by: Qiao, Feitong, et al.
Published: (2024)
Static Analysis Driven Enhancements for Comprehension in Machine Learning Notebooks
by: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Published: (2023)
by: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Published: (2023)
From UI to Code: Mobile Ads Detection via LLM-Unified Static-Dynamic Analysis
by: Ma, Shang, et al.
Published: (2026)
by: Ma, Shang, et al.
Published: (2026)
Static Code Analyzer Recommendation via Preference Mining
by: Ge, Xiuting, et al.
Published: (2024)
by: Ge, Xiuting, et al.
Published: (2024)
Toward an Android Static Analysis Approach for Data Protection
by: Khedkar, Mugdha, et al.
Published: (2024)
by: Khedkar, Mugdha, et al.
Published: (2024)
Butterfly Effects in Toolchains: A Comprehensive Analysis of Failed Parameter Filling in LLM Tool-Agent Systems
by: Xiong, Qian, et al.
Published: (2025)
by: Xiong, Qian, et al.
Published: (2025)
Liberal Entity Matching as a Compound AI Toolchain
by: Fu, Silvery D., et al.
Published: (2024)
by: Fu, Silvery D., et al.
Published: (2024)
Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search
by: Li, Dongcheng, et al.
Published: (2024)
by: Li, Dongcheng, et al.
Published: (2024)
Large Language Models Versus Static Code Analysis Tools: A Systematic Benchmark for Vulnerability Detection
by: Gnieciak, Damian, et al.
Published: (2025)
by: Gnieciak, Damian, et al.
Published: (2025)
Towards Better Static Code Analysis Reports: Sentence Transformer-based Filtering of Non-Actionable Alerts
by: Aladics, Tamás, et al.
Published: (2026)
by: Aladics, Tamás, et al.
Published: (2026)
Automated Code Repair for C/C++ Static Analysis Alerts
by: Svoboda, David, et al.
Published: (2025)
by: Svoboda, David, et al.
Published: (2025)
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
by: Wickert, Anna-Katharina, et al.
Published: (2024)
by: Wickert, Anna-Katharina, et al.
Published: (2024)
Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
by: Abtahi, Seyed Moein, et al.
Published: (2025)
by: Abtahi, Seyed Moein, et al.
Published: (2025)
An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations
by: Miranda-Pena, Clarissa, et al.
Published: (2026)
by: Miranda-Pena, Clarissa, et al.
Published: (2026)
Microservices and Real-Time Processing in Retail IT: A Review of Open-Source Toolchains and Deployment Strategies
by: Vashisht, Aaditaa, et al.
Published: (2025)
by: Vashisht, Aaditaa, et al.
Published: (2025)
Similar Items
-
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
by: Erata, Ferhat, et al.
Published: (2024) -
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
by: Erata, Ferhat, et al.
Published: (2024) -
Generative AI in Systems Engineering: A Framework for Risk Assessment of Large Language Models
by: Otten, Stefan, et al.
Published: (2026) -
Static Code Analysis with CodeChecker
by: Horvath, Gabor, et al.
Published: (2024) -
Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness
by: Blyth, Scott, et al.
Published: (2025)