ooee123 / Thesis2

1 stars 1 forks source link

PDGGenerationVisitor #2

Open ooee123 opened 7 years ago

ooee123 commented 7 years ago

Is there a distinction between readMemory and global memory accesses?

So: printf, we don't know its function, so it does not involve global memory accesses, but needs to be in the correct order and does not depend on any variable.

A function that modifies global memory like global variables are just dependent on those global variables.

A function that reads/writes whatever a pointer points to is dependent on all data before it.