Hello there,
I am looking at clang static analyzer recently, and thinking whether I could make it’s abstract interpretation work across different source files, so that the constraints from source file a.c could be applied to other source files like b.c and c.c.
Any directions/hints on this will be much appreciated.
Br,
Larry