Index

A

absolute_address() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemoryCell property) account_for_pc_save_only() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) add_basic_block() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) add_element() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) add_instruction() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) add_next_label() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) add_offset() (ScEpTIC.emulator.memory.Memory method) add_other_pc() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) add_prev_label() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) add_to_custom_basic_block() (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) add_to_custom_exit_block() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) add_to_custom_preheader() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) address_dimension (ScEpTIC.AST.elements.types.Type attribute) address_uncertainty() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) address_war_hazards() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) adjust_alloca_ticks() (ScEpTIC.AST.elements.function.Function method) adjust_conditional_basic_blocks() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser.ConditionalParser method) adjust_dummy_writes() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) adjust_functions_stack() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) adjust_loop_basic_blocks() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser.LoopParser method) ALIGN (ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser.MemoryTagsParser attribute) all_elements (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock attribute) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock attribute) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock attribute) AllocaOperation (class in ScEpTIC.AST.elements.instructions.memory_operations)

allocate() (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_gst.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_stack.VirtualStack method) allocate_registers() (in module ScEpTIC.AST.register_allocation.linear_scan) already_processed() (ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier.NVMInstructionsIdentifier static method) analyze_memory_traces() (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate.LocateMemoryAnomaliesInterruptionManager method) anomaly_found() (ScEpTIC.emulator.stats.ScEpTICStats method) AnomalyException append_alloca_operation() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) append_load_operation() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) append_store_operation() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) apply() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) apply_implicit_restore() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) apply_implicit_save() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) apply_transformation() (in module ScEpTIC.AST.transformations) (in module ScEpTIC.AST.transformations.mementos_memory_map) (in module ScEpTIC.AST.transformations.nv_memory_map) (in module ScEpTIC.AST.transformations.ratchet) (in module ScEpTIC.AST.transformations.virtual_memory) apply_virtual_memory_transformations() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) args() (ScEpTIC.AST.builtins.builtin.Builtin property) ASTParser (class in ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser) ASTParsingException atoi() (in module ScEpTIC.tools) attach_body() (ScEpTIC.AST.elements.function.Function method)

B

BaseASTElement (class in ScEpTIC.AST.transformations.virtual_memory.elements.base_element) BaselineDataAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) BaselineInputAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) BaseType (class in ScEpTIC.AST.elements.types) BasicBlock (class in ScEpTIC.AST.transformations.virtual_memory.elements.basic_block) BasicBlocksParser (class in ScEpTIC.AST.transformations.virtual_memory.parsers.elements.basic_blocks_parser)

BinaryOperation (class in ScEpTIC.AST.elements.instructions.binary_operation) BranchOperation (class in ScEpTIC.AST.elements.instructions.termination_instructions) build_input_lookup_data() (in module ScEpTIC.tools) Builtin (class in ScEpTIC.AST.builtins.builtin) BuiltinLinker (class in ScEpTIC.AST.builtins.linker) builtins (ScEpTIC.AST.builtins.builtin.Builtin attribute)

C

CallOperation (class in ScEpTIC.AST.elements.instructions.other_operations) calls_checkpoint() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) calls_to() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) checkpoint_executed() (ScEpTIC.emulator.stats.ScEpTICStats method) checkpoint_restored() (ScEpTIC.emulator.stats.ScEpTICStats method) CheckpointConditionalNormalizer (class in ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.conditionals) CheckpointLoopNormalizer (class in ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.loops) CheckpointManager (class in ScEpTIC.emulator.intermittent_executor.checkpoint_manager) CheckpointPlacer (class in ScEpTIC.AST.transformations.ratchet.checkpoint_placer) collapse_switch_statement() (in module ScEpTIC.llvmir_parser.token_generator) collect_memory_trace (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate.LocateMemoryAnomaliesInterruptionManager attribute) collect_memory_trace() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemoryCell method) compare_with_dump() (ScEpTIC.emulator.register_file.register_file.RegisterFile method) CompareOperation (class in ScEpTIC.AST.elements.instructions.other_operations) CompositeMemoryAccessMetadata (class in ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata) ComputationIntervalsManager (class in ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager)

compute_registers_usage() (in module ScEpTIC.AST.register_allocation.linear_scan) ConditionalBlock (class in ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block) ConditionalParser (class in ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser) ConfigurationException consistency_models (ScEpTIC.emulator.io.input.InputManager attribute) consolidate_memory_operations() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) ConversionOperation (class in ScEpTIC.AST.elements.instructions.conversion) convert_bin_to_sint() (ScEpTIC.AST.elements.value.Value static method) convert_bin_to_uint() (ScEpTIC.AST.elements.value.Value static method) convert_dimension() (ScEpTIC.emulator.memory.Memory static method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) convert_sint_to_bin() (ScEpTIC.AST.elements.value.Value static method) convert_sint_to_sint() (ScEpTIC.AST.elements.value.Value static method) convert_sint_to_uint() (ScEpTIC.AST.elements.value.Value static method) convert_uint_to_bin() (ScEpTIC.AST.elements.value.Value static method) convert_uint_to_sint() (ScEpTIC.AST.elements.value.Value static method) create_checkpoint() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) create_dummy_write() (ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser.MemoryTagsParser method) create_input() (ScEpTIC.emulator.io.input.InputManager class method) create_output() (ScEpTIC.emulator.io.output.OutputManager class method) create_register_file() (in module ScEpTIC.emulator.register_file) current_instruction() (ScEpTIC.emulator.vmstate.VMState property) CustomType (class in ScEpTIC.AST.elements.types)

D

DataAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) deallocate() (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_gst.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_stack.VirtualStack method) declarations (ScEpTIC.AST.elements.function.Function attribute) default_gst() (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier property) default_idempotent (ScEpTIC.emulator.io.output.OutputManager attribute) define_builtin() (ScEpTIC.AST.builtins.builtin.Builtin class method) define_input() (ScEpTIC.emulator.io.input.InputSkeleton class method) define_output() (ScEpTIC.emulator.io.output.OutputSkeleton class method) diff() (ScEpTIC.emulator.io.output.OutputManager class method) (ScEpTIC.emulator.memory.virtual_gst.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method)

