retdec
|
A CFG traversal that checks whether a variable is modified prior to every read access to it starting from a given statement. More...
#include "retdec/llvmir2hll/graphs/cfg/cfg_traversal.h"
Go to the source code of this file.
Classes | |
class | retdec::llvmir2hll::ModifiedBeforeReadCFGTraversal |
A CFG traversal that checks whether a variable is modified prior to every read access to it starting from a given statement. More... | |
Namespaces | |
retdec | |
retdec::llvmir2hll | |
A CFG traversal that checks whether a variable is modified prior to every read access to it starting from a given statement.