- l -

• l1_typest : goto_symex_statet
• label_referencest : statement_list_typecheckt
• labelst : goto_convertt , goto_programt::instructiont
• lambda_method_handle_mapt : java_bytecode_parse_treet::classt
• lambda_method_handlet : java_bytecode_parsert
• lazy_method_mapt : language_filest
• lcfd_ptrt : local_control_flow_decisiont , local_control_flow_historyt< track_forward_jumps, track_backward_jumps >
• leaf_listt : d_containert< keyT, valueT, equalT > , sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT > , sharing_nodet< keyT, valueT, equalT >
• leaft : d_containert< keyT, valueT, equalT > , sharing_nodet< keyT, valueT, equalT >
• lexical_loopt : lexical_loops_templatet< P, T, C >
• linest : source_linest
• linker_valuest : linker_script_merget
• list_input_varst : interpretert
• liveness_context_ptrt : liveness_contextt
• loc_infost : local_bitvector_analysist , local_may_aliast
• loc_mapt : local_cfgt
• local_static_declst : dump_ct
• local_variable_table_with_holest : java_bytecode_convert_methodt
• local_variable_tablet : java_bytecode_convert_methodt , java_bytecode_parse_treet::methodt
• local_variablet : java_bytecode_convert_methodt
• local_verification_type_infot : java_bytecode_parse_treet::methodt::stack_map_table_entryt
• localization_points_valuet : goto_symex_fault_localizert
• localization_pointst : goto_symex_fault_localizert
• locals_sett : localst
• localst : string_abstractiont
• location_mapt : goto_unwindt::unwind_logt
• locationst : call_grapht , context_abstract_objectt
• locationt : abstract_objectt , ai_baset , ai_domain_baset , ai_domain_factory_baset , ai_domain_factory_default_constructort< domainT > , ai_domain_factory_location_constructort< domainT > , ai_domain_factoryt< domainT > , ai_history_baset , ai_storage_baset , ait< domainT > , call_grapht , concurrency_aware_ait< domainT > , flow_insensitive_abstract_domain_baset , flow_insensitive_analysis_baset , flow_insensitive_analysist< T > , local_control_flow_decisiont , value_set_analysis_templatet< VSDT >
• loct : state_encodingt
• log_mapt : goto_inlinet::goto_inline_logt
• loop_instructionst : loop_templatet< T, C >
• loop_last_stackt : goto_program2codet
• loop_mapt : loop_analysist< T, C > , unwindsett
• loop_unwind_handlert : symex_bmct
• loopt : goto_program2codet , havoc_loopst , loop_analysist< T, C >