direct() (ScEpTIC.emulator.register_file.register.Register static method) divide_into_sections() (in module ScEpTIC.llvmir_parser.sections_divider) do_call_post_processing() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) do_call_pre_processing() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) do_checkpoint() (ScEpTIC.emulator.intermittent_executor.checkpoint_manager.CheckpointManager method) do_data_anomaly_check (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate.EvaluateMemoryAnomaliesInterruptionManager attribute) do_dump() (ScEpTIC.emulator.intermittent_executor.checkpoint_manager.CheckpointManager method) do_liveness_analysis() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) do_register_allocation() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) do_restore() (ScEpTIC.emulator.intermittent_executor.checkpoint_manager.CheckpointManager method) dump() (ScEpTIC.emulator.io.output.OutputManager class method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) dump_restored() (ScEpTIC.emulator.stats.ScEpTICStats method)

E

elements (ScEpTIC.AST.elements.function.Function attribute) (ScEpTIC.AST.elements.global_var.GlobalVar attribute) (ScEpTIC.AST.elements.metadata.Metadata attribute) (ScEpTIC.AST.elements.types.CustomType attribute) empty() (ScEpTIC.AST.elements.types.Type class method) EnergyCalculator (class in ScEpTIC.emulator.energy) EnergyMeasureInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure)

evaluate_reset_condition() (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingReset method) evaluate_run_test() (ScEpTIC.emulator.vm.VM method) EvaluateMemoryAnomaliesInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate) expire_old() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) extract_function_body() (in module ScEpTIC.llvmir_parser.sections_divider) extract_loop() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser.LoopParser method) extract_type() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) extract_type_and_attributes() (in module ScEpTIC.llvmir_parser.sections_parser.function)

F

fancy_dict_keys_to_str() (in module ScEpTIC.tools) fancy_dict_to_str() (in module ScEpTIC.tools) fancy_format() (ScEpTIC.AST.elements.metadata.Metadata static method) fancy_list_to_str() (in module ScEpTIC.tools) first_basic_block_id() (ScEpTIC.AST.elements.function.Function property) flat_composition() (ScEpTIC.AST.elements.types.Type static method) flat_list() (in module ScEpTIC.tools) flatten() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method)

flatten_multilevel_list() (in module ScEpTIC.tools) force_nvm_reset() (ScEpTIC.emulator.memory.Memory method) force_path_fill (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser.ConditionalParser attribute) force_reset() (ScEpTIC.emulator.memory.virtual_ram.NVM method) free() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemoryCell method) free_reg() (ScEpTIC.AST.register_allocation.linear_scan.register_pool.RegisterPool method) Function (class in ScEpTIC.AST.elements.function) function_def_elements_extractor() (in module ScEpTIC.llvmir_parser.sections_divider)

G

get_address_symbol() (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) get_all_instructions_targeting_nvm() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) get_all_instructions_targeting_nvm_after() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) get_alloca_regs() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) get_ast() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) get_base_memory_tag() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) get_basic_blocks() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_cell_input_lookup() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) get_cells_from_address() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) get_changes() (ScEpTIC.emulator.io.output.OutputManager class method) get_code_len() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_consistency_model() (ScEpTIC.emulator.io.input.InputManager class method) get_consumer_pc() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) get_debug_data_element() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) get_defs() (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.value.Value method) get_element() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) get_element_metadata() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) get_elements_lines() (in module ScEpTIC.llvmir_parser.sections_divider) get_flatten_ast() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) get_found_anomalies() (ScEpTIC.emulator.vm.VM method) get_function_attributes_group() (in module ScEpTIC.llvmir_parser.sections_parser.function) get_function_max_reg_usage() (ScEpTIC.AST.elements.instructions.other_operations.CallOperation method) get_function_names() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) get_ignore() (ScEpTIC.AST.elements.function.Function method) (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) get_index_in_context() (in module ScEpTIC.tools) get_index_of_closed_par() (in module ScEpTIC.tools) get_indexes_of_matching_tokens() (in module ScEpTIC.tools) get_input_lookup() (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation method) (ScEpTIC.AST.elements.instructions.other_operations.PhiOperation method) (ScEpTIC.AST.elements.instructions.other_operations.SelectOperation method) (ScEpTIC.AST.elements.value.Value method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemoryCell method) (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) get_input_value() (ScEpTIC.emulator.io.input.InputManager class method) get_instruction_from_pc() (ScEpTIC.emulator.vmstate.VMState method) get_instruction_id() (ScEpTIC.AST.elements.function.Function method) get_interruption_manager() (in module ScEpTIC.emulator.intermittent_executor.interruption_managers) get_label() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_labels() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_list_apex_boundaries() (in module ScEpTIC.tools) get_list_boundaries() (in module ScEpTIC.tools) get_load_address() (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) get_measured_idempotency() (ScEpTIC.emulator.io.output.OutputManager class method) get_memory_composition() (ScEpTIC.AST.elements.types.CustomType method) (ScEpTIC.AST.elements.types.Type method) get_memory_tag_first_reads_writes() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_memory_tag_last_reads_writes() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_memory_tag_reads() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_memory_tag_writes() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) get_memory_usage_list() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) get_metadata_body() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) get_metadata_body_arg_list() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) get_metadata_right_side() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) get_name_from_computation_interval_id() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager static method) get_nested_loops() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method)

