call graphs in output contain spurious edges

github-vet / bots

Bots for running analysis on GitHub's public Go repositories and crowdsourcing their classification.

MIT License

1 stars 1 forks source link

call graphs in output contain spurious edges #93

Closed kalexmills closed 3 years ago

kalexmills commented 3 years ago

The callgraph being reported in https://github.com/github-vet/rangeloop-pointer-findings/issues/8083 has some strange edges, including a few outgoing edges from Atoi which make absolutely no sense. The repository does not contain any declaration bodies for Atoi so this seems impossible on its face.

kalexmills commented 3 years ago

aaand this is what we'd expect if we were corrupting the callstack during the BFS; It looks like that's what we're doing! aren't slices fun?!