ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Operator to dereference a pointer.
source_locationt & add_source_location()
The plus expression Associativity is not specified.
API to expression classes for Pointers.
dereference_exprt rewrite_index(const index_exprt &index_expr)
rewrite a[i] to *(a+i)
API to expression classes.