Modules§
- borrows
- function_
pointer_ safety - Function Pointer Safety Analysis
- inheritance_
safety - Inheritance Safety Analysis
- lambda_
capture_ safety - lifetime_
checker - lifetime_
inference - lifetimes
- liveness
- mutable_
checker - ownership
- pointer_
safety - raii_
tracking - RAII Tracking Module
- scope_
lifetime - this_
tracking - unsafe_
propagation