Analysing GO code with Souffle
func 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), ...
blog.pzakrzewski.com7 min read