- l -

l : arrayst::array_equalityt , boolbvt::quantifiert , literalt
l1_indices : path_storaget
l1_types : goto_symex_statet
l2_indices : path_storaget
label : build_declaration_hops_inputst , mini_bdd_mgrt::var_table_entryt
label_instruction : build_declaration_hops_inputst
label_references : statement_list_typecheckt
label_scope_index : build_declaration_hops_inputst
labels : goto_convertt::targetst , goto_programt::instructiont
labels_defined : c_typecheck_baset
labels_in_use : goto_program2codet
labels_used : c_typecheck_baset
lambda_method_handle_map : java_bytecode_parse_treet::classt
language : language_filet
language_files : lazy_goto_functions_mapt , lazy_goto_modelt
language_mode : dfcc_contract_functionst , goto_symext , value_set_dereferencet
language_options : java_bytecode_languaget
last : interval
last_declarator : ansi_c_scopet
last_line : parsert
last_path : all_paths_enumeratort
last_peeked : path_lifot
last_source_location : container_encoding_targett , symex_bmct
last_write_context : vsd_configt
last_written_locations : write_location_contextt
latch : dfcc_loop_nesting_graph_nodet
lazy : arrayst::lazy_constraintt
lazy_array_constraints : arrayst
lazy_arrays : arrayst
lazy_method_map : language_filest
lazy_methods_extra_entry_points : ci_lazy_methodst
lazy_methods_mode : java_bytecode_language_optionst
lb : __CPROVER_contracts_car_t , boundst
lcnf_bv : propt
le_set : invariant_sett
leaf : java_bytecode_convert_methodt::block_tree_nodet
leaf_exprs : leaf_enumeratort
leave_set : goto_convertt::leave_targett , goto_convertt::targetst
leave_stack_node : goto_convertt::leave_targett , goto_convertt::targetst
leave_target : goto_convertt::leave_targett , goto_convertt::targetst
left : left_and_right_valuest
left_depth_below_common_ancestor : ancestry_resultt
len : string_ptrt
length : java_bytecode_convert_methodt::holet , java_bytecode_convert_methodt::variablet , java_bytecode_parse_treet::methodt::local_variablet
length_modifier : format_tokent
length_of_array : array_poolt
let_id_count : letifyt
let_symbol : letifyt::let_count_idt
letify : smt2_convt
level : api_messaget
level1 : goto_symex_statet
level2 : goto_statet
levels : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
lex : Parser
lhs : assignmentt , framet::implicationt , left_and_right_valuest
lib : configt::ansi_ct
libraries : compilet
library : dfcc_contract_clauses_codegent , dfcc_contract_functionst , dfcc_contract_handlert , dfcc_instrument_loopt , dfcc_instrumentt , dfcc_is_freeablet , dfcc_is_fresht , dfcc_lift_memory_predicatest , dfcc_obeys_contractt , dfcc_pointer_in_ranget , dfcc_spec_functionst , dfcc_swap_and_wrapt , dfcc_wrapper_programt , dfcct
library_paths : compilet
lifetime : goto_convertt , symbol_factoryt
lifted_parameters : dfcc_lift_memory_predicatest
line : invariant_failedt , xml_graph_nodet
line_no : cpp_tokent , parsert , smt2_tokenizert , smt2_tokenizert::smt2_errort
line_number : cscannert , ctokent , document_propertiest::linet , memory_snapshot_harness_generatort::entry_source_locationt
LINE_SEPARATOR : format_specifiert
lines_covered : coverage_recordt
lines_total : coverage_recordt
link_allocated_caller : dfcc_wrapper_programt
link_deallocated_contract : dfcc_wrapper_programt
link_is_fresh : dfcc_wrapper_programt
linkage_spec : cpp_declarator_convertert
linked_allocated : __CPROVER_contracts_write_set_t
linked_deallocated : __CPROVER_contracts_write_set_t
linked_is_fresh : __CPROVER_contracts_write_set_t
list : __CPROVER_jsa_abstract_node , __CPROVER_jsa_concrete_node , __CPROVER_jsa_iterator , code_with_references_listt
list_count : __CPROVER_jsa_abstract_heap
list_head_nodes : __CPROVER_jsa_abstract_heap
list_memory_usage : string_container_statisticst
list_only : show_goto_functions_jsont , show_goto_functions_xmlt
literal_map : boolbv_mapt::map_entryt
literals : solver_hardnesst::sat_hardnesst
little_endian : elf_readert
live_object_exprs : axiomst
live_variables : cext
liveness : vsd_configt
loaded : dfcc_libraryt
loading_successful : java_bytecode_parse_treet
loc : datat , object_creation_infot , path_nodet , reference_allocationt , symbol_factoryt
loc_infos : local_bitvector_analysist , local_may_aliast
loc_map : local_cfgt
local : abstract_eventt , dfcc_loop_infot
local_bitvector_analysis : goto_check_ct
local_fields : shadow_memory_field_definitionst
local_map : interpretert::stack_framet
local_may_alias : havoc_loopst , k_inductiont
local_may_alias_factory : custom_bitvector_analysist
local_objects : framet
local_static : goto_program2codet
local_static_set : goto_program2codet
local_variable_table : java_bytecode_parse_treet::methodt
locals : function_cfg_infot , goto_program_cfg_infot , java_bytecode_parse_treet::methodt::stack_map_table_entryt , local_bitvector_analysist , local_may_aliast , localst , loop_cfg_infot , string_abstractiont
localsearch_limit : satcheck_cadical_baset
location : conversion_dependenciest , default_trace_stept , location_update_visitort , merge_location_update_visitort , symbolt , symex_coveraget::coverage_infot
location_map : goto_unwindt::unwind_logt
location_number : goto_programt::instructiont , memory_snapshot_harness_generatort::entry_goto_locationt , value_sett
log : arrayst , bv_minimizet , bv_minimizing_dect , cegis_verifiert , code_contractst , compilet , complexity_limitert , counterexample_beautificationt , dfcc_contract_clauses_codegent , dfcc_contract_functionst , dfcc_contract_handlert , dfcc_instrument_loopt , dfcc_instrumentt , dfcc_is_fresht , dfcc_libraryt , dfcc_lift_memory_predicatest , dfcc_obeys_contractt , dfcc_pointer_in_ranget , dfcc_spec_functionst , dfcc_swap_and_wrapt , dfcc_wrapper_programt , dfcct , function_name_manglert< MangleFun > , gdb_apit , goto_check_ct , goto_inlinet , goto_symext , goto_verifiert , havoc_assigns_targetst , incremental_goto_checkert , insert_final_assert_falset , instrument_spec_assignst , java_bytecode_convert_classt , java_bytecode_convert_methodt , java_class_loader_limitt , java_object_factoryt , linker_script_merget , loop_contracts_synthesizer_baset , osx_fat_readert , osx_mach_o_readert , parse_options_baset , parsert , piped_processt , prop_conv_solvert , prop_minimizet , propt , remove_const_function_pointerst , shadow_memoryt , smt2_incremental_decision_proceduret , smt2irept , smt_incremental_dry_run_solvert , smt_piped_solver_processt , symex_target_equationt , taint_analysist
log_map : goto_inlinet::goto_inline_logt
logic : smt2_convt
logical_shift_right : smt_bit_vector_theoryt
long_cnt : ansi_c_convert_typet
long_double_width : configt::ansi_ct
long_int_width : configt::ansi_ct
long_long_int_width : configt::ansi_ct
loop : all_paths_enumeratort , disjunctive_polynomial_accelerationt , enumerating_loop_accelerationt , framet::active_loop_infot , sat_path_enumeratort
loop_analysis : loop_with_parent_analysis_templatet< T, C >
loop_analysis_map : path_storaget
loop_analysist< T, C > : loop_templatet< T, C >
loop_bound_ : string_refinementt
loop_contract : c_wranglert::functiont
loop_contract_config : code_contractst , dfcct
loop_contracts : functiont
loop_counter : acceleration_utilst , disjunctive_polynomial_accelerationt , polynomial_acceleratort , sat_path_enumeratort
loop_entry_offsets : cext
loop_entry_values : cext
loop_havoc_set : cegis_verifiert , code_contractst
loop_header : all_paths_enumeratort , disjunctive_polynomial_accelerationt , enumerating_loop_accelerationt , sat_path_enumeratort
loop_id : dfcc_loop_infot
loop_info_map : dfcc_cfg_infot
loop_instructions : loop_templatet< T, C >
loop_iterations : framet
loop_last_stack : goto_program2codet
loop_limit : solver_optionst
loop_map : goto_program2codet , loop_analysist< T, C > , unwindsett
loop_names : code_contractst
loop_number : goto_programt::instructiont , loop_idt
loop_type : c_wranglert::loop_contract_clauset
loop_unwind_handlers : symex_bmct
loops : event_grapht , goto_program2codet
loops_info : framet
low : mini_bdd_mgrt::reverse_keyt , mini_bdd_nodet
lower : interval_templatet< T >
lower_bound : string_constraintt , widened_ranget
lower_set : interval_templatet< T >
lowlink : grapht< N >::tarjant