On 10/4/20 10:34 PM, kinke wrote: > But you're solely focusing on static analysis. Static analysis is great > but quite obviously limited. Runtime sanitizers are a necessary supplement It doesn't sit right to design language features that assume sanitizers.