Figure: GMOD analysis provides a list of all non-local variables that are modified or conditionally modified by a function (either immediately in the given function or transitively in one of its callees). The list includes heap-allocated variables. CodeSurfer also performs GREF analysis, which shows all the non-local variables a function uses (reads).