- l -
- label_function_pointer_call_sites()
: label_function_pointer_call_sites.cpp
, label_function_pointer_call_sites.h
- 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
- 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
- link_functions()
: link_goto_model.cpp
- link_goto_model()
: link_goto_model.cpp
, link_goto_model.h
- link_to_library()
: link_to_library.cpp
, link_to_library.h
- 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.cpp
, undefined_functions.h
- load_goto_model_from_java_class()
: load_java_class.cpp
, load_java_class.h
- load_java_class()
: load_java_class.h
, load_java_class.cpp
, load_java_class.h
- 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.h
, mp_arith.cpp
- logic_right_shift()
: mp_arith.h
, mp_arith.cpp
- long_double_type()
: c_types.cpp
, c_types.h
- look_through_casts()
: java_pointer_casts.cpp
- lower_byte_extract()
: byte_operators.cpp
, expr_lowering.h
- lower_byte_extract_complex()
: byte_operators.cpp
- lower_byte_operators()
: expr_lowering.h
, byte_operators.cpp
- lower_byte_update()
: byte_operators.cpp
, 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
- lower_popcount()
: popcount.cpp
, expr_lowering.h
- lt_index()
: java_local_variable_table.cpp
- lt_startpc()
: java_local_variable_table.cpp