codeql-workshop-dataflow-c/cfg.dot/cpp/print-cfg.dot

digraph {
  compound=true;
  0[label="ExprStmt"; ];
  1[label="call to memcpy"; ];
  2[label="input"; ];
  3[label="0"; ];
  4[label="access to array"; ];
  5[label="ptr"; ];
  6[label="buf"; ];
  7[label="input"; ];
  8[label="1"; ];
  9[label="access to array"; ];
  10[label="ptr"; ];
  11[label="buf"; ];
  12[label="input"; ];
  13[label="1"; ];
  14[label="access to array"; ];
  15[label="ptr"; ];
  16[label="size"; ];
  17[label="ExprStmt"; ];
  18[label="call to copy_mem_nested"; ];
  19[label="input"; ];
  20[label="if (...) ... "; ];
  21[label="input_types"; ];
  22[label="call to DYN_INPUT_TYPE"; ];
  23[label="1"; ];
  24[label="1"; ];
  25[label="... != ..."; ];
  26[label="{ ... }"; ];
  27[label="ExprStmt"; ];
  28[label="call to memcpy"; ];
  29[label="input"; ];
  30[label="0"; ];
  31[label="access to array"; ];
  32[label="ptr"; ];
  33[label="buf"; ];
  34[label="input"; ];
  35[label="1"; ];
  36[label="access to array"; ];
  37[label="ptr"; ];
  38[label="buf"; ];
  39[label="input"; ];
  40[label="1"; ];
  41[label="access to array"; ];
  42[label="ptr"; ];
  43[label="size"; ];
  44[label="ExprStmt"; ];
  45[label="call to copy_mem_nested"; ];
  46[label="input"; ];
  47[label="if (...) ... "; ];
  48[label="call to DYN_INPUT_TYPE"; ];
  49[label="1"; ];
  50[label="1"; ];
  51[label="100"; ];
  52[label="... == ..."; ];
  53[label="ExprStmt"; ];
  54[label="call to memcpy"; ];
  55[label="input"; ];
  56[label="0"; ];
  57[label="access to array"; ];
  58[label="ptr"; ];
  59[label="buf"; ];
  60[label="input"; ];
  61[label="1"; ];
  62[label="access to array"; ];
  63[label="ptr"; ];
  64[label="buf"; ];
  65[label="input"; ];
  66[label="1"; ];
  67[label="access to array"; ];
  68[label="ptr"; ];
  69[label="size"; ];
  70[label="{ ... }"; ];
  71[label="if (...) ... "; ];
  72[label="input_types"; ];
  73[label="call to DYN_INPUT_TYPE"; ];
  74[label="1"; ];
  75[label="1"; ];
  76[label="... != ..."; ];
  77[label="return ..."; ];
  78[label="1"; ];
  79[label="{ ... }"; ];
  80[label="ExprStmt"; ];
  81[label="call to memcpy"; ];
  82[label="input"; ];
  83[label="0"; ];
  84[label="access to array"; ];
  85[label="ptr"; ];
  86[label="buf"; ];
  87[label="input"; ];
  88[label="1"; ];
  89[label="access to array"; ];
  90[label="ptr"; ];
  91[label="buf"; ];
  92[label="input"; ];
  93[label="1"; ];
  94[label="access to array"; ];
  95[label="ptr"; ];
  96[label="size"; ];
  97[label="ExprStmt"; ];
  98[label="call to copy_mem_nested"; ];
  99[label="input"; ];
  100[label="return ..."; ];
  101[label="0"; ];
  102[label="{ ... }"; ];
  103[label="copy_mem"; ];
  0 -> 2[];
  1 -> 17[];
  2 -> 3[];
  3 -> 4[];
  4 -> 5[];
  5 -> 6[];
  6 -> 7[];
  7 -> 8[];
  8 -> 9[];
  9 -> 10[];
  10 -> 11[];
  11 -> 12[];
  12 -> 13[];
  13 -> 14[];
  14 -> 15[];
  15 -> 16[];
  16 -> 1[];
  17 -> 19[];
  18 -> 20[];
  19 -> 18[];
  20 -> 21[];
  21 -> 23[];
  22 -> 25[];
  23 -> 24[];
  24 -> 22[];
  25 -> 26[];
  25 -> 27[];
  26 -> 27[];
  27 -> 29[];
  28 -> 44[];
  29 -> 30[];
  30 -> 31[];
  31 -> 32[];
  32 -> 33[];
  33 -> 34[];
  34 -> 35[];
  35 -> 36[];
  36 -> 37[];
  37 -> 38[];
  38 -> 39[];
  39 -> 40[];
  40 -> 41[];
  41 -> 42[];
  42 -> 43[];
  43 -> 28[];
  44 -> 46[];
  45 -> 47[];
  46 -> 45[];
  47 -> 49[];
  48 -> 51[];
  49 -> 50[];
  50 -> 48[];
  51 -> 52[];
  52 -> 70[];
  52 -> 71[];
  53 -> 55[];
  54 -> 71[];
  55 -> 56[];
  56 -> 57[];
  57 -> 58[];
  58 -> 59[];
  59 -> 60[];
  60 -> 61[];
  61 -> 62[];
  62 -> 63[];
  63 -> 64[];
  64 -> 65[];
  65 -> 66[];
  66 -> 67[];
  67 -> 68[];
  68 -> 69[];
  69 -> 54[];
  70 -> 53[];
  71 -> 72[];
  72 -> 74[];
  73 -> 76[];
  74 -> 75[];
  75 -> 73[];
  76 -> 79[];
  76 -> 80[];
  77 -> 78[];
  78 -> 103[];
  79 -> 77[];
  80 -> 82[];
  81 -> 97[];
  82 -> 83[];
  83 -> 84[];
  84 -> 85[];
  85 -> 86[];
  86 -> 87[];
  87 -> 88[];
  88 -> 89[];
  89 -> 90[];
  90 -> 91[];
  91 -> 92[];
  92 -> 93[];
  93 -> 94[];
  94 -> 95[];
  95 -> 96[];
  96 -> 81[];
  97 -> 99[];
  98 -> 100[];
  99 -> 98[];
  100 -> 101[];
  101 -> 103[];
  102 -> 0[];
}