retdec
Classes | Namespaces
no_var_def_cfg_traversal.h File Reference

A CFG traversal that checks whether no variable in a given set is defined/modified between a start statement and a set of end statements. More...

#include "retdec/llvmir2hll/graphs/cfg/cfg_traversal.h"
#include "retdec/llvmir2hll/support/types.h"

Go to the source code of this file.

Classes

class  retdec::llvmir2hll::NoVarDefCFGTraversal
 A CFG traversal that checks whether no variable in a given set is defined/modified between a start statement and a set of end statements. More...
 

Namespaces

 retdec
 
 retdec::llvmir2hll
 

Detailed Description

A CFG traversal that checks whether no variable in a given set is defined/modified between a start statement and a set of end statements.