get_next_labels() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) get_observation_info() (ScEpTIC.emulator.vm.VM method) get_ordered_computation_interval() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) get_ordered_flatten_computation_interval() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) get_output_profiling_info() (ScEpTIC.emulator.vm.VM method) get_output_val() (ScEpTIC.emulator.io.output.OutputSkeleton method) get_outside_frame_read_volatile() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) get_previous_labels() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) get_producer_pc() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) get_profiling_info() (ScEpTIC.emulator.vm.VM method) get_real_address() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) get_real_next_prev() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) get_reg() (ScEpTIC.AST.register_allocation.linear_scan.register_pool.RegisterPool method) get_register_allocator() (in module ScEpTIC.AST.register_allocation) get_regs_first_use_def() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) get_run_info() (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog method) get_simple_dump() (ScEpTIC.emulator.intermittent_executor.checkpoint_manager.CheckpointManager method) get_source_file_name() (in module ScEpTIC.llvmir_parser.sections_parser.headers) get_specific_attr_parser() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) get_store_address() (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) get_symbol_address() (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) get_symbols_from_file() (in module ScEpTIC.llvmir_parser.token_generator) get_symbols_from_line() (in module ScEpTIC.llvmir_parser.token_generator) get_target_datalayout() (in module ScEpTIC.llvmir_parser.sections_parser.headers) get_target_triple() (in module ScEpTIC.llvmir_parser.sections_parser.headers) get_type() (ScEpTIC.emulator.intermittent_executor.anomalies.DataAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.InputPolicyAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.MemoryAccessAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.MemoryMapAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.OutputAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.StackARAnomaly method) (ScEpTIC.emulator.intermittent_executor.anomalies.WARAnomaly method) get_type_from_virtual_reg() (ScEpTIC.AST.elements.instructions.other_operations.CallOperation method) get_unique_volatile_elements() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) get_uses() (ScEpTIC.AST.builtins.builtin.Builtin method) (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CallOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation method) (ScEpTIC.AST.elements.instructions.other_operations.PhiOperation method) (ScEpTIC.AST.elements.instructions.other_operations.SelectOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.BranchOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.SwitchOperation method) (ScEpTIC.AST.elements.value.Value method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingChangeInputVal method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingReset method) get_val() (ScEpTIC.AST.builtins.builtin.Builtin method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation method) (ScEpTIC.AST.elements.instructions.other_operations.PhiOperation method) (ScEpTIC.AST.elements.instructions.other_operations.SelectOperation method) (ScEpTIC.AST.elements.value.Value method) (ScEpTIC.AST.register_allocation.linear_scan.register_operations.RestoreRegistersOperation method) (ScEpTIC.AST.register_allocation.linear_scan.register_operations.SaveRegistersOperation method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingChangeInputVal method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingReset method) (ScEpTIC.emulator.io.input.InputSkeleton method) (ScEpTIC.emulator.io.output.OutputSkeleton method) get_visual_dump() (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_gst.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) (ScEpTIC.emulator.vm.VM method) get_vm_state_diff() (ScEpTIC.emulator.intermittent_executor.checkpoint_manager.CheckpointManager method) get_vm_state_diff_elements() (ScEpTIC.emulator.intermittent_executor.checkpoint_manager.CheckpointManager method) get_volatile_elements_after_calls() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) get_volatile_elements_before_calls() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) GetElementPointerOperation (class in ScEpTIC.AST.elements.instructions.memory_operations) GlobalVar (class in ScEpTIC.AST.elements.global_var) GSTUnifier (class in ScEpTIC.emulator.memory.virtual_gst)

H

handle_llvm_dbg() (in module ScEpTIC.llvmir_parser.sections_parser.function) handle_stop_request() (ScEpTIC.emulator.vmstate.VMState method) has_backward_jump() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) has_nested_loop() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method)

has_stack_activation_record_anomalies() (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager method) has_symbol() (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_gst.VirtualGlobalSymbolTable method) heap() (ScEpTIC.emulator.memory.Memory property) heap_memory_traces (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly attribute)

I

IDEMPOTENT (ScEpTIC.emulator.io.output.OutputManager attribute) identify_conditional() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser.ConditionalParser method) identify_conditionals() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser.ConditionalParser method) identify_loop() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser.LoopParser method) identify_loops() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser.LoopParser method) identify_nvm_instruction() (ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier.NVMInstructionsIdentifier static method) identify_nvm_instructions_to_consolidate() (ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier.NVMInstructionsIdentifier static method) identify_uncertain_instructions() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) ignore (ScEpTIC.AST.elements.instructions.other_operations.CallOperation attribute) increment_pc() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) inf_depth_lst_flat() (in module ScEpTIC.tools) init() (in module ScEpTIC) init_code() (ScEpTIC.emulator.vmstate.VMState method) init_gst() (ScEpTIC.emulator.vmstate.VMState method) InitializationException input_functions (ScEpTIC.emulator.io.input.InputSkeleton attribute) input_lookup_enabled (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.input.InputInterruptionManager attribute) input_name (ScEpTIC.emulator.io.input.InputSkeleton attribute) input_names (ScEpTIC.emulator.io.input.InputSkeleton attribute) input_table (ScEpTIC.emulator.io.input.InputManager attribute) InputInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.input) InputManager (class in ScEpTIC.emulator.io.input) InputPolicyAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) inputs (ScEpTIC.emulator.io.input.InputManager attribute) InputSkeleton (class in ScEpTIC.emulator.io.input) insert_dummy_writes() (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock method) instert_new_line_every() (in module ScEpTIC.tools) Instruction (class in ScEpTIC.AST.elements.instruction) instruction_executed() (ScEpTIC.emulator.stats.ScEpTICStats method) instruction_type() (ScEpTIC.AST.elements.instruction.Instruction property) intermittent_execution_required() (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure.EnergyMeasureInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.input.InputInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate.EvaluateMemoryAnomaliesInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate.LocateMemoryAnomaliesInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_size.MemorySizeIdentifier method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.output.OutputInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling.ProfilingInterruptionManager method)

InterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.base) is_aggregate_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.aggregate_operations) is_attributes_group() (in module ScEpTIC.llvmir_parser.sections_parser.attributes_groups) is_binary_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) is_bitwise() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) is_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_call_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) is_conditional_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_conversion_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.conversion_operations) is_custom_type() (in module ScEpTIC.llvmir_parser.sections_parser.custom_types) is_function_declaration() (in module ScEpTIC.llvmir_parser.sections_parser.function) is_function_definition() (in module ScEpTIC.llvmir_parser.sections_parser.function) is_global_var_def() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) is_header() (in module ScEpTIC.llvmir_parser.sections_parser.headers) is_header_section() (in module ScEpTIC.llvmir_parser.sections_parser.headers) is_input (ScEpTIC.emulator.io.input.InputSkeleton attribute) is_label() (in module ScEpTIC.llvmir_parser.sections_parser.function) is_llvm_dbg() (in module ScEpTIC.llvmir_parser.sections_parser.function) is_memory_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) is_memory_operation_with_return() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) is_memory_operation_without_return() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) is_metadata() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) is_one_qnan() (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation static method) is_other_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) is_qnan() (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation static method) is_ret_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_source_file_name() (in module ScEpTIC.llvmir_parser.sections_parser.headers) is_switch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_target_datalayout() (in module ScEpTIC.llvmir_parser.sections_parser.headers) is_target_triple() (in module ScEpTIC.llvmir_parser.sections_parser.headers) is_terminator_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_unconditional_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_unreachable_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) is_valid_cond() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) is_valid_initial_val() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) is_vector_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.vector_operations)

J

jumps_after() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method)

L

label_to_int() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement static method) LABELS_DISTANCE (ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer.LabelsNormalizer attribute) LabelsNormalizer (class in ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer) LinearAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) LinearScanRegisterAllocator (class in ScEpTIC.AST.register_allocation.linear_scan.linear_scan) link() (ScEpTIC.AST.builtins.builtin.Builtin static method) link_builtins() (in module ScEpTIC.AST.builtins) list_concat_elements() (in module ScEpTIC.tools) list_join() (in module ScEpTIC.tools) list_rebuild() (in module ScEpTIC.tools) list_remove_sequence() (in module ScEpTIC.tools) list_replace_element() (in module ScEpTIC.tools)

