Image de couverture de livre

On the Anatomy of Real-World R Code for Static Analysis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sihler, Florian, Pietzschmann, Lukas, Straub, Raphael, Tichy, Matthias, Diera, Andor, Dahou, Abdelhalim
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Exploring the Effectiveness of Abstract Syntax Tree Patterns for Algorithm Recognition
par: Neumüller, Denis, et autres
Publié: (2026)

Semantic Source Code Segmentation using Small and Large Language Models
par: Dahou, Abdelhalim, et autres
Publié: (2025)

Supporting the Comprehension of Data Analysis Scripts
par: Sihler, Florian, et autres
Publié: (2026)

Try-Mopsa: Relational Static Analysis in Your Pocket
par: Monat, Raphaël
Publié: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
par: Svoboda, David, et autres
Publié: (2025)

Easing Maintenance of Academic Static Analyzers
par: Monat, Raphaël, et autres
Publié: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
par: Xie, Xiaoheng, et autres
Publié: (2024)

RacerF: Lightweight Static Data Race Detection for C Code
par: Dacík, Tomáš, et autres
Publié: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
par: Wang, Chengpeng, et autres
Publié: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
par: Zhang, Bowen, et autres
Publié: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
par: Ferreiro, Daniela, et autres
Publié: (2025)

Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition
par: Neumüller, Denis, et autres
Publié: (2026)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
par: Zakharov, Vladimir, et autres
Publié: (2024)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
par: Rao, Zihao, et autres
Publié: (2024)

LLM-Based Repair of Static Nullability Errors
par: Karimipour, Nima, et autres
Publié: (2025)

A Trace-based Approach for Code Safety Analysis
par: Xu, Hui
Publié: (2025)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
par: Stemmler, Fabian, et autres
Publié: (2025)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
par: Li, Ziyang, et autres
Publié: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
par: Wang, Claire, et autres
Publié: (2025)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
par: Gilot, Andrea, et autres
Publié: (2025)

Customizing Static Analysis using Codesearch
par: Hayoun, Avi, et autres
Publié: (2024)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
par: Lang, Frédéric, et autres
Publié: (2024)

Neural Code Translation of Legacy Code: APL to C#
par: Ramadan, Abdulrahman, et autres
Publié: (2026)

CUTECat: Concolic Execution for Computational Law
par: Goutagny, Pierre, et autres
Publié: (2024)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
par: Shi, Qingkai, et autres
Publié: (2023)

Micro-Patterns in Solidity Code
par: Ruschioni, Luca, et autres
Publié: (2025)

Pareto Optimal Code Generation
par: Orlanski, Gabriel, et autres
Publié: (2025)

Static Deadlock Detection for Rust Programs
par: Zhang, Yu, et autres
Publié: (2024)

Automated Code Editing with Search-Generate-Modify
par: Liu, Changshu, et autres
Publié: (2023)

Validated Code Translation for Projects with External Libraries
par: Zhang, Hanliang, et autres
Publié: (2026)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
par: Zhou, Tianyang, et autres
Publié: (2025)

Python Symbolic Execution with LLM-powered Code Generation
par: Wang, Wenhan, et autres
Publié: (2024)

Structural Code Search using Natural Language Queries
par: Limpanukorn, Ben, et autres
Publié: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
par: Kong, Ziqiao, et autres
Publié: (2025)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
par: Ravikumar, Shruthi, et autres
Publié: (2024)

A Unified Framework for Automated Code Transformation and Pragma Insertion
par: Pouget, Stéphane, et autres
Publié: (2024)

Compilation of Commit Changes within Java Source Code Repositories
par: Schott, Stefan, et autres
Publié: (2024)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
par: Ke, Kaiyao, et autres
Publié: (2025)

From Code to Career: Assessing Competitive Programmers for Industry Placement
par: Akib, Md Imranur Rahman, et autres
Publié: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
par: Ren, Xiaoning, et autres
Publié: (2025)