[HN Gopher] GoKart: A static analysis tool for securing Go code ___________________________________________________________________ GoKart: A static analysis tool for securing Go code Author : SnowflakeOnIce Score : 38 points Date : 2021-08-18 21:36 UTC (1 hours ago) (HTM) web link (github.com) (TXT) w3m dump (github.com) | the-smug-one wrote: | Go has some nice tooling which is quite easy to use w.r.t. static | analysis. I started writing a nil pointer analysis tool which was | going to take advantage of and provide some more advanced | information*. I "unfortunately" had a lot more fun stuff to do | during my vacation, but it was very easy to get started with! So | kudos to the Go team for making this kind of stuff possible for a | 1-man team. | | * Just a forward-style abstract interpretation living on-top of | Go's type system as an additional layer so you get explanations | for why the tool believes that a nil-pointer dereference may | occur, etc. | SquishyPanda23 wrote: | > I started writing a nil pointer | | It still boggles my mind that Go decided to force programmers | to worry about nil pointers. ___________________________________________________________________ (page generated 2021-08-18 23:00 UTC)