list_rindex() (in module ScEpTIC.tools) list_sanitize() (in module ScEpTIC.tools) list_sanitize_from_list() (in module ScEpTIC.tools) list_to_string() (in module ScEpTIC.tools) list_to_string_using_boundaries() (in module ScEpTIC.tools) LLVMSyntaxErrorException load_libraries() (in module ScEpTIC.AST.builtins) load_prebuilt_config() (in module ScEpTIC.emulator.intermittent_executor.configurator) LoadOperation (class in ScEpTIC.AST.elements.instructions.memory_operations) LocateMemoryAnomaliesInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate) LONG_TERM (ScEpTIC.emulator.io.input.InputManager attribute) LoopBlock (class in ScEpTIC.AST.transformations.virtual_memory.elements.loop_block) LoopParser (class in ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser)

M

measure_idempotency() (ScEpTIC.emulator.io.output.OutputManager class method) measured_idempotency (ScEpTIC.emulator.io.output.OutputManager attribute) mem_type() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory property) Memory (class in ScEpTIC.emulator.memory) memory_tick_count (ScEpTIC.AST.elements.instruction.Instruction attribute) (ScEpTIC.AST.elements.instructions.other_operations.CallOperation attribute) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation attribute) MemoryAccessAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) MemoryAccessMetadata (class in ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata) MemoryAccessTrace (class in ScEpTIC.emulator.memory.virtual_memory) MemoryException MemoryInstructionsIdentifier (class in ScEpTIC.AST.transformations.virtual_memory.analysis.memory_instructions_indentifier) MemoryMapAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) MemorySizeIdentifier (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_size) MemoryTagsIdentifier (class in ScEpTIC.AST.transformations.ratchet.memory_tags_identifier) MemoryTagsParser (class in ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser) MemoryUsage (class in ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage) merge_input_lookup_data() (in module ScEpTIC.tools) Metadata (class in ScEpTIC.AST.elements.metadata) module ScEpTIC ScEpTIC.AST ScEpTIC.AST.builtins ScEpTIC.AST.builtins.builtin ScEpTIC.AST.builtins.linker ScEpTIC.AST.elements ScEpTIC.AST.elements.function ScEpTIC.AST.elements.global_var ScEpTIC.AST.elements.instruction ScEpTIC.AST.elements.instructions ScEpTIC.AST.elements.instructions.binary_operation ScEpTIC.AST.elements.instructions.conversion ScEpTIC.AST.elements.instructions.memory_operations ScEpTIC.AST.elements.instructions.other_operations ScEpTIC.AST.elements.instructions.termination_instructions ScEpTIC.AST.elements.metadata ScEpTIC.AST.elements.types ScEpTIC.AST.elements.value ScEpTIC.AST.misc ScEpTIC.AST.misc.virtual_memory_enum ScEpTIC.AST.register_allocation ScEpTIC.AST.register_allocation.linear_scan ScEpTIC.AST.register_allocation.linear_scan.linear_scan ScEpTIC.AST.register_allocation.linear_scan.register_operations ScEpTIC.AST.register_allocation.linear_scan.register_pool ScEpTIC.AST.transformations ScEpTIC.AST.transformations.mementos_memory_map ScEpTIC.AST.transformations.nv_memory_map ScEpTIC.AST.transformations.ratchet ScEpTIC.AST.transformations.ratchet.checkpoint_placer ScEpTIC.AST.transformations.ratchet.checkpoint_registers_optimization ScEpTIC.AST.transformations.ratchet.memory_tags_identifier ScEpTIC.AST.transformations.virtual_memory ScEpTIC.AST.transformations.virtual_memory.analysis ScEpTIC.AST.transformations.virtual_memory.analysis.memory_instructions_indentifier ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager ScEpTIC.AST.transformations.virtual_memory.elements ScEpTIC.AST.transformations.virtual_memory.elements.base_element ScEpTIC.AST.transformations.virtual_memory.elements.basic_block ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block ScEpTIC.AST.transformations.virtual_memory.elements.loop_block ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata ScEpTIC.AST.transformations.virtual_memory.normalizations ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.conditionals ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.loops ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer ScEpTIC.AST.transformations.virtual_memory.parsers ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser ScEpTIC.AST.transformations.virtual_memory.parsers.elements ScEpTIC.AST.transformations.virtual_memory.parsers.elements.basic_blocks_parser ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations ScEpTIC.emulator ScEpTIC.emulator.energy ScEpTIC.emulator.energy.msp430 ScEpTIC.emulator.intermittent_executor ScEpTIC.emulator.intermittent_executor.anomalies ScEpTIC.emulator.intermittent_executor.checkpoint_manager ScEpTIC.emulator.intermittent_executor.configurator ScEpTIC.emulator.intermittent_executor.configurator.dino ScEpTIC.emulator.intermittent_executor.configurator.hibernus ScEpTIC.emulator.intermittent_executor.configurator.mementos ScEpTIC.emulator.intermittent_executor.configurator.quickrecall ScEpTIC.emulator.intermittent_executor.configurator.ratchet ScEpTIC.emulator.intermittent_executor.interruption_managers ScEpTIC.emulator.intermittent_executor.interruption_managers.base ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure ScEpTIC.emulator.intermittent_executor.interruption_managers.input ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_size ScEpTIC.emulator.intermittent_executor.interruption_managers.output ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling ScEpTIC.emulator.intermittent_executor.profiling ScEpTIC.emulator.io ScEpTIC.emulator.io.input ScEpTIC.emulator.io.output ScEpTIC.emulator.memory ScEpTIC.emulator.memory.virtual_gst ScEpTIC.emulator.memory.virtual_heap ScEpTIC.emulator.memory.virtual_memory ScEpTIC.emulator.memory.virtual_ram ScEpTIC.emulator.memory.virtual_stack ScEpTIC.emulator.register_file ScEpTIC.emulator.register_file.physical_register_file ScEpTIC.emulator.register_file.program_counter ScEpTIC.emulator.register_file.register ScEpTIC.emulator.register_file.register_file ScEpTIC.emulator.register_file.virtual_register_file ScEpTIC.emulator.stats ScEpTIC.emulator.vm ScEpTIC.emulator.vmstate ScEpTIC.exceptions ScEpTIC.llvmir_parser ScEpTIC.llvmir_parser.instructions_parser ScEpTIC.llvmir_parser.instructions_parser.aggregate_operations ScEpTIC.llvmir_parser.instructions_parser.binary_operations ScEpTIC.llvmir_parser.instructions_parser.conversion_operations ScEpTIC.llvmir_parser.instructions_parser.memory_operations ScEpTIC.llvmir_parser.instructions_parser.other_operations ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions ScEpTIC.llvmir_parser.instructions_parser.vector_operations ScEpTIC.llvmir_parser.sections_divider ScEpTIC.llvmir_parser.sections_parser ScEpTIC.llvmir_parser.sections_parser.attributes_groups ScEpTIC.llvmir_parser.sections_parser.custom_types ScEpTIC.llvmir_parser.sections_parser.function ScEpTIC.llvmir_parser.sections_parser.global_vars ScEpTIC.llvmir_parser.sections_parser.headers ScEpTIC.llvmir_parser.sections_parser.metadata ScEpTIC.llvmir_parser.token_generator ScEpTIC.tools

