Around memory safety, it would be simply be dereferencing any raw pointer. You&#x27;d whitelist a set of smart pointer classes that manage that and you can pretty much just use the clang parser to catch it.