Capabilities in taint analysis

awslabs / ar-go-tools

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

Apache License 2.0

9 stars 1 forks source link

Closed samarth-aws closed 7 months ago

samarth-aws commented 9 months ago

Issue #, if available: Addresses #45

Description of changes: Adds the ability to specify capabilities for sources and sinks in the taint analysis.

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

samarth-aws commented 7 months ago

The capslock library requires a deprecated version of the pointer analysis which breaks our code so we can't use it for now