Hash consed points-to sets

DOI10.1007/978-3-030-88806-0_2zbMath1497.68130OpenAlexW3206466725MaRDI QIDQ2145316

Yulei Sui, Mohamad Barbar

Publication date: 17 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88806-0_2

zbMATH Keywords

hash consingmemoisationpoints-to analysis

Mathematics Subject Classification ID

Data structures (68P05) Theory of software (68N99)

Uses Software

• Sawja
• WALA
• LLVM
• LOCKSMITH
• GitHub
• DeepWukong

Cites Work

• Referential transparency, definiteness and unfoldability
• Implementing and reasoning about hash-consed data structures in Coq
• Sawja: Static Analysis Workshop for Java
• The Complexity of Andersen’s Analysis in Practice
• Semi-sparse flow-sensitive pointer analysis
• Points-to analysis with efficient strong updates
• Pick your contexts well
• Unnamed Item
• Unnamed Item

This page was built for publication: Hash consed points-to sets