Static analysis is one of the most effective techniques for finding bugs and security vulnerabilities in C and C++, but most checkers in the LLVM ecosystem reason about a single function or a single translation unit at a time —  leaving whole classes of bugs that span function or file boundaries out of reach. The Scalable Static Analysis Framework (SSAF), developed upstream in Clang, provides the infrastructure for interprocedural, whole-program analyses, so authors can focus on the analysis rather than the plumbing. In this tutorial we walk step-by-step through implementing a new interprocedural checker on top of SSAF. Attendees will leave ready to build their own whole-program analyses in Clang.