A Systematic Approach to Probabilistic Pointer Analysis

DOI10.1007/978-3-540-76637-7_23MaRDI QIDQ3498445zbMATH OpenOpenAlexFDO

Authors Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Publication date 15 May 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-76637-7_23

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1975596
• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
• Probabilistic semantics and program analysis
• Probabilistic abstract interpretation
• On probabilistic techniques for data flow analysis

Cites work

• Abstract Interpretation for Worst and Average Case Analysis
• Advanced Linear Algebra
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1973222 (Why is no real title available?)
• scientific article; zbMATH DE number 3246773 (Why is no real title available?)
• On probabilistic techniques for data flow analysis
• Systematic design of program transformation frameworks by abstract interpretation
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC

Cited in

(15)

• Automatic analysis of pointer aliasing for untyped programs
• Generalized probabilistic perturbation method for static analysis
• scientific article; zbMATH DE number 1693487 (Why is no real title available?)
• Abstraction refinement guided by a learnt probabilistic model
• Semantics of probabilistic programs: a weak limit approach
• Probabilistic analysis of programs: a weak limit approach
• Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
• Probabilistic semantics and program analysis
• scientific article; zbMATH DE number 1940313 (Why is no real title available?)
• scientific article; zbMATH DE number 1975596 (Why is no real title available?)
• Relational Analysis and Precision via Probabilistic Abstract Interpretation
• Static Analysis
• Languages and Compilers for Parallel Computing
• Evaluating the effectiveness of pointer alias analyses
• Bridging static and dynamic program analysis using fuzzy logic

This page was built for publication: A Systematic Approach to Probabilistic Pointer Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498445)