issues
search
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
Small fixes
#52
Closed
victornicolet
closed
6 months ago
victornicolet
commented
6 months ago
This PR brings a few fixes:
44 : the issue was caused by spurious aliasing through the DebugRef instructions
reduce memory usage: some instructions like DebugRefs never need to be tracked.
argot-cli was missing some analyses (computing interface sinks) and results were different from running the taint tool
This PR brings a few fixes:
44 : the issue was caused by spurious aliasing through the DebugRef instructions