PIPS
Data Fields
pv_results Struct Reference

pv_results is a structure holding the different results of an expression pointer values analysis More...

#include <pointer_values-local.h>

+ Collaboration diagram for pv_results:

Data Fields

list l_out
 
list result_paths
 resulting pointer_values More...
 
list result_paths_interpretations
 resulting pointer path of the expression evaluation More...
 

Detailed Description

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.

Field Documentation

◆ l_out

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().

◆ result_paths

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().

◆ result_paths_interpretations

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().

The documentation for this struct was generated from the following files: