21 lines
633 B
Python
21 lines
633 B
Python
from ScEpTIC.config.base_config import ScEpTICBaseConfig
|
|
|
|
class RatchetMemoryConfig(ScEpTICBaseConfig):
|
|
"""
|
|
Configuration for the Virtual Memory Transformation
|
|
"""
|
|
_config_domain = {
|
|
'functions_with_outside_frame_accesses': {'class': str, 'mode': 'add'},
|
|
'optimize_saved_registers': {'class': bool, 'mode': 'set'},
|
|
}
|
|
|
|
def __init__(self, main_config):
|
|
super().__init__(main_config)
|
|
self.functions_with_outside_frame_accesses = []
|
|
self.optimize_saved_registers = True
|
|
|
|
|
|
# Returns the configuration
|
|
def get_config(main_config):
|
|
return RatchetMemoryConfig(main_config)
|