zorya/fuzzer_config.json at main · Ledger-Donjon/zorya · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
{
  "global": {
    "language": "go",
    "compiler": "gc",
    "binary_path": "../logic_bombs_go/go-compiler/theoretical/broken-calculator/broken-calculator",
    "thread_scheduling": "main-only",
    "log_mode": "verbose",
    "negate_path_flag": true
  },
  "tests": [
    {
      "id": "main.main-1",
      "mode": "main",
      "start_address": "0x4bef60",
      "args": "2 + 3",
      "timeout_seconds": 500,
      "env_vars": {}
    },
    {
      "id": "main.main-2",
      "mode": "main",
      "start_address": "0x4bef60",
      "args": "5 + 1",
      "timeout_seconds": 500,
      "env_vars": {}
    },
    {
      "id": "main.coreEngine",
      "mode": "function",
      "start_address": "0x4bec40",
      "args": "2 + 3",
      "timeout_seconds": 500,
      "env_vars": {}
    },
    {
      "id": "runtime.decoderune",
      "mode": "function",
      "start_address": "0x4724c0",
      "args": "2 + 3",
      "timeout_seconds": 500,
      "env_vars": {}
    }
  ]
}