Buchumschlag

Statically Inferring Usage Bounds for Infrastructure as Code

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Qiao, Feitong, Mohammadi, Aryana, Cito, Jürgen, Santolucito, Mark
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Using a Feedback Loop for LLM-based Infrastructure as Code Generation
von: Palavalli, Mayur Amarnath, et al.
Veröffentlicht: (2024)

Reducing Token Usage of State-in-Context Agents using Minification
von: Hrubec, Nicolas, et al.
Veröffentlicht: (2026)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
von: Murphy, William, et al.
Veröffentlicht: (2024)

Lost in Code Generation: Reimagining the Role of Software Models in AI-driven Software Engineering
von: Cito, Jürgen, et al.
Veröffentlicht: (2025)

Adversarial Bug Reports as a Security Risk in Language Model-Based Automated Program Repair
von: Przymus, Piotr, et al.
Veröffentlicht: (2025)

Online and Interactive Bayesian Inference Debugging
von: Nussbaumer, Nathanael, et al.
Veröffentlicht: (2025)

Cochise: A Reference Harness for Autonomous Penetration Testing
von: Happe, Andreas, et al.
Veröffentlicht: (2026)

The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum Software
von: De Maio, Vincenzo, et al.
Veröffentlicht: (2025)

Static Code Analysis with CodeChecker
von: Horvath, Gabor, et al.
Veröffentlicht: (2024)

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference
von: Aman, Ali, et al.
Veröffentlicht: (2026)

Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection
von: Ceka, Ira, et al.
Veröffentlicht: (2024)

Integrating Static Code Analysis Toolchains
von: Kern, Matthias, et al.
Veröffentlicht: (2024)

AI Tools in Software Development: Developer Perceptions and Usage Patterns
von: Looi, Mark
Veröffentlicht: (2026)

Multi-Agent Code-Orchestrated Generation for Reliable Infrastructure-as-Code
von: Khan, Rana Nameer Hussain, et al.
Veröffentlicht: (2025)

Do Code LLMs Do Static Analysis?
von: Su, Chia-Yi, et al.
Veröffentlicht: (2025)

Sema Code: Decoupling AI Coding Agents into Programmable, Embeddable Infrastructure
von: Wang, Huacan, et al.
Veröffentlicht: (2026)

Usage, Effects and Requirements for AI Coding Assistants in the Enterprise: An Empirical Study
von: Vukovic, Maja, et al.
Veröffentlicht: (2026)

Static Code Analyzer Recommendation via Preference Mining
von: Ge, Xiuting, et al.
Veröffentlicht: (2024)

Inferring Code Correctness from Specification
von: Florian, Tambon, et al.
Veröffentlicht: (2026)

InfraFix: Technology-Agnostic Repair of Infrastructure as Code
von: Saavedra, Nuno, et al.
Veröffentlicht: (2025)

A Framework for Measuring the Quality of Infrastructure-as-Code Scripts
von: Konala, Pandu Ranga Reddy, et al.
Veröffentlicht: (2025)

Implementing and Executing Static Analysis Using LLVM and CodeChecker
von: Horvath, Gabor, et al.
Veröffentlicht: (2024)

An Empirical Study of Static Analysis Tools for Secure Code Review
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)

A Defect Taxonomy for Infrastructure as Code: A Replication Study
von: Oliveira, Wendell, et al.
Veröffentlicht: (2025)

Retrospective: Data Mining Static Code Attributes to Learn Defect Predictors
von: Menzies, Tim
Veröffentlicht: (2025)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
von: Gilot, Andrea, et al.
Veröffentlicht: (2025)

LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-based Code Completion
von: Wang, Chong, et al.
Veröffentlicht: (2024)

STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
von: Liu, Junwei, et al.
Veröffentlicht: (2024)

Tracking the Evolution of Static Code Warnings: the State-of-the-Art and a Better Approach
von: Li, Junjie, et al.
Veröffentlicht: (2022)

LitterBox+: An Extensible Framework for LLM-enhanced Scratch Static Code Analysis
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)

Prompt Optimization for LLM Code Generation via Reinforcement Learning
von: Esfahani, Ali Mohammadi, et al.
Veröffentlicht: (2026)

An Empirical Study on Bug Severity Estimation using Source Code Metrics and Static Analysis
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)

CodeCircuit: Toward Inferring LLM-Generated Code Correctness via Attribution Graphs
von: He, Yicheng, et al.
Veröffentlicht: (2026)

Code Digital Twin: A Knowledge Infrastructure for AI-Assisted Complex Software Development
von: Peng, Xin, 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)

An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues
von: Cui, Han, et al.
Veröffentlicht: (2024)

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
von: Zhou, Zhi Quan, et al.
Veröffentlicht: (2026)