Buchumschlag

Easing Maintenance of Academic Static Analyzers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Try-Mopsa: Relational Static Analysis in Your Pocket
von: Monat, Raphaël
Veröffentlicht: (2025)

CUTECat: Concolic Execution for Computational Law
von: Goutagny, Pierre, et al.
Veröffentlicht: (2024)

On the Anatomy of Real-World R Code for Static Analysis
von: Sihler, Florian, et al.
Veröffentlicht: (2024)

LLM-Based Repair of Static Nullability Errors
von: Karimipour, Nima, et al.
Veröffentlicht: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
von: Zhang, Bowen, et al.
Veröffentlicht: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
von: Ferreiro, Daniela, et al.
Veröffentlicht: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
von: Svoboda, David, et al.
Veröffentlicht: (2025)

Towards Analyzing N-language Polyglot Programs
von: Prakash, Jyoti, et al.
Veröffentlicht: (2026)

RacerF: Lightweight Static Data Race Detection for C Code
von: Dacík, Tomáš, et al.
Veröffentlicht: (2025)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
von: Zakharov, Vladimir, et al.
Veröffentlicht: (2024)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
von: Stemmler, Fabian, et al.
Veröffentlicht: (2025)

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

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
von: Dau, Anh T. V., et al.
Veröffentlicht: (2026)

Rule-Based Error Classification for Analyzing Differences in Frequent Errors
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023)

Static Deadlock Detection for Rust Programs
von: Zhang, Yu, et al.
Veröffentlicht: (2024)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
von: Wang, Claire, et al.
Veröffentlicht: (2025)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
von: Shi, Qingkai, et al.
Veröffentlicht: (2023)

Customizing Static Analysis using Codesearch
von: Hayoun, Avi, et al.
Veröffentlicht: (2024)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
von: He, Pengfei, et al.
Veröffentlicht: (2026)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
von: Zhou, Tianyang, et al.
Veröffentlicht: (2025)

Explainable AI for Embedded Systems Design: A Case Study of Static Redundant NVM Memory Write Prediction
von: Gamatié, Abdoulaye, et al.
Veröffentlicht: (2024)

iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
von: Santra, Monika, et al.
Veröffentlicht: (2026)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

Stale Profile Matching
von: Ayupov, Amir, et al.
Veröffentlicht: (2024)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)

Type-level Property Based Testing
von: Hansen, Thomas Ekström, et al.
Veröffentlicht: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
von: Qiu, Ruidi, et al.
Veröffentlicht: (2024)

Local Software Buildability across Java Versions (Registered Report)
von: Sulír, Matúš, et al.
Veröffentlicht: (2024)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
von: Geng, Chuqin, et al.
Veröffentlicht: (2024)

Enabling Memory Safety of C Programs using LLMs
von: Mohammed, Nausheen, et al.
Veröffentlicht: (2024)

Verified invertible lexer using regular expressions and DFAs
von: Chassot, Samuel, et al.
Veröffentlicht: (2024)

Parsimonious Optimal Dynamic Partial Order Reduction
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
von: Rak-amnouykit, Ingkarat, et al.
Veröffentlicht: (2024)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
von: Ravikumar, Shruthi, et al.
Veröffentlicht: (2024)

RaceFixer -- An Automated Data Race Fixer
von: Malakar, Sanjay, et al.
Veröffentlicht: (2024)

On Repairing Quantum Programs Using ChatGPT
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2024)