Wei Li, Dongjie He, Wenguang Chen, Jingling Xue: Artifact for "Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis". Zenodo 2024