Algebra of Address Spaces: Memory Representation in Code Analysis

Code analysis is a complex task, especially when it comes to memory analysis. We will discuss why it is difficult to track memory usage in C/C++ programs and how we created a tool that helps identify memory usage issues. Our tool links different address spaces, so it is not just a static C/C++ analyzer. We will explain key concepts in an accessible way, such as lattices and Galois correspondence.

We will also show examples in C/C++ where our tool helps identify issues like memory leaks, dangling pointers, and other problems. If you are a developer who wants to improve your skills, especially in C/C++, this talk is for you. We will show how our tool uses simple mathematical concepts to subsequently improve and speed up code.