Imagen de Portada

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Krogstie, Håvard Rognebakke, Bahmann, Helge, Själander, Magnus, Reissmann, Nico
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

R-HLS: An IR for Dynamic High-Level Synthesis and Memory Disambiguation based on Regions and State Edges
por: Metz, David, et al.
Publicado: (2024)

EPIC: An Energy-Efficient, High-Performance GPGPU Computing Research Infrastructure
por: Själander, Magnus, et al.
Publicado: (2019)

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

C Analyzer : A Static Program Analysis Tool for C Programs
por: Solanki, Rajendra Kumar
Publicado: (2024)

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

Sound Interval-Based Synthesis for Probabilistic Programs
por: Espada, Guilherme, et al.
Publicado: (2025)

Algebras for Deterministic Computation Are Inherently Incomplete
por: Cate, Balder ten, et al.
Publicado: (2024)

Practical Formal Verification for MLIR Programs
por: Tucker, Emily, et al.
Publicado: (2026)

Polynomial Invariant Generation for Floating-Point Programs
por: Cai, Xuran, et al.
Publicado: (2025)

Towards Fixed-Point Formats Determination for Faust Programs
por: Herrou, Agathe, et al.
Publicado: (2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
por: Warren, David S., et al.
Publicado: (2024)

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
por: Rasheed, Abdullah H., et al.
Publicado: (2026)

Newtonian Program Analysis of Probabilistic Programs
por: Wang, Di, et al.
Publicado: (2023)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
por: Eriksson, Oscar, et al.
Publicado: (2025)

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
por: Foo, Yong Qi, et al.
Publicado: (2025)

QCP: A Practical Separation Logic-based C Program Verification Tool
por: Wu, Xiwei, et al.
Publicado: (2025)

Programming of Cellular Automata in C and C++
por: Christen, Patrik
Publicado: (2024)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
por: Amtoft, Torben, et al.
Publicado: (2024)

The ART of Sharing Points-to Analysis (Extended Abstract)
por: Halalingaiah, Shashin, et al.
Publicado: (2024)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
por: LaFontaine, Patrick, et al.
Publicado: (2025)

Verifying Floating-Point Programs in Stainless
por: Gilot, Andrea, et al.
Publicado: (2026)

C-lisp and Flexible Macro Programming with S-expressions
por: Padmaraman, Vedanth, et al.
Publicado: (2024)

A Categorical Basis for Robust Program Analysis
por: Kincaid, Zachary, et al.
Publicado: (2026)

Automated Expected Cost Analysis for Quantum Programs
por: Moser, Georg, et al.
Publicado: (2026)

Soundly Handling Linearity
por: Tang, Wenhao, et al.
Publicado: (2023)

Towards Automated Verification of LLM-Synthesized C Programs
por: Mukherjee, Prasita, et al.
Publicado: (2024)

Static Analysis Under Non-Deterministic Program Assumptions
por: Rasheed, Abdullah H.
Publicado: (2026)

C*: Unifying Programming and Verification in C
por: Cao, Yiyuan, et al.
Publicado: (2025)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
por: Chatterjee, Krishnendu, et al.
Publicado: (2024)

A Pure Demand Operational Semantics with Applications to Program Analysis
por: Smith, Scott, et al.
Publicado: (2023)

Automated Verification of Soundness of DNN Certifiers
por: Singh, Avaljot, et al.
Publicado: (2025)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
por: Ciccalè, Marco, et al.
Publicado: (2025)

SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
por: Kozak, David, et al.
Publicado: (2025)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
por: Lundén, Daniel, et al.
Publicado: (2023)

Concept-Based Generic Programming in C++
por: Stroustrup, Bjarne
Publicado: (2025)

Probabilistic Interval Analysis of Unreliable Programs
por: Das, Dibyendu, et al.
Publicado: (2024)

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

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

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
por: Sano, Jin, et al.
Publicado: (2025)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
por: Enea, Constantin, et al.
Publicado: (2026)