This post has NOT been accepted by the mailing list yet.
I am new to clang and I try to write a Static Analyser checker that check if the a struct field is in a valid range. This field can be manipulated by a function. Everything is written in C and the function is defined externally:
I use the checkPostCall to reason on the value of record_t::tag given the semantic of tag_update that is known. I am trying to find a proper key to update the state of the checker and try to use the MemRegion of the argument of tag_update. It always resolve to nullptr. The same thing as a SymbolRef.
1) Does someone know why?
2) What is the proper way to get a unique key to update the state in those various cases?