retdec
cfg_traversals Directory Reference
Directory dependency graph for cfg_traversals:
/var/cache/acbs/build/acbs.6bu6osb6/retdec/include/retdec/llvmir2hll/graphs/cfg/cfg_traversals

Files

file  lhs_rhs_uses_cfg_traversal.h [code]
 A CFG traversal that for an assign statement S returns the uses of its left-hand side such that there are no uses of its right-hand side before them.
 
file  modified_before_read_cfg_traversal.h [code]
 A CFG traversal that checks whether a variable is modified prior to every read access to it starting from a given statement.
 
file  no_var_def_cfg_traversal.h [code]
 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.
 
file  nodes_of_var_use_cfg_traversal.h [code]
 A CFG traversal that returns a map where key is a VarDefStmt statement and item is the set of nodes where a variable from the VarDefStmt statement is used.
 
file  optim_func_info_cfg_traversal.h [code]
 A CFG traversal for computing OptimFuncInfos.
 
file  var_def_cfg_traversal.h [code]
 A CFG traversal that checks whether a variable is defined/modified between two statements.
 
file  var_use_cfg_traversal.h [code]
 A CFG traversal that checks whether a variable is defined/modified prior to every read access to it in a function.