Analysing GO code with Souffle

Nov 4, 2023 · 7 min read · 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), ...