C++ linter based on linear types

Low-level programming requires careful management of system resources, most notably memory. In C++ programmers are encouraged to follow idioms like RAII and smart pointers to handle resources correctly as violating them leads to unsafe code. Typed functional programming languages guarantee safe automatic memory management, but are often sub-optimal in handling system resources. A nice, formal solution to handling resources naturally is linear types. Unfortunately, existing languages that support linearity are cumbersome and require explicit, complicated annotations from the programmer.