April 26, 2022 Static analysis and low-level C programs that access the representation of addresses Blogs