when running a self-written checker, we get the following message
traversal: base CFG too large to build
traversal: CFG too big, skipping function
Looks like this was a bug in the current version - I recently saw a note that it was fixed for version 6.0 (out next month).
I'm not sure if there is a work-around before then.
thanks for the reply.
What is the impact of the error?
It seems that since we are using this checker the \details\" link in the webinterface allowing to see called functions inlined is missing.
I believe that what you describe is a bug that was resolved in 5.5.3.
If you're on 5.5.1 I recommend upgrading to 5.5.3 for analysis and CIM to get all the latest bug fixes.
Yup, upgrading static analysis AND extend to 5.5.3 solved that problem.