ruleguard: dynamic inspection rules for Go

New CodeQL-Like Analyzer for Go.

Go compiler: SSA optimization rules description language

Learn how to write new SSA optimization rules for Go compiler.