m2isar.backends.etiss.virtualstruct_utils
Helper functions for dealing with ETISS VirtualStruct and GDBCore.
Attributes
Functions
|
Convert a list of integers into a list of contiguous ranges and single values. |
|
|
|
|
|
|
|
|
|
Module Contents
- list_to_ranges(nums: List[int]) List[int | range][source]
Convert a list of integers into a list of contiguous ranges and single values. - Contiguous sequences (len >= 2) -> range(start, stop) - Single isolated numbers -> int
- get_gdb_mapping(mapping: dict, registers: dict[str, arch.RegisterBank | arch.Register], register_aliases: dict[str, arch.Alias], memories: dict[str, arch.Memory], memory_aliases: dict[str, arch.Alias], parameters: dict[str, arch.Parameter])[source]
- get_virtualstruct_regs(mapping: dict, registers: dict[str, arch.RegisterBank | arch.Register], register_aliases: dict[str, arch.Alias], memories: dict[str, arch.Memory], memory_aliases: dict[str, arch.Alias], parameters: dict[str, arch.Parameter])[source]