gcc/gcc/analyzer/ Source Tree

../
access-diagram.cc access_diagram_impl accessed_region_spatial_item bit_to_table_map boundaries compound_svalue_spatial_item direction_widget spatial_item string_literal_spatial_item svalue_spatial_item valid_region_spatial_item written_svalue_spatial_item x_aligned_table_widget x_aligned_x_ruler_widget
access-diagram.h access_diagram access_operation access_range bit_size_expr
analysis-plan.cc
analysis-plan.h analysis_plan
analyzer-language.cc
analyzer-language.h translation_unit
analyzer-logging.cc
analyzer-logging.h log_scope log_user logger
analyzer-pass.cc
analyzer-selftests.cc
analyzer-selftests.h
analyzer.cc
analyzer.h access_direction builtin_known_function custom_edge_info internal_known_function known_function path_context path_var plugin_analyzer_init_iface pure_known_function_with_default_return region_offset auto_cfun consolidation_map member_function_hash_traits pod_hash_traits
bar-chart.cc
bar-chart.h bar_chart
bounds-checking.cc concrete_buffer_over_read concrete_buffer_overflow concrete_buffer_under_read concrete_buffer_underwrite concrete_out_of_bounds concrete_past_the_end out_of_bounds symbolic_buffer_over_read symbolic_buffer_overflow symbolic_past_the_end
call-details.cc overlapping_buffers
call-details.h call_arg_details call_details
call-info.cc
call-info.h call_info failed_call_info succeed_or_fail_call_info success_call_info
call-string.cc
call-string.h call_string
call-summary.cc
call-summary.h call_summary call_summary_replay
checker-event.cc inlining_info
checker-event.h call_event cfg_edge_event checker_event custom_event debug_event end_cfg_edge_event end_consolidated_cfg_edges_event event_kind event_loc_info function_entry_event inlined_call_event precanned_custom_event region_creation_event region_creation_event_allocation_size region_creation_event_capacity region_creation_event_debug region_creation_event_memory_space return_event rewind_event rewind_from_longjmp_event rewind_to_setjmp_event setjmp_event start_cfg_edge_event start_consolidated_cfg_edges_event state_change_event statement_event superedge_event warning_event
checker-path.cc
checker-path.h checker_path
complexity.cc
complexity.h complexity
constraint-manager.cc dead_svalue_purger merger_fact_visitor replay_fact_visitor sval_finder svalue_purger
constraint-manager.h bound bound_kind bounded_range bounded_ranges bounded_ranges_constraint bounded_ranges_manager constraint constraint_manager constraint_op equiv_class equiv_class_id fact_visitor range default_hash_traits
diagnostic-manager.cc auto_checking_feasibility dedupe_hash_map_traits dedupe_key dedupe_winners dump_eg_with_shortest_path epath_finder feasible_worklist null_assignment_sm_context path_builder state_change_event_creator
diagnostic-manager.h diagnostic_manager pending_location saved_diagnostic
engine.cc call_summary_edge_info enode_label exploded_cluster exploded_graph_annotator function_call_string function_call_string_cluster impl_path_context impl_sm_context jump_through_null leak_stmt_finder plugin_analyzer_init_impl root_cluster stale_jmp_buf supernode_cluster tainted_args_call_info tainted_args_callback_custom_event tainted_args_field_custom_event tainted_args_function_custom_event tainted_args_function_info viz_callgraph viz_callgraph_cluster viz_callgraph_edge viz_callgraph_node viz_callgraph_traits default_hash_traits
engine.h
exploded-graph.h dynamic_call_info_t eg_hash_map_traits eg_point_hash_map_traits eg_traits exploded_edge exploded_graph exploded_node exploded_path feasibility_problem feasibility_state impl_region_model_context per_call_string_data per_function_data per_program_point_data point_and_state rewind_info_t stats stmt_finder strongly_connected_components worklist
feasible-graph.cc
feasible-graph.h base_feasible_edge base_feasible_node feasible_cluster feasible_edge feasible_graph feasible_node fg_traits infeasible_edge infeasible_node
function-set.cc
function-set.h function_set
infinite-recursion.cc infinite_recursion_diagnostic
inlining-iterator.h inlining_iterator
kf-analyzer.cc dump_path_diagnostic kf_analyzer_break kf_analyzer_describe kf_analyzer_dump_capacity kf_analyzer_dump_escaped kf_analyzer_dump_exploded_nodes kf_analyzer_dump_named_constant kf_analyzer_dump_path kf_analyzer_dump_region_model kf_analyzer_eval kf_analyzer_get_unknown_ptr
kf-lang-cp.cc kf_operator_delete kf_operator_new
kf.cc kf_alloca kf_atomic_exchange kf_atomic_exchange_n kf_atomic_fetch_op kf_atomic_load kf_atomic_load_n kf_atomic_op_fetch kf_atomic_store_n kf_calloc kf_errno_location kf_error kf_expect kf_fopen kf_free kf_malloc kf_memcpy_memmove kf_memset kf_putenv kf_realloc kf_sprintf kf_stack_restore kf_stack_save kf_strcat kf_strchr kf_strcpy kf_strdup kf_strlen kf_strncpy kf_strndup kf_strstr kf_ubsan_bounds putenv_of_auto_var
known-function-manager.cc
known-function-manager.h known_function_manager
pending-diagnostic.cc
pending-diagnostic.h call_with_state event_desc final_event return_of_state state_change interesting_t pending_diagnostic pending_diagnostic_subclass pending_note pending_note_subclass
program-point.cc debug_diagnostic_context
program-point.h format function_point point_kind program_point
program-state.cc
program-state.h extrinsic_state program_state sm_state_map state_change_visitor
ranges.cc
ranges.h symbolic_byte_offset symbolic_byte_range
reachability.h reachability
record-layout.cc
record-layout.h record_layout
region-model-asm.cc
region-model-manager.cc
region-model-manager.h region_model_manager
region-model-reachability.cc
region-model-reachability.h reachable_regions
region-model.cc append_regions_cb_data bad_pointer_finder contains_floating_point_visitor dubious_allocation_size exposure_through_uninit_copy float_as_size_arg fragment imprecise_floating_point_arithmetic iterable_cluster poisoned_value_diagnostic reason_attr_access coord_test shift_count_negative_diagnostic shift_count_overflow_diagnostic size_visitor write_to_const_diagnostic write_to_string_literal_diagnostic
region-model.h annotating_context engine model_merger noop_region_model_context one_way_id_map purge_stats region_model region_model_context region_model_context_decorator region_to_value_map rejected_constraint rejected_default_case rejected_op_constraint rejected_ranges_constraint test_region_model_context tentative_region_model_context visitor
region.cc linear_op
region.h alloca_region bit_range_region cast_region code_region decl_region element_region errno_region field_region frame_region function_region globals_region heap_allocated_region heap_region label_region memory_space offset_region region region_kind root_region sized_region space_region stack_region string_region symbolic_region thread_local_region unknown_region var_arg_region default_hash_traits
sm-fd.cc kf_accept kf_bind kf_connect kf_isatty kf_listen kf_pipe kf_read kf_socket
sm-file.cc kf_ferror kf_fgets kf_fileno kf_fread kf_getc kf_getchar kf_stdio_output_fn
sm-malloc.cc
sm-pattern-test.cc
sm-sensitive.cc
sm-signal.cc
sm-taint.cc
sm.cc
sm.h custom_transition sm_context state_machine
state-purge.cc gimple_op_visitor
state-purge.h state_purge_annotator state_purge_map state_purge_per_decl state_purge_per_ssa_name state_purge_per_tree default_hash_traits
store.cc region_finder
store.h binding_cluster binding_key binding_map bit_range byte_range concrete_binding store store_manager symbolic_binding uncertainty_t default_hash_traits
supergraph.cc
supergraph.h call_superedge callgraph_superedge callsite_expr cfg_superedge dot_annotator edge_kind return_superedge saved_uids superedge supergraph supergraph_dot_flags supergraph_traits supernode switch_cfg_superedge
svalue.cc involvement_visitor
svalue.h asm_output_svalue binop_svalue bits_within_svalue compound_svalue conjured_purge conjured_svalue const_fn_result_svalue constant_svalue initial_svalue placeholder_svalue poison_kind poisoned_svalue region_svalue repeated_svalue setjmp_record setjmp_svalue sub_svalue svalue svalue_kind unaryop_svalue unknown_svalue unmergeable_svalue widening_svalue default_hash_traits
symbol.cc
symbol.h symbol
trimmed-graph.cc
trimmed-graph.h tg_traits trimmed_cluster trimmed_edge trimmed_graph trimmed_node
varargs.cc kf_va_arg kf_va_copy kf_va_end kf_va_start va_arg_diagnostic va_arg_type_mismatch va_list_exhausted