Add static analysis tools to CI

DistCompiler / pgo

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

https://distcompiler.github.io/

Apache License 2.0

173 stars 13 forks source link

Open shayanh opened 2 years ago

shayanh commented 2 years ago

Preferably both for Go and Scala codes.

dgryski commented 2 years ago

Static analysis tooling for the Java code or the Go runtime and generated code?

shayanh commented 2 years ago

@dgryski Thanks for the question, I meant both Go and Scala code (we recently rewrote the compiler in Scala).