News for hackers. Stuff that matters.
Re:GoKart: A static analysis tool for securing Go code by masklinn on Thursday August 19, 2021 @02:52AM (#28231119)
You don't even need generics to avoid nullable pointers, you can special-case it as they special-cased slices, maps, channels, etc… e.g. `*int` -> non-nullable pointer to int; `?int` -> nullable pointer to int, and a tiny bit of flow analysis in nil checks so e.g. `if foo != nil` implicitly creates a new non-nullable version of `foo` inside the block body.

There are no comments on this comment yet.