Here is a list of all variables with links to the classes they belong to:
- c -
- c : arg_struct, arg_struct_c3, arg_struct_f5i2, arg_struct_fuintint, arg_struct_fuintt, arg_struct_i_ui_ull_f, arg_struct_iuull, arg_struct_u3, cudnnfilterdesc, cudnntensordesc, curandStateScrambledSobol32, curandStateScrambledSobol64
- c_std : configt::language_stdt
- call : numpy_param_call_site
- call_ : function_call_expr
- call_count : cmath_lowering_policy::expr_cost
- call_stack : goto_symex_statet
- callable_names : preprocessor.function_value_dispatch._Plan
- called_names : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- calling_location : goto_symex_statet::framet
- calls : clang_cpp_convertert::subobject_destructort, preprocessor.function_value_types._Analysis, preprocessor.generator_mixin._GeneratorConsumerScan, preprocessor.path_dependent_attributes._Rewrite, preprocessor.path_dependent_attributes._Uses
- can_init_infinite_arrays : array_iface
- can_partially_represent_native : default_value_traits, float_traits_base< T, MantissaDigits, DecimalDigits >, integer_traits_base< T >, native_value_traits< T, NodeType >, string_traits< T >
- can_represent_native : default_value_traits, float_traits_base< T, MantissaDigits, DecimalDigits >, native_value_traits< T, NodeType >, signed_integer_traits< T >, string_traits< T >, unsigned_integer_traits< T >
- candidates : preprocessor.unbound_locals._Analysis
- canMapHostMemory : cudaDeviceProp
- cap_map : clang_cpp_convertert
- capacity : BytesDynamic
- captures : nested_func
- carry_provenance : pointer_type2t
- case_op : code_switch_case2t
- case_op_hi : code_switch_case2t
- case_stacks : goto_convertt::break_switch_targetst, goto_convertt::targetst
- cases : goto_convertt::break_switch_targetst, goto_convertt::targetst
- cases_map : goto_convertt::break_switch_targetst, goto_convertt::targetst
- CD_var : CounterFBNode
- ce_index : bmct::witness_recordt
- cfg : llm::clientt, mathsat_convt
- cformat : constant_floatbv2t, constant_int2t
- char_is_unsigned : configt::ansi_ct
- char_width : configt::ansi_ct
- cheri : configt::ansi_ct
- cheri_concentrate : configt::ansi_ct
- chunk : numpy_nditer_state
- CHUNK_MASK : string_pool
- CHUNK_SHIFT : string_pool
- CHUNK_SIZE : string_pool
- chunk_storage : string_pool
- chunks : string_pool
- claim_after_invariant_havoc : claim_slicer
- claim_comment : claim_slicer
- claim_cstr : claim_slicer
- claim_instruction : claim_slicer
- claim_key : claim_slicer
- claim_loc : claim_slicer
- claim_location : claim_slicer
- claim_msg : claim_slicer
- claim_negation : goto_coveraget
- claim_ploc : claim_slicer
- claim_property : claim_slicer
- claim_skips_deferred : goto_symext
- claim_to_keep : claim_slicer
- clang_c_module : solidity_languaget
- class_attr_annotations : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.dataclass_mixin.DataclassMixin, preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- class_attributes : preprocessor.namedtuple_lowering._Lowering
- class_name : jimple_file
- classes : preprocessor.check_type_lowering._Lowering, preprocessor.namedtuple_lowering._Lowering
- clear_claims_mutex : goto_functionst
- clockRate : cudaDeviceProp
- cmd : subprocess.CalledProcessError
- cmdline : parseoptions_baset
- cmdline_options : cmdlinet
- cname : configt
- cnf_api : cnf_convt
- code : cbmc_instructiont, code_label2t, code_switch_case2t, goto_programt::instructiont
- coil : RungElement, VariableUses
- coil_kind : LdIRNode
- col : LdLocation
- collected_cache : symex_slicet
- collections_module_alias : preprocessor.import_typing_mixin.ImportTypingMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- collections_module_imported : preprocessor.import_typing_mixin.ImportTypingMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- column : invariant, property_locationt, property_rowt, source_position, waypoint
- column_id : waypoint
- comma_operand_temporaries : goto_convertt
- comment : dead_store_advisoryt, goto_trace_stept, symex_target_equationt::SSA_stept, transition_systemt::propertyt
- comments : irept::dt
- comprehension_targets : preprocessor.generator_mixin.GeneratorMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
- computed_gotos : goto_convertt::targetst
- computeMode : cudaDeviceProp
- computeType : cudnnconvoldesc
- concurrentKernels : cudaDeviceProp
- cond : array_convt::array_with, code_dowhile2t, code_for2t, code_ifthenelse2t, code_while2t, goto_symext::deferred_assumptiont, if2t, jimple_if, symex_target_equationt::SSA_stept
- cond_expr : symex_target_equationt::SSA_stept
- cond_neg : symex_target_equationt::SSA_stept
- condition : property_locationt, property_rowt, var_assignment_info
- conditional_depth : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin._ListCompExpressionLowerer
- connected : FBInWire
- constant : exprt, renaming::level2t::valuet
- constant_qualified : signedbv_type2t, unsignedbv_type2t
- constraints : andersent
- constref_suffix : clang_cpp_convertert
- construct : UnsupportedConstructError
- constructor : sideeffect2t
- contact : RungElement, VariableUses
- contact_edge : LdIRNode
- contact_kind : LdIRNode
- content : llm::message_t
- context : assign_params_as_non_det, bmct, clang_c_adjust, clang_c_adjust_irep2, clang_c_convertert, clang_c_maint, goto_check_dead_store, goto_check_excessive_alloc, goto_check_unchecked_return, goto_check_uninit_vars, goto_convertt, goto_cse, goto_loop_invariantt, jimple_converter, language_uit, mark_decl_as_non_det, namespacet, python_adjust, smt_ast, solidity_convertert, w_guardst
- continue_past_failed_assertions : ai_baset
- continue_set : goto_convertt::break_continue_targetst, goto_convertt::targetst
- continue_stack_size : goto_convertt::break_continue_targetst, goto_convertt::targetst
- continue_target : goto_convertt::break_continue_targetst, goto_convertt::targetst
- contract_contents : solidity_convertert
- contract_names : solidity_languaget
- contract_path : solidity_convertert, solidity_languaget
- contractNamesList : solidity_convertert
- contractNamesMap : solidity_convertert
- control : edget
- conv : runtime_encoded_equationt
- converted : array_convt::array_select, array_convt::array_with
- converted_output_args : symex_target_equationt::SSA_stept::output_datat
- converter_ : function_call_expr
- copied : interval_domaint
- copy_definitions : goto_symext
- copy_edges : andersent
- coroutines : preprocessor.coroutine_lowering._Lowering
- count : collections.Counter, renaming::level2t::valuet, unsigned_union_find::nodet, utf8_buffered_reader, utf8_codepoint
- counter : preprocessor.match_lowering._MatchLowering, symbol_generator
- counter_fb : RungElement
- counts : preprocessor.check_type_lowering._Lowering, preprocessor.coroutine_lowering._Lowering
- cov_assume_asserts : goto_coveraget
- cp : escaped_codepoint
- cpp_std : configt::language_stdt
- cpp_type : floatbv_type2t, signedbv_type2t, unsignedbv_type2t
- cpy_time : interval_analysis_ibex_contractor
- crc_val : expr2t, type2t
- create_thread : edget
- creation_ctx_level : tuple_node_smt_ast
- CS_bound : reachability_treet
- cs_bound_pruned : bmct, reachability_treet
- CS_number : execution_statet
- cswitch_forced : execution_statet
- ctest_gen : bmct
- ctor_backBlockDecl : solidity_convertert
- ctor_frontBlockDecl : solidity_convertert
- ctr_CD : LdIRNode
- ctr_CU : LdIRNode
- ctr_CV : LdIRNode
- ctr_instance : LdIRNode
- ctr_kind : LdIRNode
- ctr_LD : LdIRNode
- ctr_PV : LdIRNode
- ctr_Q : LdIRNode
- ctr_R : LdIRNode
- ctx : array_convt, smt_tuple_node_flattener, smt_tuple_sym_flattener
- ctx_level : array_convt::array_of_val_rec, array_convt::array_select, array_convt::array_with, array_convt::idx_record, array_convt::index_map_rec, array_convt::touched_array, smt_solver_baset
- CU_var : CounterFBNode
- cur_frame_it : reachability_treet
- cur_function_ptr_targets : goto_symex_statet::framet
- cur_seg : goto_symex_statet
- cur_state : goto_symext
- current_baseContractName : solidity_convertert
- current_BinOp_type : solidity_convertert
- current_block : clang_c_convertert
- current_class_name : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.core_visitors_mixin.CoreVisitorsMixin
- current_forStmt : solidity_convertert
- current_functionDecl : clang_c_convertert, solidity_convertert
- current_functionName : solidity_convertert
- current_hashes : execution_statet::state_hashing_level2t
- current_lhsDecl : solidity_convertert
- current_names : renaming::level1t, renaming::level2t
- current_rhsDecl : solidity_convertert
- current_scope_var_num : clang_c_convertert
- current_start_var : preprocessor.loop_mixin.LoopMixin
- current_target : goto_program_dereferencet
- current_valid_objects_sym : smt_solver_baset
- CV_var : CounterFBNode
- cvt_progress : runtime_encoded_equationt
- cwe : nodet
- cwes : cwe_rule_t
- cycle_branch_map : goto_symex_statet
- cycle_head : nodet
1.15.0