Have you considered tracking visibility data in the SCIP schema? As far as I can see, there isn't any way of distinguishing symbols that are exported/public.
I know this would be hard to perfectly capture visibility semantics in a language-generic way, but having some amount of data for this would be really helpful for static analysis tools that want to work out whether symbols are reachable.
Have you considered tracking visibility data in the SCIP schema? As far as I can see, there isn't any way of distinguishing symbols that are exported/public.
I know this would be hard to perfectly capture visibility semantics in a language-generic way, but having some amount of data for this would be really helpful for static analysis tools that want to work out whether symbols are reachable.