Static analysis of explicit purity constraints in Go: Design and verification of mikoto
I created mikoto, which checks the number of lines in Go functions and explicit purity constraints. It handles value-type boundaries, AST and type information, generic type sets, and implicit pointer references, and, based on five bug fixes and verification results, considers the scope and limits of static analysis.