Index

A

absolute_address() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemoryCell property) add_element() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) add_offset() (ScEpTIC.emulator.memory.Memory method) add_other_pc() (ScEpTIC.emulator.intermittent_executor.anomalies.LinearAnomaly method) address_dimension (ScEpTIC.AST.elements.types.Type attribute) adjust_alloca_ticks() (ScEpTIC.AST.elements.function.Function method) 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) 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) args() (ScEpTIC.AST.builtins.builtin.Builtin property) atoi() (in module ScEpTIC.tools) attach_body() (ScEpTIC.AST.elements.function.Function method)

B

BaselineDataAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) BaselineInputAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) BaseType (class in ScEpTIC.AST.elements.types) 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) checkpoint_executed() (ScEpTIC.emulator.stats.ScEpTICStats method) checkpoint_restored() (ScEpTIC.emulator.stats.ScEpTICStats method) CheckpointManager (class in ScEpTIC.emulator.intermittent_executor.checkpoint_manager) 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) compute_registers_usage() (in module ScEpTIC.AST.register_allocation.linear_scan) ConfigurationException consistency_models (ScEpTIC.emulator.io.input.InputManager attribute) 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_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_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) 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_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) force_nvm_reset() (ScEpTIC.emulator.memory.Memory method) 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_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_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) 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_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_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_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_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_observation_info() (ScEpTIC.emulator.vm.VM method) get_output_profiling_info() (ScEpTIC.emulator.vm.VM method) get_output_val() (ScEpTIC.emulator.io.output.OutputSkeleton 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_reg() (ScEpTIC.AST.register_allocation.linear_scan.register_pool.RegisterPool method) get_register_allocator() (in module ScEpTIC.AST.register_allocation) 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_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) 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_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) 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) 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.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.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)

L

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)

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) MemoryAccessAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) MemoryAccessTrace (class in ScEpTIC.emulator.memory.virtual_memory) MemoryException MemoryMapAnomaly (class in ScEpTIC.emulator.intermittent_executor.anomalies) 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.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.emulator 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.input ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_evaluate ScEpTIC.emulator.intermittent_executor.interruption_managers.memory_locate 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)

N

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) NotImplementedException NVM (class in ScEpTIC.emulator.memory.virtual_ram)

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_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_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_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) pop() (ScEpTIC.emulator.memory.virtual_stack.VirtualStack 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) 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) remap() (ScEpTIC.emulator.memory.virtual_memory.VirtualMemoryCell 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) 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_anomalies() (ScEpTIC.emulator.vm.VM method) reset_profiling() (ScEpTIC.emulator.vm.VM method) resolve() (ScEpTIC.emulator.register_file.program_counter.ProgramCounter 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.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.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.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.emulator 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.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.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_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) 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_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) SwitchOperation (class in ScEpTIC.AST.elements.instructions.termination_instructions)

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_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) 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)

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)