Iterating Pointers: Enabling Static Analysis for Loop-based Pointers

305 views

Scalable Parallel Computing Lab, SPCL @ ETH Zurich

1 month ago

Iterating Pointers: Enabling Static Analysis for Loop-based Pointers

Iterating Pointers: Enabling Static Analysis for Loop-based Pointers