Skip to content

SMG: use pointer value even if address is unknown

Петров Олег Максимович requested to merge fix49-use-known-symvalues-for-unknown-addresses into smg-master

We are reading address from a known symbolic value that is not a pointer in the SMG. Do use the stored value even as the pointed object is assumed unknown.

Closes #49.

Merge request reports