MOST_RECENT (ScEpTIC.emulator.io.input.InputManager attribute) MSP430EnergyCalculator (class in ScEpTIC.emulator.energy.msp430) multipliers (ScEpTIC.emulator.energy.EnergyCalculator attribute)

N

n_memory_instructions (ScEpTIC.AST.elements.instructions.other_operations.CallOperation attribute) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation attribute) n_min_function() (ScEpTIC.emulator.energy.EnergyCalculator method) (ScEpTIC.emulator.energy.msp430.MSP430EnergyCalculator method) name (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingChangeInputVal attribute) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog attribute) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingReset attribute) natural_keys() (in module ScEpTIC.tools) NON_IDEMPOTENT (ScEpTIC.emulator.io.output.OutputManager attribute)

NON_VOLATILE (ScEpTIC.AST.misc.virtual_memory_enum.VirtualMemoryEnum attribute) normalize() (ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.conditionals.CheckpointConditionalNormalizer method) (ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.loops.CheckpointLoopNormalizer method) normalize_ast_labels() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) normalize_boundaries() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) normalize_labels() (ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer.LabelsNormalizer static method) NotImplementedException NVM (class in ScEpTIC.emulator.memory.virtual_ram) NVMInstructionsIdentifier (class in ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier)

O

on_branch() (ScEpTIC.emulator.vmstate.VMState method) on_function_call() (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.virtual_register_file.VirtualRegisterFile method) (ScEpTIC.emulator.vmstate.VMState method) on_function_return() (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.virtual_register_file.VirtualRegisterFile method) (ScEpTIC.emulator.vmstate.VMState method) on_run() (ScEpTIC.emulator.vmstate.VMState method) other_gst() (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier property)

output_functions (ScEpTIC.emulator.io.output.OutputSkeleton attribute) output_idempotency_table (ScEpTIC.emulator.io.output.OutputManager attribute) output_init() (ScEpTIC.emulator.io.output.OutputSkeleton method) output_name (ScEpTIC.emulator.io.output.OutputSkeleton attribute) output_names (ScEpTIC.emulator.io.output.OutputSkeleton attribute) output_table (ScEpTIC.emulator.io.output.OutputManager attribute) OutputAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) OutputInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.output) OutputManager (class in ScEpTIC.emulator.io.output) OutputSkeleton (class in ScEpTIC.emulator.io.output)

P

param_regs_count (ScEpTIC.emulator.register_file.virtual_register_file.VirtualRegisterFile attribute) parse() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) parse_aggregate_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.aggregate_operations) parse_align_attribute() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_alloca_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) parse_array_def() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_array_initial_val() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_ast() (ScEpTIC.AST.transformations.virtual_memory.parsers.elements.basic_blocks_parser.BasicBlocksParser method) parse_ast_structures() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) parse_attributes_group() (in module ScEpTIC.llvmir_parser.sections_parser.attributes_groups) parse_attributes_groups_section() (in module ScEpTIC.llvmir_parser.sections_parser.attributes_groups) parse_base_type() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_binary_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_call_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_calling_convention() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_cmp_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_comdat_attribute() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_cond_type_operands() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_conditional_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_conversion_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.conversion_operations) parse_custom_type_definition() (in module ScEpTIC.llvmir_parser.sections_parser.custom_types) parse_custom_types_section() (in module ScEpTIC.llvmir_parser.sections_parser.custom_types) parse_file() (in module ScEpTIC.llvmir_parser) parse_fp_specific_attr() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_function_arguments() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_function_body() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_function_declaration() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_function_declarations_section() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_function_definition() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_function_definition_section() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_getelementptr_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) parse_global_var() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_global_vars_section() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_header_section() (in module ScEpTIC.llvmir_parser.sections_parser.headers) parse_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser) parse_int_div_specific_attr() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_int_specific_attr() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_label() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_load_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) parse_main_attributes() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_memory_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) parse_metadata() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) parse_metadata_body() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) parse_metadata_collection() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) parse_metadata_function() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) parse_metadata_section() (in module ScEpTIC.llvmir_parser.sections_parser.metadata) parse_name_and_type() (in module ScEpTIC.llvmir_parser.sections_parser.custom_types)

