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

Partial field sensitivity #47

Closed victornicolet closed 6 months ago

victornicolet commented 7 months ago

This PR adds intra-procedural field sensitivity. This can be activated globally by setting the option:

options:
   field-sensitive: true

in your config file.

This also brings some optimizations to the intra-procedural analysis running time.