Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Krogstie, Håvard Rognebakke, Bahmann, Helge, Själander, Magnus, Reissmann, Nico
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Programming of Cellular Automata in C and C++
di: Christen, Patrik
Pubblicazione: (2024)

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

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

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

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

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

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

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

Soundly Handling Linearity
di: Tang, Wenhao, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

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

Concept-Based Generic Programming in C++
di: Stroustrup, Bjarne
Pubblicazione: (2025)

Probabilistic Interval Analysis of Unreliable Programs
di: Das, Dibyendu, 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)

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

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