parse_operand() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_other_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_phi_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_result_target() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_ret_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_return_parameter_attr() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_return_type() (in module ScEpTIC.llvmir_parser.sections_parser.function) parse_section_attribute() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_sections() (in module ScEpTIC.llvmir_parser.sections_parser) parse_select_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_store_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.memory_operations) parse_structures() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) parse_switch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_tail_specific_attr() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_terminator_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_type() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_type_and_initial_val() (in module ScEpTIC.llvmir_parser.sections_parser.global_vars) parse_type_and_operands() (in module ScEpTIC.llvmir_parser.instructions_parser.binary_operations) parse_type_composition() (in module ScEpTIC.llvmir_parser.sections_parser.custom_types) parse_unconditional_branch_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_unreachable_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions) parse_va_arg_instruction() (in module ScEpTIC.llvmir_parser.instructions_parser.other_operations) parse_vector_operation() (in module ScEpTIC.llvmir_parser.instructions_parser.vector_operations) ParsingException pc_tree() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) PhiOperation (class in ScEpTIC.AST.elements.instructions.other_operations) PhysicalRegisterFile (class in ScEpTIC.emulator.register_file.physical_register_file) place_checkpoints() (ScEpTIC.AST.transformations.ratchet.checkpoint_placer.CheckpointPlacer method) pop() (ScEpTIC.emulator.memory.virtual_stack.VirtualStack method) populate_call_trees() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) populate_functions_parsing_order() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) power_failures (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog attribute) pre_parse_profiling_log() (in module ScEpTIC.emulator.intermittent_executor.profiling) prefix (ScEpTIC.AST.builtins.linker.BuiltinLinker attribute) print_ast() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) print_computation_interval() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) print_computation_intervals() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) print_metrics() (ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure.EnergyMeasureInterruptionManager method) print_slices() (ScEpTIC.AST.transformations.ratchet.checkpoint_placer.CheckpointPlacer method) process_checkpoint_routines() (ScEpTIC.emulator.intermittent_executor.checkpoint_manager.CheckpointManager method) process_profiling_calls() (in module ScEpTIC.emulator.intermittent_executor.profiling) ProfilingChangeInputVal (class in ScEpTIC.emulator.intermittent_executor.profiling) ProfilingInterruptionManager (class in ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling) ProfilingLog (class in ScEpTIC.emulator.intermittent_executor.profiling) ProfilingReset (class in ScEpTIC.emulator.intermittent_executor.profiling) program_end_reached() (ScEpTIC.emulator.vmstate.VMState property) ProgramCounter (class in ScEpTIC.emulator.register_file.program_counter) push() (ScEpTIC.emulator.memory.virtual_stack.VirtualStack method)

R

raise_exception() (ScEpTIC.emulator.intermittent_executor.anomalies.DataAnomaly method) ram_type() (ScEpTIC.emulator.memory.virtual_ram.VirtualRAM property) read() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) read_address() (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) read_from_symbol_name() (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_gst.VirtualGlobalSymbolTable method) read_string_from_address() (ScEpTIC.emulator.memory.virtual_gst.VirtualGlobalSymbolTable method) reallocate() (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) reg_type() (ScEpTIC.emulator.register_file.register_file.RegisterFile property) RegAllocException Register (class in ScEpTIC.emulator.register_file.register) RegisterFile (class in ScEpTIC.emulator.register_file.register_file) RegisterFileException RegisterNotFoundException RegisterPool (class in ScEpTIC.AST.register_allocation.linear_scan.register_pool) RegisterSavingOptimization (class in ScEpTIC.AST.transformations.ratchet.checkpoint_registers_optimization) RegistersUsage (class in ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage) remap() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemoryCell method) remove_after_call_data_from_outside_frame_writes() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage.MemoryUsage static method) remove_comment_from_line() (in module ScEpTIC.llvmir_parser.token_generator) remove_lines() (in module ScEpTIC.llvmir_parser.sections_divider) remove_unrelevant_spaces() (in module ScEpTIC.llvmir_parser.token_generator) reparse() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method) replace_reg_name() (ScEpTIC.AST.builtins.builtin.Builtin method) (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CallOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CompareOperation method) (ScEpTIC.AST.elements.instructions.other_operations.PhiOperation method) (ScEpTIC.AST.elements.instructions.other_operations.SelectOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.BranchOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.SwitchOperation method) (ScEpTIC.AST.elements.value.Value method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingChangeInputVal method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog method) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingReset method) requires_register_allocation (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile attribute) (ScEpTIC.emulator.register_file.virtual_register_file.VirtualRegisterFile attribute) requires_static_checkpoint (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.input.InputInterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.output.OutputInterruptionManager attribute) (ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling.ProfilingInterruptionManager attribute) reset() (ScEpTIC.emulator.intermittent_executor.checkpoint_manager.CheckpointManager method) (ScEpTIC.emulator.io.output.OutputManager class method) (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_gst.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.memory.virtual_ram.NVM method) (ScEpTIC.emulator.memory.virtual_ram.VirtualRAM method) (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) (ScEpTIC.emulator.stats.ScEpTICStats method) (ScEpTIC.emulator.vm.VM method) (ScEpTIC.emulator.vmstate.VMState method) reset_all_elements() (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock static method) (ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block.ConditionalBlock static method) (ScEpTIC.AST.transformations.virtual_memory.elements.loop_block.LoopBlock static method)

reset_anomalies() (ScEpTIC.emulator.vm.VM method) reset_builtin_mapping() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) reset_conditional_structure() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) reset_mapping() (ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations.VirtualMemoryTransformations static method) reset_profiling() (ScEpTIC.emulator.vm.VM method) reset_register_info() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) resolve() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) resolve_first_reads_writes() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_instructions_indentifier.MemoryInstructionsIdentifier static method) resolve_last_reads_writes() (ScEpTIC.AST.transformations.virtual_memory.analysis.memory_instructions_indentifier.MemoryInstructionsIdentifier static method) resolve_memory_address_chain() (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.value.Value method) resolve_memory_tag() (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.value.Value method) resolve_memory_tag_dependency() (ScEpTIC.AST.elements.instructions.binary_operation.BinaryOperation method) (ScEpTIC.AST.elements.instructions.conversion.ConversionOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.GetElementPointerOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.value.Value method) resolve_memory_tags() (ScEpTIC.AST.transformations.ratchet.memory_tags_identifier.MemoryTagsIdentifier method) (ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser.MemoryTagsParser method) restore() (ScEpTIC.emulator.io.output.OutputManager class method) (ScEpTIC.emulator.memory.virtual_gst.VirtualGlobalSymbolTable method) (ScEpTIC.emulator.memory.virtual_heap.VirtualHeap method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) restore_dump() (ScEpTIC.emulator.intermittent_executor.checkpoint_manager.CheckpointManager method) RestoreRegistersOperation (class in ScEpTIC.AST.register_allocation.linear_scan.register_operations) retrieve() (ScEpTIC.AST.elements.metadata.Metadata method) ReturnOperation (class in ScEpTIC.AST.elements.instructions.termination_instructions) run() (ScEpTIC.AST.elements.instruction.Instruction method) (ScEpTIC.AST.elements.instructions.memory_operations.AllocaOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.LoadOperation method) (ScEpTIC.AST.elements.instructions.memory_operations.StoreOperation method) (ScEpTIC.AST.elements.instructions.other_operations.CallOperation method) (ScEpTIC.AST.elements.instructions.other_operations.VaArgOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.BranchOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation method) (ScEpTIC.AST.elements.instructions.termination_instructions.SwitchOperation method) run_register_allocation() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) run_step() (ScEpTIC.emulator.vmstate.VMState method) run_test() (ScEpTIC.emulator.vm.VM method) run_tests() (ScEpTIC.emulator.vm.VM method) run_with_intermittent_execution() (ScEpTIC.emulator.intermittent_executor.interruption_managers.base.InterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure.EnergyMeasureInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.input.InputInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate.EvaluateMemoryAnomaliesInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate.LocateMemoryAnomaliesInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_size.MemorySizeIdentifier method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.output.OutputInterruptionManager method) (ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling.ProfilingInterruptionManager method) RunInfo (class in ScEpTIC.emulator.intermittent_executor.profiling) RuntimeException

