static-analysis

Part four extends LifetimeCheck through store and load operations, structured control flow, scope cleanup, coroutine tasks, return safety, and implementation patterns.

• clang
• llvm
• mlir
• static-analysis
• cpp

Part two follows the LifetimeCheck pass architecture, its type categories, points-to sets, allocation classification, and operation dispatch.

• clang
• llvm
• mlir
• static-analysis
• cpp

Part one introduces ClangIR as an MLIR-based representation for C++ static analysis and uses LifetimeCheck to motivate the series.

• clang
• llvm
• mlir
• static-analysis
• cpp

Part three shows how ClangIR AST attributes, move detection, smart pointer handling, and moved-from state tracking detect use-after-move bugs.

• clang
• llvm
• mlir
• static-analysis
• cpp