- l -
- label_function_pointer_call_sites() : label_function_pointer_call_sites.h, label_function_pointer_call_sites.cpp
- label_properties() : set_properties.cpp, set_properties.h, set_properties.cpp, set_properties.h
- lambda_method_handle() : lambda_synthesis.cpp
- lambda_synthetic_class_name() : lambda_synthesis.cpp, lambda_synthesis.h
- lambda_type() : mathematical_expr.cpp
- lazy() : lazy.h
- length_constraint_for_concat() : string_concatenation_builtin_function.cpp, string_constraint_generator.h
- length_constraint_for_concat_char() : string_concatenation_builtin_function.cpp, string_constraint_generator.h
- length_constraint_for_concat_substr() : string_concatenation_builtin_function.cpp, string_constraint_generator.h
- length_for_format_specifier() : string_format_builtin_function.cpp, string_format_builtin_function.h
- length_of_decimal_int() : string_format_builtin_function.cpp, string_format_builtin_function.h
- length_of_positive_decimal_int() : string_format_builtin_function.cpp
- less_than() : string_expr.h
- less_than_or_equal_to() : string_expr.h
- lift_clinit_calls() : lift_clinit_calls.cpp, lift_clinit_calls.h
- lift_if() : expr_util.cpp, expr_util.h
- line_string_opt() : unreachable_instructions.cpp
- link_functions() : link_goto_model.cpp
- link_goto_model() : link_goto_model.cpp, link_goto_model.h
- link_to_library() : link_to_library.h, link_to_library.cpp
- linker_name() : gcc_mode.cpp, ld_mode.cpp
- linking() : linking.cpp, linking.h
- lisp2irep() : lispirep.cpp, lispirep.h
- list_calls_and_arguments() : call_sequences.cpp, call_sequences.h
- list_eloc() : count_eloc.cpp, count_eloc.h
- list_functions() : unreachable_instructions.cpp
- list_undefined_functions() : undefined_functions.h, undefined_functions.cpp
- load_goto_model_from_java_class() : load_java_class.cpp, load_java_class.h
- load_java_class() : load_java_class.cpp, load_java_class.h, load_java_class.cpp
- load_java_class_lazy() : load_java_class.cpp, load_java_class.h
- locality() : symex_function_call.cpp
- location_number_less_than() : ensure_one_backedge_per_target.cpp
- logic_left_shift() : mp_arith.cpp, mp_arith.h
- logic_right_shift() : mp_arith.h, mp_arith.cpp
- long_double_type() : c_types.cpp, c_types.h
- lookup_decision_procedure_result() : smt2_incremental_decision_procedure.cpp
- lower_byte_extract() : byte_operators.cpp, expr_lowering.h
- lower_byte_extract_array_vector() : byte_operators.cpp
- lower_byte_extract_complex() : byte_operators.cpp
- lower_byte_operators() : byte_operators.cpp, expr_lowering.h
- lower_byte_update() : expr_lowering.h, byte_operators.cpp
- lower_byte_update_array_vector() : byte_operators.cpp
- lower_byte_update_array_vector_non_const() : byte_operators.cpp
- lower_byte_update_array_vector_unbounded() : byte_operators.cpp
- lower_byte_update_byte_array_vector() : byte_operators.cpp
- lower_byte_update_byte_array_vector_non_const() : byte_operators.cpp
- lower_byte_update_struct() : byte_operators.cpp
- lower_byte_update_union() : byte_operators.cpp
- lower_case_string_expression() : simplify_expr.cpp
- lower_interval() : interval_template.h
- lt_index() : java_local_variable_table.cpp
- lt_startpc() : java_local_variable_table.cpp