Piotr Zakrzewskiblog.pzakrzewski.com·Nov 4, 2023Analysing GO code with Soufflefunc main() { a := 1 b := a // you know what value b has without running the program // can another program know it? } When you read source code, you intuitively know what values given variables take (like in the trivial example above), ...721 readsstatic code analysis
