config.json

{
	"MAX_GADGET_LENGTH": 3,
    "shadow_stack": [0,0,0,0],
    "Init": {
    	"eax": 3,
    	"ebx": 0,
    	"ecx": 0,
    	"edx": 0,
    	"stack": [0, 0, 0, 0, 0],
    	"writeable_memory": [0, 0, 0]
    },
    "Goal": {
        "eax": -1,
        "ebx": 4,
        "ecx": -1,
        "edx": -1,
        "stack": [-1, -1, 2, -1, -1],
        "writeable_memory": [-1, 3, -1]
    },
    "seed": 1337,
    "no_of_prev": 3,
    "cfi":{
        "0": [0, 2],
        "1": [2],
        "2": [0, 6, 7, 16, 14, 19],
        "3": [1, 4, 7],
        "4": [13],
        "5": [3, 4, 5, 15],
        "6": [0, 2],
        "7": [5],
        "8": [3],
        "9": [2],
        "10": [2],
        "11": [0],
        "12": [2],
        "13": [5],
        "14": [20],
        "15": [2],
        "16": [14],
        "17": [8, 12],
        "18": [8],
        "19": [2],
        "20": [2, 20],
        "21": [14],
        "22": [12]
    }
}