#!/usr/bin/env python from avatar.system import System system = System() #Loads the configuration for all modules from the old JSON format system.load_configuration("config.json", "/tmp/1") #Starts S2E, any service neccessary for connecting to the target as specified in the configuration system.start() #Now the firmware should be loaded into S2E, and the memory be connected to the embedded device #S2E should have broken at the first instruction #You can actually send GDB commands to the emulator or the target # NOT TRUE YET