Nicholas Ng
Nicholas Ng
Yes, this might happen if a struct is nil.
MWE ``` package main func main() { var x []int for i := 0; i < 3; i++ { x = append(x, i) } } ```
This can be resolved by visiting the block from multiple edges into the block and assume the symbolic value to non-nil value.
Is it possible for you to attach the generated global graph (and the output of the synthesis?
/cc @julien-lange Confirmed as incorrect behaviour - fix will be issued in synthesis tool
Could you try running `cabal install` to install gong? Full instructions are here: https://github.com/nickng/gong
## Cloning Rather than ``` git clone ssh://github.com/nickng/gong.git ``` Try using the `https://` URL for cloning as in the README ``` git clone https://github.com/nickng/gong.git ``` ## Dependencies I don't think...
Hi there :wave: The project is not actively being maintained, but it looks like the installation problems is because the code hasn't been migrated to Go modules. Could you try...
I'm not entirely sure but it should display the result in this screen. It's been a while I've used the tool but in case it helps, you'll need to build...
A possible reason why > no initial packages were loaded is that this tool only analyses applications and not packages. It looks for the `main` package in the directory supplied...