Here is a list of all functions with links to the files they belong to:
- c -
- c11_atomic_signature() : clang_c_adjust_polymorphic_functions.cpp
- c_expr2string() : c_expr2string.cpp, c_expr2string.h
- c_float_literal_suffix() : c_types.cpp, c_types.h
- c_implicit_typecast() : c_typecast.cpp, c_typecast.h
- c_implicit_typecast_arithmetic() : c_typecast.cpp, c_typecast.h
- c_link() : c_link.cpp, c_link.h
- c_preprocess() : c_preprocess.cpp, c_preprocess.h
- c_sizeof() : c_sizeof.cpp, c_sizeof.h
- c_type2string() : c_expr2string.cpp, c_expr2string.h
- cabs() : complex.c
- cached_double_type() : type_handler.h
- calc_globals_used() : property_monitors.cpp
- call_as_value() : converter_funcall.cpp
- call_expr_delegate() : irep2_dispatch.h
- call_expr_delegate< const expr2tc, expr2t::const_op_delegate >() : irep2_dispatch.h, irep2_utils.cpp
- call_expr_delegate< expr2tc, expr2t::op_delegate >() : irep2_dispatch.h, irep2_utils.cpp
- call_once() : threads.h, threads_lib.c
- call_receiver() : converter_class.cpp
- call_runs_body() : add_race_assertions.cpp
- call_site_argument() : converter_funcdef.cpp
- call_site_types_agree() : annotation_conversion.inl
- call_type_delegate() : irep2_dispatch.h
- call_type_delegate< const type2tc, type2t::const_subtype_delegate >() : irep2_dispatch.h, irep2_utils.cpp
- call_type_delegate< type2tc, type2t::subtype_delegate >() : irep2_dispatch.h, irep2_utils.cpp
- called_function() : converter_class.cpp
- called_function_name() : reachability_tree.cpp
- callee_frame_bits() : contracts.cpp
- callee_parameter_offset() : converter_funcdef.cpp
- calloc() : stdlib.h, stdlib.c
- can_carry_provenance() : smt_casts.cpp
- can_typecast_argument() : goto_inline.cpp
- can_write_all() : test_gen_guard.h
- cancel_common_addend_operand() : expr_simplifier.cpp
- cancel_common_unary_operand() : expr_simplifier.cpp
- cancel_shared_pointer_base() : expr_simplifier.cpp
- cannot_throw() : clang_cpp_convert.cpp
- capability_from_components() : smt_casts.cpp
- capability_struct2() : smt_casts.cpp
- capability_struct_from_cap() : smt_casts.cpp
- capability_struct_type2() : smt_casts.cpp
- capability_union_type2() : smt_casts.cpp
- capped_alignment() : padding.cpp
- capture_global_name() : nested_func_transform.cpp
- capture_param_name() : nested_func_transform.cpp
- carg() : complex.c
- carries_base_adjustment() : clang_c_adjust_code.cpp
- carry_builtin_signature() : clang_c_adjust_polymorphic_functions.cpp
- cast_numpy_linspace_literal_to_dtype() : numpy_call_expr.cpp
- cast_numpy_literal_to_dtype() : numpy_call_expr.cpp
- cast_to() : ld_converter.cpp, converter_binop.cpp
- catch_all_handler() : clang_cpp_convert.cpp
- cbmc_static_init() : goto_program.cpp
- cbmc_static_init_value() : goto_program.cpp
- cbrt() : cbrt.c
- cbrtf() : cbrtf.c
- cbrtl() : cbrtl.c
- ceil_def() : ceil.c
- cerr() : libstl.cpp
- char16_type() : c_types.cpp, c_types.h
- char32_type() : c_types.cpp, c_types.h
- char_pointer_of() : converter_compare.cpp
- char_type() : c_types.cpp, c_types.h
- char_type2() : c_types.cpp, c_types.h
- check_c_implicit_typecast() : c_typecast.cpp, c_typecast.h
- check_chain_points_forward() : execution_state.cpp
- check_declaration() : plcopen_xml_parser.cpp
- check_eno_consumers() : plcopen_xml_parser.cpp
- check_fptr_use() : nested_func_transform.cpp
- check_gfp_flags() : kernel.c
- check_graphical_en() : plcopen_xml_parser.cpp
- check_if_sideeffect_or_assign_expr() : goto2c_check.cpp
- check_known_pin() : plcopen_xml_parser.cpp
- check_known_pin_if_std() : plcopen_xml_parser.cpp
- check_known_pins() : plcopen_xml_parser.cpp
- check_numpy_integer_cast() : numpy_call_expr.cpp
- check_numpy_logical_chain_depth() : numpy_call_expr.cpp
- check_replace_invalid_assignment() : witnesses.cpp, witnesses.h
- check_simplification_equivalence() : simplification_equivalence.cpp, simplification_equivalence.h
- check_solver_availability() : solve.cpp, solve.h
- check_textual_enable_pins() : plcopen_xml_parser.cpp
- check_tuple_field() : smt_tuple.cpp, smt_tuple.h
- check_var_name() : goto_loops.cpp, goto_loops.h
- checked_storage() : plcopen_xml_parser.cpp
- checks_exception() : remove_exceptions.cpp, remove_exceptions.h
- cimag() : complex.c
- cin() : libstl.cpp
- clang_vfs_path() : vfs_paths.h
- clang_vfs_root() : vfs_paths.h
- class_ancestors() : builtins.cpp
- class_assignments() : converter_stmt.cpp
- class_binds_attribute() : converter_expr.cpp
- class_defines_init() : expr.cpp
- class_exception_ids() : clang_cpp_exception_id.cpp
- class_has_method() : python_builtins.cpp
- class_key() : builtins.cpp
- class_object_escapes() : builtins.cpp
- class_object_str() : expr.cpp
- classes_defining() : python_converter.cpp
- classify_address() : plcopen_xml_parser.cpp
- classify_def() : fpclassify.c
- classify_existing() : test_gen_guard.h
- clearerr() : stdio.h
- clock() : time.h, time.c
- clock_getcpuclockid() : time.h, time.c
- clock_getres() : time.h, time.c
- clock_gettime() : time.h, time.c
- clock_nanosleep() : time.h, time.c
- clock_settime() : time.h, time.c
- close() : io.c
- closure() : add_race_assertions.cpp
- cnd_broadcast() : threads.h, threads_lib.c
- cnd_destroy() : threads.h, threads_lib.c
- cnd_init() : threads.h, threads_lib.c
- cnd_signal() : threads.h, threads_lib.c
- cnd_timedwait() : threads.h, threads_lib.c
- cnd_wait() : threads.h, threads_lib.c
- coerce_and_rebuild() : expr_simplifier.cpp
- coerce_ternary_branch() : converter_stmt.cpp, migrate.cpp
- coerce_to_common_type() : expr_simplifier.cpp
- coerce_to_type() : migrate.cpp
- cofactor_det() : numpy_call_expr.cpp
- coil_kind_attribute() : plcopen_xml_parser.cpp
- coil_kind_of() : plcopen_xml_parser.cpp
- collect_address_taken() : add_race_assertions.cpp, reachability_tree.cpp
- collect_address_taken_functions() : add_race_assertions.cpp
- collect_and_conjuncts() : goto_sideeffects.cpp
- collect_assigned_values() : converter_funcdef.cpp
- collect_atomic_reads() : goto_convert.cpp
- collect_base_subobject_offsets() : memory_alloc.cpp
- collect_call_sites() : converter_funcdef.cpp
- collect_callees() : add_race_assertions.cpp
- collect_class_nodes() : converter_symbols.cpp
- collect_classinfo() : builtins.cpp
- collect_clause_globals() : contracts.cpp
- collect_dereferences() : gcse.cpp
- collect_dict_stores() : converter_funcall.cpp
- collect_dict_values() : converter_funcall.cpp
- collect_escapes_through_calls() : add_race_assertions.cpp
- collect_expr_deps() : cprover_library.cpp
- collect_l1_phis() : symex_goto.cpp
- collect_library_assertion_files() : property_report.cpp, property_report.h
- collect_local_decls() : clang_c_convert.cpp
- collect_local_vars() : nested_func_transform.cpp
- collect_method_self_members() : converter_class.cpp
- collect_nested_local_decls() : converter_funcdef.cpp
- collect_nested_stores() : converter_funcall.cpp
- collect_nondet_reads() : build_goto_trace.cpp
- collect_nondet_values() : witnesses.cpp, witnesses.h
- collect_object_root() : reachability_tree.cpp
- collect_or_disjuncts() : goto_sideeffects.cpp
- collect_own_returns() : converter_funcall.cpp
- collect_params() : nested_func_transform.cpp
- collect_reachable_returns() : converter_funcdef.cpp
- collect_reallocs() : gcse.cpp
- collect_reference_member_temporaries() : goto_convert.cpp
- collect_restrict_params() : add_restrict_assertions.cpp
- collect_scope_bindings() : converter_symbols.cpp
- collect_self_attr_stores_of_param() : converter_funcdef.cpp
- collect_self_ctor_args() : converter_class.cpp
- collect_self_members() : converter_class.cpp
- collect_subobjects() : memory_ops.cpp
- collect_symbol_names() : property_monitors.cpp, contracts.cpp
- collect_symbols() : transition_system.cpp, transition_system.h
- collect_symbols_local() : goto_loop_invariant.cpp
- collect_taken_functions() : goto_function.cpp
- collect_thread_escaped_locals() : add_race_assertions.cpp
- collect_unsafe_container_names() : python_consteval.cpp
- collect_uses() : plcopen_xml_parser.cpp
- collect_whole_reads() : goto_convert.cpp
- collect_write_targets() : reachability_tree.cpp
- collect_written_objects() : gcse.cpp
- colorize_flag_refs() : driver.cpp
- combine_constant_shifts() : expr_simplifier.cpp
- common_array_type() : converter_stmt.cpp
- common_float_type() : st_fb_translator.cpp
- common_int_type() : ld_converter.cpp
- compare_float_suffix() : builtin_names.cpp, builtin_names.h
- compare_unscore_builtin() : builtin_names.cpp, builtin_names.h
- compare_with_bare_base() : expr_simplifier.cpp
- complete_type() : symbolic_types.cpp
- complex_literal_leaves() : numpy_call_expr.cpp
- complex_to_bool_expr() : type_handler.h
- component_index() : converter_class.cpp
- compound_assign_operator() : goto_sideeffects.cpp
- compute_always_atomic_functions() : add_race_assertions.cpp
- compute_broadcast_shape() : numpy_call_expr.cpp
- compute_effective_captures() : nested_func_transform.cpp
- compute_escaping_params() : add_race_assertions.cpp
- compute_pointer_offset() : type_byte_size.cpp, type_byte_size.h
- compute_pointer_offset_bits() : type_byte_size.cpp, type_byte_size.h
- compute_pre_thread_functions() : add_race_assertions.cpp
- compute_thread_spawners() : reachability_tree.cpp
- concat_tree() : smt_bitcast.cpp
- concatenate() : toml.hpp
- condition_coverage_enabled() : goto_convert_functions.cpp
- conditional_branch_source() : clang_cpp_convert.cpp
- conditions_equivalent() : expr_simplifier.cpp
- configure_and_run_cpp() : c_preprocess.cpp
- configured_language() : language_util.cpp, language_util.h
- conjunction() : irep2_utils.cpp, irep2_utils.h
- connect() : socket.h, socket_lib.c
- const_literal() : literal.h
- constant_bound_to() : python_dict_internal.h
- constant_byteorder() : expr.cpp
- constant_index_into_array() : smt_solver.cpp
- constant_keeps_type() : converter_expr.cpp
- constant_number_type_name() : builder.cpp
- constant_string_is_empty() : converter_stmt.cpp
- constant_view_layout() : converter_stmt.cpp
- constructed_symbol() : goto_convert.cpp
- construction_position() : clang_cpp_convert.cpp
- constructor_callees() : converter_funcdef.cpp
- constructor_dtype_name() : numpy_call_expr.cpp
- contact_edge_from_string() : plcopen_xml_parser.cpp
- container_is_name() : converter_binop.cpp
- contains_bytes_literal() : python_consteval.cpp
- contains_call() : converter_binop.cpp
- contains_call_node() : converter_funcdef.cpp
- contains_cpp_throw() : converter_expr.cpp
- contains_float() : interval_domain.cpp
- contains_sideeffect() : clang_c_adjust_expr.cpp, clang_c_adjust_irep2.cpp
- contains_symbol() : contracts.cpp
- contiguous_strides() : python_list_internal.h
- control_pin() : plcopen_xml_parser.cpp
- convert() : goto_program_irep.cpp, goto_program_irep.h, xml_goto_trace.cpp, xml_goto_trace.h, value_set_analysis.cpp, xml_irep.cpp, xml_irep.h
- convert_bit_cast() : clang_c_convert.cpp
- convert_capability_member() : dynamic_allocation.cpp
- convert_claims() : set_claims.cpp
- convert_exception_id() : clang_cpp_exception_id.cpp, clang_cpp_exception_id.h
- convert_expression_to_code() : clang_c_adjust_polymorphic_functions.cpp
- convert_float_literal() : convert_float_literal.cpp, convert_float_literal.h
- convert_operand_pair() : migrate.cpp
- convert_scalar_rhs() : converter_stmt.cpp
- convert_utf8() : string_constant.cpp
- copied_node() : converter_stmt.cpp
- copy_from_user() : uaccess.h, kernel.c
- copy_homogeneous_elem_types() : converter_stmt.cpp
- copy_into_float() : memory_ops.cpp
- copy_primitive() : memory_ops.cpp
- copy_to_user() : uaccess.h, kernel.c
- copysign_def() : copysign.c
- correctness_graphml_goto_trace() : goto_trace.cpp, goto_trace.h
- correctness_yaml_goto_trace() : goto_trace.cpp, goto_trace.h
- cos() : cos.c
- cosf() : cosf.c
- cosh() : cosh.c
- count_attr_writers() : annotation_conversion.inl
- count_bindings() : python_lambda.cpp, python_lambda.h
- count_effective_bits() : numpy_call_expr.cpp
- count_name_bindings() : python_dict_internal.h
- count_name_stores() : converter_funcdef.cpp
- count_nodes_up_to() : symex_goto.cpp
- count_properties() : property_report.cpp, property_report.h
- count_reached_goals() : bmc.cpp
- count_scope_stores() : converter_funcdef.cpp
- count_symbol_occurrences() : goto_sideeffects.cpp
- count_type_keeping_aug_assigns() : converter_expr.cpp
- counterexample_value() : goto_trace.cpp, goto_trace.h
- cout() : libstl.cpp
- coverage_silences_claim() : bmc.cpp
- cpp_expr2string() : cpp_expr2string.cpp, cpp_expr2string.h
- cpp_new_size() : migrate.cpp
- cpp_type2string() : cpp_expr2string.cpp, cpp_expr2string.h
- cpython_library_bodies() : python_blank_library.cpp, python_library.cpp, python_library.h
- creal() : complex.c
- create_binary_op() : numpy_call_expr.cpp
- create_correctness_graph_node() : witnesses.cpp, witnesses.h
- create_correctness_yaml_emitter() : witnesses.cpp, witnesses.h
- create_edge_node() : witnesses.cpp, witnesses.h
- create_exception_state_symbols() : exception_globals.cpp, exception_globals.h
- create_graphml() : witnesses.cpp, witnesses.h
- create_greaterthanequal_relation() : goto_expr_factory.cpp, goto_expr_factory.h
- create_lessthanequal_relation() : goto_expr_factory.cpp, goto_expr_factory.h
- create_list() : numpy_call_expr.cpp
- create_new_bitwuzla_solver() : bitwuzla_conv.cpp
- create_new_bitwuzllob_solver() : bitwuzllob_conv.cpp
- create_new_boolector_solver() : boolector_conv.cpp
- create_new_cvc5_solver() : cvc5_conv.cpp
- create_new_cvc_solver() : cvc_conv.cpp
- create_new_mathsat_solver() : mathsat_conv.cpp
- create_new_minisat_solver() : minisat_conv.cpp
- create_new_neurosym_solver() : neurosym_conv.cpp
- create_new_smtlib_solver() : smtlib_conv.cpp
- create_new_yices_solver() : yices_conv.cpp
- create_new_z3_solver() : z3_conv.cpp
- create_node_node() : witnesses.cpp, witnesses.h
- create_solver() : solve.cpp, solve.h
- create_value_expr() : goto_expr_factory.cpp, goto_expr_factory.h
- create_violation_graph_node() : witnesses.cpp, witnesses.h
- create_violation_yaml_emitter() : witnesses.cpp, witnesses.h
- create_waypoint() : witnesses.cpp, witnesses.h
- ctest_output_dir() : bmc.cpp
- ctime() : time.h, time.c
- ctime_r() : time.h, time.c
- ctor_arms_are_spellable() : converter_stmt.cpp
- ctor_class_id() : clang_cpp_adjust_code_gen.cpp
- ctor_dtor_marker() : migrate.cpp
- ctor_needs_is_complete_param() : clang_cpp_convert.cpp
- cublasCreate() : cublas.h
- cublasDaxpy() : cublas.h
- cublasDcopy() : cublas.h
- cublasDdot() : cublas.h
- cublasDestroy() : cublas.h
- cublasDgemm() : cublas.h
- cublasDscal() : cublas.h
- cublasDswap() : cublas.h
- cublasGetMatrix() : cublas.h
- cublasGetVector() : cublas.h
- cublasSaxpy() : cublas.h
- cublasScopy() : cublas.h
- cublasSdot() : cublas.h
- cublasSetMatrix() : cublas.h
- cublasSetVector() : cublas.h
- cublasSgemm() : cublas.h
- cublasSscal() : cublas.h
- cublasSswap() : cublas.h
- cudaBindTexture() : cuda_runtime_api.h
- cudaBindTexture2D() : cuda_runtime_api.h
- cudaChooseDevice() : cuda_runtime_api.h
- cudaDeviceActive() : cuda_runtime_api.h
- cudaDeviceCanAccessPeer() : cuda_runtime_api.h
- cudaDeviceDisablePeerAccess() : cuda_runtime_api.h
- cudaDeviceEnablePeerAccess() : cuda_runtime_api.h
- cudaDeviceGetAttribute() : cuda_runtime_api.h
- cudaDeviceGetByPCIBusId() : cuda_runtime_api.h
- cudaDeviceGetCacheConfig() : cuda_runtime_api.h
- cudaDeviceGetLimit() : cuda_runtime_api.h
- cudaDeviceGetPCIBusId() : cuda_runtime_api.h
- cudaDeviceGetSharedMemConfig() : cuda_runtime_api.h
- cudaDeviceGetStreamPriorityRange() : cuda_runtime_api.h
- cudaDeviceInsert() : cuda_runtime_api.h
- cudaDeviceReset() : cuda_runtime_api.h
- cudaDeviceStart() : cuda_runtime_api.h
- cudaDeviceSynchronize() : cuda_runtime_api.h
- cudaDriverGetVersion() : cuda_runtime_api.h
- cudaEventCreate() : cuda_runtime_api.h
- cudaEventCreateWithFlags() : cuda_runtime_api.h
- cudaEventDestroy() : cuda_runtime_api.h
- cudaEventElapsedTime() : cuda_runtime_api.h
- cudaEventQuery() : cuda_runtime_api.h
- cudaEventSynchronize() : cuda_runtime_api.h
- cudaFree() : cuda_runtime_api.h
- cudaFreeHost() : cuda_runtime_api.h
- cudaFuncGetAttributes() : cuda_runtime_api.h
- cudaGetDevice() : cuda_runtime_api.h
- cudaGetDeviceCount() : cuda_runtime_api.h
- cudaGetDeviceProperties() : cuda_runtime_api.h
- cudaGetErrorName() : cuda_runtime_api.h
- cudaGetErrorString() : cuda_runtime_api.h
- cudaGetLastError() : cuda_runtime_api.h
- cudaGetSurfaceReference() : cuda_runtime_api.h
- cudaGetSymbolAddress() : cuda_runtime_api.h
- cudaGetSymbolSize() : cuda_runtime_api.h
- cudaGetTextureAlignmentOffset() : cuda_runtime_api.h
- cudaGetTextureReference() : cuda_runtime_api.h
- cudaHostAlloc() : cuda_runtime_api.h
- cudaHostGetDevicePointer() : cuda_runtime_api.h
- cudaHostGetFlags() : cuda_runtime_api.h
- cudaHostRegister() : cuda_runtime_api.h
- cudaHostUnregister() : cuda_runtime_api.h
- cudaInsertThread() : cuda.h
- cudaIpcCloseMemHandle() : cuda_runtime_api.h
- cudaLaunch() : cuda_runtime_api.h
- cudaMalloc() : cuda_runtime_api.h
- cudaMalloc3D() : cuda_runtime_api.h
- cudaMallocHost() : cuda_runtime_api.h
- cudaMallocManaged() : cuda_runtime_api.h
- cudaMallocPitch() : cuda_runtime_api.h
- cudaMemcpy() : cuda_runtime_api.h
- cudaMemcpy2D() : cuda_runtime_api.h
- cudaMemcpy3D() : cuda_runtime_api.h
- cudaMemcpy3DPeer() : cuda_runtime_api.h
- cudaMemcpyFromSymbol() : cuda_runtime_api.h
- cudaMemcpyPeer() : cuda_runtime_api.h
- cudaMemcpyToSymbol() : cuda_runtime_api.h
- cudaMemGetInfo() : cuda_runtime_api.h
- cudaMemset() : cuda_runtime_api.h
- cudaMemset2D() : cuda_runtime_api.h
- cudaMemset3D() : cuda_runtime_api.h
- cudaPeekAtLastError() : cuda_runtime_api.h
- cudaPointerGetAttributes() : cuda_runtime_api.h
- cudaPrintDevice() : cuda_runtime_api.h
- cudaRuntimeGetVersion() : cuda_runtime_api.h
- cudaSetDevice() : cuda_runtime_api.h
- cudaSetDeviceFlags() : cuda_runtime_api.h
- cudaSetDoubleForDevice() : cuda_runtime_api.h
- cudaSetDoubleForHost() : cuda_runtime_api.h
- cudaSetupArgument() : cuda_runtime_api.h
- cudaSetValidDevices() : cuda_runtime_api.h
- cudaThreadExit() : cuda_runtime_api.h
- cudaThreadSynchronize() : cuda_runtime_api.h
- cudaUnbindTexture() : cuda_runtime_api.h
- cudnnActivationBackward() : cudnn.h
- cudnnActivationForward() : cudnn.h
- cudnnAddTensor() : cudnn.h
- cudnnConvolutionBackwardBias() : cudnn.h
- cudnnConvolutionBackwardData() : cudnn.h
- cudnnConvolutionBackwardFilter() : cudnn.h
- cudnnConvolutionForward() : cudnn.h
- cudnnCreate() : cudnn.h
- cudnnCreateActivationDescriptor() : cudnn.h
- cudnnCreateConvolutionDescriptor() : cudnn.h
- cudnnCreateFilterDescriptor() : cudnn.h
- cudnnCreateTensorDescriptor() : cudnn.h
- cudnnDestroy() : cudnn.h
- cudnnDestroyActivationDescriptor() : cudnn.h
- cudnnDestroyTensorDescriptor() : cudnn.h
- cudnnDivisiveNormalizationBackward() : cudnn.h
- cudnnDivisiveNormalizationForward() : cudnn.h
- cudnnGetConvolution2dForwardOutputDim() : cudnn.h
- cudnnSetActivationDescriptor() : cudnn.h
- cudnnSetConvolution2dDescriptor() : cudnn.h
- cudnnSetFilter4dDescriptor() : cudnn.h
- cudnnSetTensor4dDescriptor() : cudnn.h
- curand() : curand_kernel.h
- curand_init() : curand_kernel.h
- curand_uniform() : curand_kernel.h
- curand_uniform_double() : curand_kernel.h
- curandCreateGenerator() : curand.h
- curandCreateGeneratorHost() : curand.h
- curandDestroyGenerator() : curand.h
- curandGenerate() : curand.h
- curandGenerateLogNormal() : curand.h
- curandGenerateLogNormalDouble() : curand.h
- curandGenerateLongLong() : curand.h
- curandGenerateNormal() : curand.h
- curandGenerateNormalDouble() : curand.h
- curandGenerateSeeds() : curand.h
- curandGenerateUniform() : curand.h
- curandGenerateUniformDouble() : curand.h
- curandGetDirectionVectors32() : curand.h
- curandGetDirectionVectors64() : curand.h
- curandGetScrambleConstants32() : curand.h
- curandGetScrambleConstants64() : curand.h
- curandGetVersion() : curand.h
- curandSetGeneratorOffset() : curand.h
- curandSetGeneratorOrdering() : curand.h
- curandSetPseudoRandomGeneratorSeed() : curand.h
- curandSetQuasiRandomGeneratorDimensions() : curand.h
- curandSetStream() : curand.h
- current_exception_name() : main.cpp
- current_time() : time_stopping.cpp, time_stopping.h
- cwe_for() : cwe_mapping.cpp, cwe_mapping.h
- cwe_name() : cwe_mapping.cpp, cwe_mapping.h
- cwe_rule_for() : cwe_mapping.cpp, cwe_mapping.h