- p -

• pad() : padding.cpp
• pad_bit_field() : padding.cpp
• pair_value() : string_constraint_generator_code_points.cpp
• parameter_assignments() : parameter_assignments.cpp , parameter_assignments.h , parameter_assignments.cpp , parameter_assignments.h
• parse_c() : mini_c_parser.h , mini_c_parser.cpp
• parse_c_object_factory_options() : c_object_factory_parameters.cpp , c_object_factory_parameters.h
• parse_caller_callee() : splice_call.cpp
• parse_conversion_specifier() : format_strings.cpp
• parse_cover_options() : cover.cpp , cover.h
• parse_coverage_criterion() : cover.cpp
• parse_field_width() : format_strings.cpp
• parse_flags() : format_strings.cpp
• parse_format_string() : format_strings.cpp , format_strings.h , format_specifier.cpp , format_specifier.h
• parse_function_contract_pair() : dfcc.cpp
• parse_function_pointer_restriction_options_from_cmdline() : restrict_function_pointers.cpp , restrict_function_pointers.h
• parse_java_language_options() : java_bytecode_language.h , java_bytecode_language.cpp
• parse_java_object_factory_options() : java_object_factory_parameters.cpp , java_object_factory_parameters.h
• parse_json() : json_parser.cpp , json_parser.h
• parse_length_modifier() : format_strings.cpp
• parse_lhs_read() : goto_program.cpp
• parse_list_types() : java_types.cpp
• parse_loop_ids() : skip_loops.cpp
• parse_nondet_volatile_options() : nondet_volatile.cpp , nondet_volatile.h
• parse_number_range() : format_number_range.cpp , format_number_range.h
• parse_object_bits_encoding() : config.cpp
• parse_object_factory_options() : object_factory_parameters.cpp , object_factory_parameters.h
• parse_path_strategy_options() : path_storage.cpp , path_storage.h
• parse_precision() : format_strings.cpp
• parse_raw_list_types() : java_types.cpp , java_types.h
• parse_sat_options() : solver_factory.cpp
• parse_smt2_options() : solver_factory.cpp
• parse_solver_options() : solver_factory.cpp , solver_factory.h
• parse_xml() : xml_parser.cpp , xml_parser.h
• path_strategies() : path_storage.cpp
• permitted_by_strict_aliasing() : may_alias.cpp
• perror() : stdio.c
• pipe() : unistd.c
• pointee_decrement_use_count() : cow.h , small_shared_ptr.h
• pointee_increment_use_count() : cow.h , small_shared_ptr.h
• pointee_is_shareable() : cow.h
• pointee_set_shareable() : cow.h
• pointee_set_use_count() : cow.h
• pointee_use_count() : cow.h , small_shared_ptr.h
• pointer_diff_type() : c_types.cpp , c_types.h
• pointer_object() : pointer_predicates.cpp , pointer_predicates.h
• pointer_offset() : pointer_predicates.cpp , pointer_predicates.h
• pointer_offset_bits() : pointer_offset_size.cpp , pointer_offset_size.h
• pointer_offset_bits_as_string() : type2name.cpp
• pointer_offset_size() : pointer_offset_size.cpp , pointer_offset_size.h
• pointer_offset_sum() : pointer_offset_sum.h , pointer_offset_sum.cpp
• pointer_to_replacement_type() : java_utils.cpp , java_utils.h
• pointer_type() : c_types.cpp , c_types.h
• pop_exited_loops() : symex_main.cpp
• pop_frame() : symex_function_call.cpp
• populate_live_range_holes() : java_local_variable_table.cpp
• populate_predecessor_map() : java_local_variable_table.cpp
• populate_variable_address_map() : java_local_variable_table.cpp
• pos() : literal.h
• posix_memalign() : stdlib.c
• postcondition() : postcondition.cpp , postcondition.h
• postprocess_codewarrior() : c_preprocess.cpp
• postprocess_equation() : bmc_util.h , bmc_util.cpp
• potential_race_on_read() : interrupt.cpp
• potential_race_on_write() : interrupt.cpp
• pow() : math.c
• power() : arith_tools.cpp , arith_tools.h
• power10() : rational_tools.cpp
• powf() : math.c
• powl() : math.c
• precondition() : precondition.cpp , precondition.h
• prefix_in_list() : armcc_cmdline.cpp
• prefix_of() : may_alias.cpp
• prepare_property_decider() : bmc_util.cpp , bmc_util.h
• preprocess() : c_wrangler.cpp
• preprocessor_line() : preprocessor_line.cpp , preprocessor_line.h
• pretty_java_type() : java_types.h , java_types.cpp
• pretty_node() : structured_data.cpp
• pretty_print_invariant_with_irep() : invariant_utils.cpp , invariant_utils.h
• pretty_print_java_type() : java_utils.cpp , java_utils.h
• pretty_signature() : java_types.cpp , java_types.h
• print_backtrace() : invariant.cpp , invariant.h
• print_global_state_size() : count_eloc.h , count_eloc.cpp
• print_parse_tree() : smt_response_validation.cpp
• print_path_lengths() : count_eloc.cpp , count_eloc.h
• print_struct_alignment_problems() : alignment_checks.cpp , alignment_checks.h
• print_with_indent() : show_on_source.cpp
• printf() : stdio.c
• process_array_expr() : symex_clean_expr.cpp
• process_bit_fields() : lower_byte_operators.cpp
• process_goto_program() : process_goto_program.h , process_goto_program.cpp
• process_this_argument() : remove_virtual_functions.cpp
• propagate() : propagate.h , propagate.cpp
• propagate_fatal_assertions() : fatal_assertions.cpp , fatal_assertions.h
• propagate_fatal_to_proven() : fatal_assertions.cpp
• property_predicate() : solver_types.cpp
• property_slicer() : full_slicer.cpp , full_slicer.h
• prune_assign() : abstract_environment.cpp
• pthread_barrier_destroy() : pthread_lib.c
• pthread_barrier_init() : pthread_lib.c
• pthread_barrier_wait() : pthread_lib.c
• pthread_cancel() : pthread_lib.c
• pthread_cond_broadcast() : pthread_lib.c
• pthread_cond_init() : pthread_lib.c
• pthread_cond_signal() : pthread_lib.c
• pthread_cond_wait() : pthread_lib.c
• pthread_create() : pthread_lib.c
• pthread_exit() : pthread_lib.c
• pthread_getspecific() : pthread_lib.c
• pthread_join() : pthread_lib.c
• pthread_key_create() : pthread_lib.c
• pthread_key_delete() : pthread_lib.c
• pthread_mutex_destroy() : pthread_lib.c
• pthread_mutex_init() : pthread_lib.c
• pthread_mutex_lock() : pthread_lib.c
• pthread_mutex_trylock() : pthread_lib.c
• pthread_mutex_unlock() : pthread_lib.c
• pthread_mutexattr_settype() : pthread_lib.c
• pthread_rwlock_destroy() : pthread_lib.c
• pthread_rwlock_init() : pthread_lib.c
• pthread_rwlock_rdlock() : pthread_lib.c
• pthread_rwlock_tryrdlock() : pthread_lib.c
• pthread_rwlock_trywrlock() : pthread_lib.c
• pthread_rwlock_unlock() : pthread_lib.c
• pthread_rwlock_wrlock() : pthread_lib.c
• pthread_setspecific() : pthread_lib.c
• pthread_spin_lock() : pthread_lib.c
• pthread_spin_trylock() : pthread_lib.c
• pthread_spin_unlock() : pthread_lib.c
• putchar() : stdio.c
• puts() : stdio.c