Buchumschlag

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Stemmler, Fabian, Schwarz, Michael, Erhard, Julian, Tilscher, Sarah, Seidl, Helmut
Format:	Preprint
Veröffentlicht:	2025
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

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
von: Schwarz, Michael, et al.
Veröffentlicht: (2025)

Non-Numerical Weakly Relational Domains
von: Seidl, Helmut, et al.
Veröffentlicht: (2024)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
von: Zhang, Jiahao, et al.
Veröffentlicht: (2025)

Correctness Witness Validation by Abstract Interpretation
von: Saan, Simmo, et al.
Veröffentlicht: (2023)

Dead Gate Elimination
von: Chen, Yanbin, et al.
Veröffentlicht: (2025)

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

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

Easing Maintenance of Academic Static Analyzers
von: Monat, Raphaël, et al.
Veröffentlicht: (2024)

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

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

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

Algorithmic Details behind the Predator Shape Analyser
von: Dudka, Kamil, 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)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
von: Ye, He, et al.
Veröffentlicht: (2023)

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)

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)

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

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
von: Diamantakis, Panagiotis, et al.
Veröffentlicht: (2025)

Mix-of-Language-Experts Architecture for Multilingual Programming
von: Zong, Yifan, et al.
Veröffentlicht: (2025)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
von: Saumya, Charitha, et al.
Veröffentlicht: (2023)

Compiling Away the Overhead of Race Detection
von: Paznikov, Alexey, et al.
Veröffentlicht: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
von: Liu, Peipei, et al.
Veröffentlicht: (2025)

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)

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

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)

Inferring Non-Failure Conditions for Declarative Programs
von: Hanus, Michael
Veröffentlicht: (2024)

BODHI: Precise OS Kernel Specification Inference
von: Chang, Zhiming, 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)

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

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

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
von: Tirpankar, Tanmay, et al.
Veröffentlicht: (2025)

Wink: Recovering from Misbehaviors in Coding Agents
von: Nanda, Rahul, et al.
Veröffentlicht: (2026)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
von: Serebryany, Kostya, et al.
Veröffentlicht: (2023)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
von: Steffen, Bernhard, et al.
Veröffentlicht: (2024)