PIPS
|
pv_results is a structure holding the different results of an expression pointer values analysis More...
#include <pointer_values-local.h>
Data Fields | |
list | l_out |
list | result_paths |
resulting pointer_values More... | |
list | result_paths_interpretations |
resulting pointer path of the expression evaluation More... | |
pv_results is a structure holding the different results of an expression pointer values analysis
Definition at line 76 of file pointer_values-local.h.
list pv_results::l_out |
Definition at line 77 of file pointer_values-local.h.
Referenced by assignment_to_post_pv(), binary_arithmetic_operator_to_post_pv(), call_to_post_pv(), conditional_operator_to_post_pv(), declaration_to_post_pv(), default_intrinsic_to_post_pv(), expression_to_post_pv(), external_call_to_post_pv(), forloop_to_post_pv(), free_to_post_pv(), heap_intrinsic_to_post_pv(), instruction_to_post_pv(), intrinsic_to_identical_post_pv(), logical_operator_to_post_pv(), loop_to_post_pv(), make_pv_results(), multiple_pointer_assignment_to_post_pv(), pointer_values_remove_var(), print_pv_results(), range_to_post_pv(), safe_intrinsic_to_post_pv(), sequence_to_post_pv(), single_pointer_assignment_to_post_pv(), test_to_post_pv(), update_operator_to_post_pv(), and whileloop_to_post_pv().
list pv_results::result_paths |
resulting pointer_values
Definition at line 78 of file pointer_values-local.h.
Referenced by assignment_to_post_pv(), binary_arithmetic_operator_to_post_pv(), call_to_post_pv(), conditional_operator_to_post_pv(), dereferencing_to_post_pv(), expression_to_post_pv(), external_call_to_post_pv(), field_to_post_pv(), free_pv_results_paths(), heap_intrinsic_to_post_pv(), logical_operator_to_post_pv(), make_pv_results(), multiple_pointer_assignment_to_post_pv(), point_to_to_post_pv(), print_pv_results(), safe_intrinsic_to_post_pv(), single_pointer_assignment_to_post_pv(), and update_operator_to_post_pv().
list pv_results::result_paths_interpretations |
resulting pointer path of the expression evaluation
Definition at line 79 of file pointer_values-local.h.
Referenced by address_of_to_post_pv(), assignment_to_post_pv(), binary_arithmetic_operator_to_post_pv(), call_to_post_pv(), conditional_operator_to_post_pv(), dereferencing_to_post_pv(), expression_to_post_pv(), external_call_to_post_pv(), free_pv_results_paths(), heap_intrinsic_to_post_pv(), logical_operator_to_post_pv(), make_pv_results(), print_pv_results(), safe_intrinsic_to_post_pv(), and single_pointer_assignment_to_post_pv().