New answers tagged software-verification
0
Great question! Typically, pointer dereferences are treated no differently than any other operation, like addition and multiplication. So the control flow graph would be:
*a = *b + *c; ==> *b = *c + *d; ==> *c = *d + *e;
Sometimes, when building a CFG it is useful to break up a complex expression into its individual steps. In that case, we would get ...
Top 50 recent answers are included