[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)