Go の静的解析ツールの作成と活用

Transcript

1. Go   
   Akatsuki Geek Live @sachaos

2. >/=& • @sachaos ( @) – Twitter, GitHub  

   
   – *B8 #%  - 
   • 2.: 61'< – 4) 3 0; – 3?+:C9 – Go, GCP – % %"$!7 • 5A>(% %,

3. Go 1.13   error   
    

4. 
   

5. Go 1.13
   

6. Go 1.13
   

7. " !$  github.com/pkg/errors #  !  &'!%
   

   :smile:

8. 
   

9.  
    ==     Wrap 

10. ==    • ==   
    xerrors.Is

     

11.  Wrap
     • Wrap  

12.    Wrap  • Wrap  
    
     

     
    

13. #* •  ) – => ' '&%
    '  
    

    • ("$ ! " )

14. ($'" )   '"!# %
    & & 

    '"&  Wikipedia

15. Go 714,  • 714,  parse 
    AST %)
    $52

    / *'3 • Go +08 • Go  '3 6#!"&( 8 – AST %) go/ast – $.- go/types – SSA golang.org/x/tools/go/ssa –  golang.org/x/tools/go/analysis –

16. github.com/sachaos/xerrchk ==  !   Wrap
      

17. ==   1. AST   (go/ast) 2. 

    error interface 
      (go/types)

18. 1.   2. error 
     

19. 
    

20. 0" Wrap '. • /
    ) error #! *(return)1 Wrap (xerrors.Errorf(“wrap:

    %w”, err)) 
    
    3- • ,+&2
    – <= Wrap   Wrap 
    
     error interface  $ %( 
    

21. return 
     Wrap 
     • MayFail1() err 

    
     • MayFail2() err Wrap 
    
    • MayFail3 error Wrap 
     • return Wrap  MayFail3 err  Wrap 
    
    MayFail2 err 
    

22. SSA  • Static Single Assignment  •  

    
      •  golang.org/x/tools/go/ssa  

23. return 
     Wrap 
     • return  t3  t2,

    t5  (φ) • t2 MayFail2  Wrap 
    
     NG • t5 t4  Wrap   OK

24. SSA  • AST 
         "!

    # 

25.  • Go 1.13  error $%&#')*("-,  8 •

    xerrors "0/. 7362"  • 7362   Go 4+  • ! Qiita 1 4  "5 
    – https://qiita.com/sachaos/items/f6b3e66931d7f73dd68d

26.