Copertina

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Bowen, Chen, Wei, Chiu, Hung-Chun, Zhang, Charles
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

NESA: Relational Neuro-Symbolic Static Program Analysis
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
di: Ferreiro, Daniela, et al.
Pubblicazione: (2025)

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

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

Try-Mopsa: Relational Static Analysis in Your Pocket
di: Monat, Raphaël
Pubblicazione: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
di: Svoboda, David, et al.
Pubblicazione: (2025)

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

Static Deadlock Detection for Rust Programs
di: Zhang, Yu, et al.
Pubblicazione: (2024)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
di: Shi, Qingkai, et al.
Pubblicazione: (2023)

Easing Maintenance of Academic Static Analyzers
di: Monat, Raphaël, et al.
Pubblicazione: (2024)

LLM-Based Repair of Static Nullability Errors
di: Karimipour, Nima, et al.
Pubblicazione: (2025)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
di: Wang, Claire, et al.
Pubblicazione: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
di: Dacík, Tomáš, et al.
Pubblicazione: (2025)

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

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

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

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
di: Li, Ziyang, et al.
Pubblicazione: (2024)

Customizing Static Analysis using Codesearch
di: Hayoun, Avi, et al.
Pubblicazione: (2024)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
di: Zhang, Jiahao, et al.
Pubblicazione: (2025)

Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
di: Zhang, Xuanming, et al.
Pubblicazione: (2024)

Unlocking the Power of Environment Assumptions for Unit Proofs
di: Priya, Siddharth, et al.
Pubblicazione: (2024)

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

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

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

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
di: Wu, Guanxuan, et al.
Pubblicazione: (2024)

Generating Equivalent Representations of Code By A Self-Reflection Approach
di: Li, Jia, et al.
Pubblicazione: (2024)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
di: Cai, Jianfeng, et al.
Pubblicazione: (2026)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
di: Rak-amnouykit, Ingkarat, et al.
Pubblicazione: (2024)

A Trace-based Approach for Code Safety Analysis
di: Xu, Hui
Pubblicazione: (2025)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
di: Zhang, Shuoming, et al.
Pubblicazione: (2026)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
di: Diamantakis, Panagiotis, et al.
Pubblicazione: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
di: Ren, Xiaoning, et al.
Pubblicazione: (2025)

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

EATXT: A textual concrete syntax for EAST-ADL
di: Zhang, Weixing, et al.
Pubblicazione: (2024)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
di: Geng, Chuqin, et al.
Pubblicazione: (2024)

An Incremental Algorithm for Algebraic Program Analysis
di: Zhou, Chenyu, et al.
Pubblicazione: (2024)

Challenges of Multilingual Program Specification and Analysis
di: Furia, Carlo A., et al.
Pubblicazione: (2024)

Quantitative Symbolic Patch Impact Analysis
di: Sarker, Laboni, et al.
Pubblicazione: (2026)

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

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
di: Cui, Baoquan, et al.
Pubblicazione: (2025)