retdec
|
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. | |