S

save() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method) save_in_target_register() (ScEpTIC.AST.elements.instruction.Instruction method) SaveRegistersOperation (class in ScEpTIC.AST.register_allocation.linear_scan.register_operations) ScEpTIC module ScEpTIC.AST module ScEpTIC.AST.builtins module ScEpTIC.AST.builtins.builtin module ScEpTIC.AST.builtins.linker module ScEpTIC.AST.elements module ScEpTIC.AST.elements.function module ScEpTIC.AST.elements.global_var module ScEpTIC.AST.elements.instruction module ScEpTIC.AST.elements.instructions module ScEpTIC.AST.elements.instructions.binary_operation module ScEpTIC.AST.elements.instructions.conversion module ScEpTIC.AST.elements.instructions.memory_operations module ScEpTIC.AST.elements.instructions.other_operations module ScEpTIC.AST.elements.instructions.termination_instructions module ScEpTIC.AST.elements.metadata module ScEpTIC.AST.elements.types module ScEpTIC.AST.elements.value module ScEpTIC.AST.misc module ScEpTIC.AST.misc.virtual_memory_enum module ScEpTIC.AST.register_allocation module ScEpTIC.AST.register_allocation.linear_scan module ScEpTIC.AST.register_allocation.linear_scan.linear_scan module ScEpTIC.AST.register_allocation.linear_scan.register_operations module ScEpTIC.AST.register_allocation.linear_scan.register_pool module ScEpTIC.AST.transformations module ScEpTIC.AST.transformations.mementos_memory_map module ScEpTIC.AST.transformations.nv_memory_map module ScEpTIC.AST.transformations.ratchet module ScEpTIC.AST.transformations.ratchet.checkpoint_placer module ScEpTIC.AST.transformations.ratchet.checkpoint_registers_optimization module ScEpTIC.AST.transformations.ratchet.memory_tags_identifier module ScEpTIC.AST.transformations.virtual_memory module ScEpTIC.AST.transformations.virtual_memory.analysis module ScEpTIC.AST.transformations.virtual_memory.analysis.memory_instructions_indentifier module ScEpTIC.AST.transformations.virtual_memory.analysis.memory_usage module ScEpTIC.AST.transformations.virtual_memory.analysis.nvm_instructions_identifier module ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage module ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager module ScEpTIC.AST.transformations.virtual_memory.elements module ScEpTIC.AST.transformations.virtual_memory.elements.base_element module ScEpTIC.AST.transformations.virtual_memory.elements.basic_block module ScEpTIC.AST.transformations.virtual_memory.elements.conditional_block module ScEpTIC.AST.transformations.virtual_memory.elements.loop_block module ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata module ScEpTIC.AST.transformations.virtual_memory.normalizations module ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints module ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.conditionals module ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.loops module ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer module ScEpTIC.AST.transformations.virtual_memory.parsers module ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser module ScEpTIC.AST.transformations.virtual_memory.parsers.elements module ScEpTIC.AST.transformations.virtual_memory.parsers.elements.basic_blocks_parser module ScEpTIC.AST.transformations.virtual_memory.parsers.elements.conditional_parser module ScEpTIC.AST.transformations.virtual_memory.parsers.elements.loop_parser module ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser module ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations module ScEpTIC.emulator module ScEpTIC.emulator.energy module ScEpTIC.emulator.energy.msp430 module ScEpTIC.emulator.intermittent_executor module ScEpTIC.emulator.intermittent_executor.anomalies module ScEpTIC.emulator.intermittent_executor.checkpoint_manager module ScEpTIC.emulator.intermittent_executor.configurator module ScEpTIC.emulator.intermittent_executor.configurator.dino module ScEpTIC.emulator.intermittent_executor.configurator.hibernus module ScEpTIC.emulator.intermittent_executor.configurator.mementos module ScEpTIC.emulator.intermittent_executor.configurator.quickrecall module ScEpTIC.emulator.intermittent_executor.configurator.ratchet module ScEpTIC.emulator.intermittent_executor.interruption_managers module ScEpTIC.emulator.intermittent_executor.interruption_managers.base module

