Alias Analysis

This section covers the various alias analysis algorithms implemented in Lotus.

Start with Alias Analysis Components for a high-level selection guide. Algorithm pages describe the assumptions and entry points of individual analyses, while the infrastructure pages cover common points-to-set representations, external library specifications, and evaluation metrics. Results depend on the LLVM module and the model of external calls, so use the specification and metrics pages alongside an algorithm page when comparing analyses.