awslabs / ar-go-tools

ar-go-tools (Argot) is a collection of analysis tools for Go
Apache License 2.0
5 stars 1 forks source link

Fix non-determinism due to ignoring multiple target for bound labels #70

Closed victornicolet closed 1 month ago

victornicolet commented 1 month ago

Description of changes: This fixes an issue identitified by @ArquintL where bound labels nodes with the same instruction but multiple targets (e.g. multiple free variable indices) were not properly tracked in the summary graph. The added tests required fixing the backtrace analysis for a case where a closure binds a variable that is an argument of the enclosing function.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.