ScEpTIC.emulator.intermittent_executor.interruption_managers.energy_measure module ScEpTIC.emulator.intermittent_executor.interruption_managers.input module ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate module ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate module ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_size module ScEpTIC.emulator.intermittent_executor.interruption_managers.output module ScEpTIC.emulator.intermittent_executor.interruption_managers.profiling module ScEpTIC.emulator.intermittent_executor.profiling module ScEpTIC.emulator.io module ScEpTIC.emulator.io.input module ScEpTIC.emulator.io.output module ScEpTIC.emulator.memory module ScEpTIC.emulator.memory.virtual_gst module ScEpTIC.emulator.memory.virtual_heap module ScEpTIC.emulator.memory.virtual_memory module ScEpTIC.emulator.memory.virtual_ram module ScEpTIC.emulator.memory.virtual_stack module ScEpTIC.emulator.register_file module ScEpTIC.emulator.register_file.physical_register_file module ScEpTIC.emulator.register_file.program_counter module ScEpTIC.emulator.register_file.register module ScEpTIC.emulator.register_file.register_file module ScEpTIC.emulator.register_file.virtual_register_file module ScEpTIC.emulator.stats module ScEpTIC.emulator.vm module ScEpTIC.emulator.vmstate module ScEpTIC.exceptions module ScEpTIC.llvmir_parser module ScEpTIC.llvmir_parser.instructions_parser module ScEpTIC.llvmir_parser.instructions_parser.aggregate_operations module ScEpTIC.llvmir_parser.instructions_parser.binary_operations module ScEpTIC.llvmir_parser.instructions_parser.conversion_operations module ScEpTIC.llvmir_parser.instructions_parser.memory_operations module ScEpTIC.llvmir_parser.instructions_parser.other_operations module ScEpTIC.llvmir_parser.instructions_parser.terminator_instructions module ScEpTIC.llvmir_parser.instructions_parser.vector_operations module ScEpTIC.llvmir_parser.sections_divider module ScEpTIC.llvmir_parser.sections_parser module ScEpTIC.llvmir_parser.sections_parser.attributes_groups module ScEpTIC.llvmir_parser.sections_parser.custom_types module ScEpTIC.llvmir_parser.sections_parser.function module ScEpTIC.llvmir_parser.sections_parser.global_vars module ScEpTIC.llvmir_parser.sections_parser.headers module ScEpTIC.llvmir_parser.sections_parser.metadata module ScEpTIC.llvmir_parser.token_generator module ScEpTIC.tools module ScEpTICStats (class in ScEpTIC.emulator.stats) SelectOperation (class in ScEpTIC.AST.elements.instructions.other_operations) set_address_input_lookup() (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) set_args() (ScEpTIC.AST.builtins.builtin.Builtin method) set_cell_input_lookup() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) set_cells_from_address() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) set_checkpoints_esp_reg() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) set_checkpoints_general_purpose_regs() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) set_checkpoints_registers() (ScEpTIC.AST.transformations.ratchet.checkpoint_registers_optimization.RegisterSavingOptimization method) set_checkpoints_regs() (ScEpTIC.AST.transformations.virtual_memory.analysis.registers_usage.RegistersUsage static method) set_conditional_container() (ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata.CompositeMemoryAccessMetadata method) (ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata.MemoryAccessMetadata method) set_conditional_entry_label() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) set_conditional_exit_label() (ScEpTIC.AST.transformations.virtual_memory.elements.base_element.BaseASTElement method) set_consistency_model() (ScEpTIC.emulator.io.input.InputManager class method) set_default_idempotent() (ScEpTIC.emulator.io.output.OutputManager class method) set_idempotency() (ScEpTIC.emulator.io.output.OutputManager class method) set_input_lookup() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemoryCell method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) set_input_value() (ScEpTIC.emulator.io.input.InputManager class method) set_lookup() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemoryCell method) set_memory_mapped() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemoryCell method) set_output_val() (ScEpTIC.emulator.io.output.OutputSkeleton method) set_state_as_base_state() (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_gst.VirtualGlobalSymbolTable method) set_surrounding_sequence() (ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata.CompositeMemoryAccessMetadata method) (ScEpTIC.AST.transformations.virtual_memory.elements.memory_access_metadata.MemoryAccessMetadata method) simple_elements_extractor() (in module ScEpTIC.llvmir_parser.sections_divider) SingleStackARAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) spill_at() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator method) spill_type() (ScEpTIC.AST.register_allocation.linear_scan.linear_scan.LinearScanRegisterAllocator property) split_computation_intervals() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) split_context_into_sublist() (in module ScEpTIC.tools) split_into_sublist() (in module ScEpTIC.tools) split_parantheses_groups() (in module ScEpTIC.tools) split_parantheses_groups_with_context() (in module ScEpTIC.tools) SRAM (class in ScEpTIC.emulator.memory.virtual_ram) stack() (ScEpTIC.emulator.memory.Memory property) StackARAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) stop_at() (ScEpTIC.emulator.stats.ScEpTICStats method) stop_current_test() (ScEpTIC.emulator.vm.VM method) StopAnomalyFoundException StopException StoreOperation (class in ScEpTIC.AST.elements.instructions.memory_operations) str_print_instructions (ScEpTIC.AST.transformations.virtual_memory.elements.basic_block.BasicBlock attribute) SwitchOperation (class in ScEpTIC.AST.elements.instructions.termination_instructions) synchronize_to_ast() (ScEpTIC.AST.transformations.virtual_memory.computation_intervals_manager.ComputationIntervalsManager method) syncrhonize_ast_to_functions() (ScEpTIC.AST.transformations.virtual_memory.parsers.ast_parser.ASTParser method)

T

tick_count (ScEpTIC.AST.builtins.builtin.Builtin attribute) (ScEpTIC.AST.elements.instruction.Instruction attribute) (ScEpTIC.AST.elements.instructions.other_operations.CallOperation attribute) (ScEpTIC.AST.elements.instructions.termination_instructions.ReturnOperation attribute) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingChangeInputVal attribute) (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog attribute)

tracking (ScEpTIC.emulator.intermittent_executor.profiling.ProfilingLog attribute) Type (class in ScEpTIC.AST.elements.types)

U

update() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter method)

update_body() (ScEpTIC.AST.elements.function.Function method) update_labels() (ScEpTIC.AST.elements.function.Function method)

V

VaArgOperation (class in ScEpTIC.AST.elements.instructions.other_operations) validate_configuration() (in module ScEpTIC.emulator.register_file) (ScEpTIC.emulator.intermittent_executor.checkpoint_manager.CheckpointManager static method) validate_execution_depth() (ScEpTIC.emulator.vmstate.VMState static method) validate_program_configuration() (ScEpTIC.emulator.vmstate.VMState static method) Value (class in ScEpTIC.AST.elements.value) value (ScEpTIC.emulator.io.input.InputSkeleton attribute) VirtualGlobalSymbolTable (class in ScEpTIC.emulator.memory.virtual_gst) VirtualHeap (class in ScEpTIC.emulator.memory.virtual_heap) VirtualMemory (class in ScEpTIC.emulator.memory.virtual_memory)

VirtualMemoryCell (class in ScEpTIC.emulator.memory.virtual_memory) VirtualMemoryEnum (class in ScEpTIC.AST.misc.virtual_memory_enum) VirtualMemoryTransformations (class in ScEpTIC.AST.transformations.virtual_memory.virtual_memory_transformations) VirtualRAM (class in ScEpTIC.emulator.memory.virtual_ram) VirtualRegisterFile (class in ScEpTIC.emulator.register_file.virtual_register_file) VirtualStack (class in ScEpTIC.emulator.memory.virtual_stack) VM (class in ScEpTIC.emulator.vm) VMState (class in ScEpTIC.emulator.vmstate) VOLATILE (ScEpTIC.AST.misc.virtual_memory_enum.VirtualMemoryEnum attribute) (ScEpTIC.AST.transformations.virtual_memory.parsers.memory_tags_parser.MemoryTagsParser attribute)

W

WARAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) write() (ScEpTIC.emulator.memory.Memory method) (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_memory.VirtualMemory method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method)

write_address() (ScEpTIC.emulator.register_file.physical_register_file.PhysicalRegisterFile method) (ScEpTIC.emulator.register_file.register_file.RegisterFile method) write_from_symbol_name() (ScEpTIC.emulator.memory.virtual_gst.GSTUnifier method) (ScEpTIC.emulator.memory.virtual_gst.VirtualGlobalSymbolTable method)