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

Fix on-demand summarization #5

Closed samarth-aws closed 1 year ago

samarth-aws commented 1 year ago

Description of changes:

Fix on-demand summarization for taint analysis and use the repurposed taint analysis tests to also test ahead-of-time summarization for the backtrace analysis.