Udpate dependencies, fix logging and context for code identifiers.

awslabs / ar-go-tools

ar-go-tools (Argot) is a collection of analysis tools for Go

Apache License 2.0

25 stars 1 forks source link

Closed victornicolet closed 3 months ago

victornicolet commented 3 months ago

Improve logging and messages.
Small fix to avoid panic when calling Type on ssa values.
Add intermediate trace nodes for more understandable traces.
Stop analysis when max alarms is reached; allows faster debugging of the analysis.

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