osaca package

Subpackages

• osaca.api package
  • osaca.api.kerncraft_interface module
  • Module contents
• osaca.parser package
  • osaca.parser.attr_dict module
  • osaca.parser.base_parser module
  • osaca.parser.parser_AArch64v81 module
  • osaca.parser.parser_x86att module
  • Module contents
• osaca.semantics package
  • osaca.semantics.arch_semantics module
  • osaca.semantics.hw_model module
  • osaca.semantics.isa_semantics module
  • osaca.semantics.kernel_dg module
  • osaca.semantics.marker_utils module
  • Module contents

Submodules

osaca.db_interface module

osaca.frontend module

osaca.osaca module

osaca.utils module

find_datafile(name)

Check for existence of name in user or package data folders and return path.