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.
[ Parent
| on HN ]
There are no comments on this comment yet.