- l -
- l1_typest
: goto_symex_statet
- 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 >
- linest
: source_linest
- linker_valuest
: linker_script_merget
- list_input_varst
: interpretert
- literal_mapt
: boolbv_mapt
- 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
- locationt
: ai_baset
, ai_domain_baset
, ai_domain_factory_baset
, ai_domain_factory_default_constructort< domainT >
, ai_domain_factoryt< domainT >
, ai_history_baset
, ai_storage_baset
, ait< domainT >
, call_grapht
, concurrency_aware_ait< domainT >
, domain_baset
, flow_insensitive_abstract_domain_baset
, flow_insensitive_analysis_baset
, flow_insensitive_analysist< T >
, local_control_flow_decisiont
, static_analysis_baset
, static_analysist< T >
, value_set_analysis_templatet< VSDT >
- log_mapt
: goto_inlinet::goto_inline_logt
- loop_instructionst
: loop_templatet< T >
- loop_last_stackt
: goto_program2codet
- loop_mapt
: loop_analysist< T >
, unwindsett
- loop_unwind_handlert
: symex_bmct
- loopt
: goto_program2codet
, havoc_loopst
, loop_analysist< T >