{
  "name": "juliet-cwe-369",
  "description": "Juliet CWE-369 (Divide By Zero) test cases",
  "expected": [
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_01.c"
      ],
      "id": "juliet-369-0001"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_02.c"
      ],
      "id": "juliet-369-0002"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_03.c"
      ],
      "id": "juliet-369-0003"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_04.c"
      ],
      "id": "juliet-369-0004"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_05.c"
      ],
      "id": "juliet-369-0005"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_06.c"
      ],
      "id": "juliet-369-0006"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_07.c"
      ],
      "id": "juliet-369-0007"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_08.c"
      ],
      "id": "juliet-369-0008"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_09.c"
      ],
      "id": "juliet-369-0009"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_10.c"
      ],
      "id": "juliet-369-0010"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_11.c"
      ],
      "id": "juliet-369-0011"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_12.c"
      ],
      "id": "juliet-369-0012"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_13.c"
      ],
      "id": "juliet-369-0013"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_14.c"
      ],
      "id": "juliet-369-0014"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_15.c"
      ],
      "id": "juliet-369-0015"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_16.c"
      ],
      "id": "juliet-369-0016"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_17.c"
      ],
      "id": "juliet-369-0017"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_18.c"
      ],
      "id": "juliet-369-0018"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_21.c"
      ],
      "id": "juliet-369-0019"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_22a.c"
      ],
      "id": "juliet-369-0020"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_31.c"
      ],
      "id": "juliet-369-0021"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_32.c"
      ],
      "id": "juliet-369-0022"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_33.cpp"
      ],
      "id": "juliet-369-0023"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_34.c"
      ],
      "id": "juliet-369-0024"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_41.c"
      ],
      "id": "juliet-369-0025"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_42.c"
      ],
      "id": "juliet-369-0026"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_43.cpp"
      ],
      "id": "juliet-369-0027"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_44.c"
      ],
      "id": "juliet-369-0028"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_45.c"
      ],
      "id": "juliet-369-0029"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_51a.c"
      ],
      "id": "juliet-369-0030"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_52a.c"
      ],
      "id": "juliet-369-0031"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_53a.c"
      ],
      "id": "juliet-369-0032"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_54a.c"
      ],
      "id": "juliet-369-0033"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_61a.c"
      ],
      "id": "juliet-369-0034"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_62a.cpp"
      ],
      "id": "juliet-369-0035"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_63a.c"
      ],
      "id": "juliet-369-0036"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_64a.c"
      ],
      "id": "juliet-369-0037"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_65a.c"
      ],
      "id": "juliet-369-0038"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_66a.c"
      ],
      "id": "juliet-369-0039"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_67a.c"
      ],
      "id": "juliet-369-0040"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_68a.c"
      ],
      "id": "juliet-369-0041"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_72a.cpp"
      ],
      "id": "juliet-369-0042"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_73a.cpp"
      ],
      "id": "juliet-369-0043"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_74a.cpp"
      ],
      "id": "juliet-369-0044"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_81_bad.cpp"
      ],
      "id": "juliet-369-0045"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_81a.cpp"
      ],
      "id": "juliet-369-0046"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_82_bad.cpp"
      ],
      "id": "juliet-369-0047"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_82a.cpp"
      ],
      "id": "juliet-369-0048"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_83_bad.cpp"
      ],
      "id": "juliet-369-0049"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_83a.cpp"
      ],
      "id": "juliet-369-0050"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_84_bad.cpp"
      ],
      "id": "juliet-369-0051"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_connect_socket_84a.cpp"
      ],
      "id": "juliet-369-0052"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_01.c"
      ],
      "id": "juliet-369-0053"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_02.c"
      ],
      "id": "juliet-369-0054"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_03.c"
      ],
      "id": "juliet-369-0055"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_04.c"
      ],
      "id": "juliet-369-0056"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_05.c"
      ],
      "id": "juliet-369-0057"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_06.c"
      ],
      "id": "juliet-369-0058"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_07.c"
      ],
      "id": "juliet-369-0059"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_08.c"
      ],
      "id": "juliet-369-0060"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_09.c"
      ],
      "id": "juliet-369-0061"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_10.c"
      ],
      "id": "juliet-369-0062"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_11.c"
      ],
      "id": "juliet-369-0063"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_12.c"
      ],
      "id": "juliet-369-0064"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_13.c"
      ],
      "id": "juliet-369-0065"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_14.c"
      ],
      "id": "juliet-369-0066"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_15.c"
      ],
      "id": "juliet-369-0067"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_16.c"
      ],
      "id": "juliet-369-0068"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_17.c"
      ],
      "id": "juliet-369-0069"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_18.c"
      ],
      "id": "juliet-369-0070"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_21.c"
      ],
      "id": "juliet-369-0071"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_22a.c"
      ],
      "id": "juliet-369-0072"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_31.c"
      ],
      "id": "juliet-369-0073"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_32.c"
      ],
      "id": "juliet-369-0074"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_33.cpp"
      ],
      "id": "juliet-369-0075"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_34.c"
      ],
      "id": "juliet-369-0076"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_41.c"
      ],
      "id": "juliet-369-0077"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_42.c"
      ],
      "id": "juliet-369-0078"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_43.cpp"
      ],
      "id": "juliet-369-0079"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_44.c"
      ],
      "id": "juliet-369-0080"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_45.c"
      ],
      "id": "juliet-369-0081"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_51a.c"
      ],
      "id": "juliet-369-0082"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_52a.c"
      ],
      "id": "juliet-369-0083"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_53a.c"
      ],
      "id": "juliet-369-0084"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_54a.c"
      ],
      "id": "juliet-369-0085"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_61a.c"
      ],
      "id": "juliet-369-0086"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_62a.cpp"
      ],
      "id": "juliet-369-0087"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_63a.c"
      ],
      "id": "juliet-369-0088"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_64a.c"
      ],
      "id": "juliet-369-0089"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_65a.c"
      ],
      "id": "juliet-369-0090"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_66a.c"
      ],
      "id": "juliet-369-0091"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_67a.c"
      ],
      "id": "juliet-369-0092"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_68a.c"
      ],
      "id": "juliet-369-0093"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_72a.cpp"
      ],
      "id": "juliet-369-0094"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_73a.cpp"
      ],
      "id": "juliet-369-0095"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_74a.cpp"
      ],
      "id": "juliet-369-0096"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_81_bad.cpp"
      ],
      "id": "juliet-369-0097"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_81a.cpp"
      ],
      "id": "juliet-369-0098"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_82_bad.cpp"
      ],
      "id": "juliet-369-0099"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_82a.cpp"
      ],
      "id": "juliet-369-0100"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_83_bad.cpp"
      ],
      "id": "juliet-369-0101"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_83a.cpp"
      ],
      "id": "juliet-369-0102"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_84_bad.cpp"
      ],
      "id": "juliet-369-0103"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fgets_84a.cpp"
      ],
      "id": "juliet-369-0104"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_01.c"
      ],
      "id": "juliet-369-0105"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_02.c"
      ],
      "id": "juliet-369-0106"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_03.c"
      ],
      "id": "juliet-369-0107"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_04.c"
      ],
      "id": "juliet-369-0108"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_05.c"
      ],
      "id": "juliet-369-0109"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_06.c"
      ],
      "id": "juliet-369-0110"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_07.c"
      ],
      "id": "juliet-369-0111"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_08.c"
      ],
      "id": "juliet-369-0112"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_09.c"
      ],
      "id": "juliet-369-0113"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_10.c"
      ],
      "id": "juliet-369-0114"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_11.c"
      ],
      "id": "juliet-369-0115"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_12.c"
      ],
      "id": "juliet-369-0116"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_13.c"
      ],
      "id": "juliet-369-0117"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_14.c"
      ],
      "id": "juliet-369-0118"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_15.c"
      ],
      "id": "juliet-369-0119"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_16.c"
      ],
      "id": "juliet-369-0120"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_17.c"
      ],
      "id": "juliet-369-0121"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_18.c"
      ],
      "id": "juliet-369-0122"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_21.c"
      ],
      "id": "juliet-369-0123"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_22a.c"
      ],
      "id": "juliet-369-0124"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_31.c"
      ],
      "id": "juliet-369-0125"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_32.c"
      ],
      "id": "juliet-369-0126"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_33.cpp"
      ],
      "id": "juliet-369-0127"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_34.c"
      ],
      "id": "juliet-369-0128"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_41.c"
      ],
      "id": "juliet-369-0129"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_42.c"
      ],
      "id": "juliet-369-0130"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_43.cpp"
      ],
      "id": "juliet-369-0131"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_44.c"
      ],
      "id": "juliet-369-0132"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_45.c"
      ],
      "id": "juliet-369-0133"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_51a.c"
      ],
      "id": "juliet-369-0134"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_52a.c"
      ],
      "id": "juliet-369-0135"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_53a.c"
      ],
      "id": "juliet-369-0136"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_54a.c"
      ],
      "id": "juliet-369-0137"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_61a.c"
      ],
      "id": "juliet-369-0138"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_62a.cpp"
      ],
      "id": "juliet-369-0139"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_63a.c"
      ],
      "id": "juliet-369-0140"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_64a.c"
      ],
      "id": "juliet-369-0141"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_65a.c"
      ],
      "id": "juliet-369-0142"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_66a.c"
      ],
      "id": "juliet-369-0143"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_67a.c"
      ],
      "id": "juliet-369-0144"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_68a.c"
      ],
      "id": "juliet-369-0145"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_72a.cpp"
      ],
      "id": "juliet-369-0146"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_73a.cpp"
      ],
      "id": "juliet-369-0147"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_74a.cpp"
      ],
      "id": "juliet-369-0148"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_81_bad.cpp"
      ],
      "id": "juliet-369-0149"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_81a.cpp"
      ],
      "id": "juliet-369-0150"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_82_bad.cpp"
      ],
      "id": "juliet-369-0151"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_82a.cpp"
      ],
      "id": "juliet-369-0152"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_83_bad.cpp"
      ],
      "id": "juliet-369-0153"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_83a.cpp"
      ],
      "id": "juliet-369-0154"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_84_bad.cpp"
      ],
      "id": "juliet-369-0155"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_fscanf_84a.cpp"
      ],
      "id": "juliet-369-0156"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_01.c"
      ],
      "id": "juliet-369-0157"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_02.c"
      ],
      "id": "juliet-369-0158"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_03.c"
      ],
      "id": "juliet-369-0159"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_04.c"
      ],
      "id": "juliet-369-0160"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_05.c"
      ],
      "id": "juliet-369-0161"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_06.c"
      ],
      "id": "juliet-369-0162"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_07.c"
      ],
      "id": "juliet-369-0163"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_08.c"
      ],
      "id": "juliet-369-0164"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_09.c"
      ],
      "id": "juliet-369-0165"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_10.c"
      ],
      "id": "juliet-369-0166"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_11.c"
      ],
      "id": "juliet-369-0167"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_12.c"
      ],
      "id": "juliet-369-0168"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_13.c"
      ],
      "id": "juliet-369-0169"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_14.c"
      ],
      "id": "juliet-369-0170"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_15.c"
      ],
      "id": "juliet-369-0171"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_16.c"
      ],
      "id": "juliet-369-0172"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_17.c"
      ],
      "id": "juliet-369-0173"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_18.c"
      ],
      "id": "juliet-369-0174"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_21.c"
      ],
      "id": "juliet-369-0175"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_22a.c"
      ],
      "id": "juliet-369-0176"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_31.c"
      ],
      "id": "juliet-369-0177"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_32.c"
      ],
      "id": "juliet-369-0178"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_33.cpp"
      ],
      "id": "juliet-369-0179"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_34.c"
      ],
      "id": "juliet-369-0180"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_41.c"
      ],
      "id": "juliet-369-0181"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_42.c"
      ],
      "id": "juliet-369-0182"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_43.cpp"
      ],
      "id": "juliet-369-0183"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_44.c"
      ],
      "id": "juliet-369-0184"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_45.c"
      ],
      "id": "juliet-369-0185"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_51a.c"
      ],
      "id": "juliet-369-0186"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_52a.c"
      ],
      "id": "juliet-369-0187"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_53a.c"
      ],
      "id": "juliet-369-0188"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_54a.c"
      ],
      "id": "juliet-369-0189"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_61a.c"
      ],
      "id": "juliet-369-0190"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_62a.cpp"
      ],
      "id": "juliet-369-0191"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_63a.c"
      ],
      "id": "juliet-369-0192"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_64a.c"
      ],
      "id": "juliet-369-0193"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_65a.c"
      ],
      "id": "juliet-369-0194"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_66a.c"
      ],
      "id": "juliet-369-0195"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_67a.c"
      ],
      "id": "juliet-369-0196"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_68a.c"
      ],
      "id": "juliet-369-0197"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_72a.cpp"
      ],
      "id": "juliet-369-0198"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_73a.cpp"
      ],
      "id": "juliet-369-0199"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_74a.cpp"
      ],
      "id": "juliet-369-0200"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_81_bad.cpp"
      ],
      "id": "juliet-369-0201"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_81a.cpp"
      ],
      "id": "juliet-369-0202"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_82_bad.cpp"
      ],
      "id": "juliet-369-0203"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_82a.cpp"
      ],
      "id": "juliet-369-0204"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_83_bad.cpp"
      ],
      "id": "juliet-369-0205"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_83a.cpp"
      ],
      "id": "juliet-369-0206"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_84_bad.cpp"
      ],
      "id": "juliet-369-0207"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_listenSocket_84a.cpp"
      ],
      "id": "juliet-369-0208"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_01.c"
      ],
      "id": "juliet-369-0209"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_02.c"
      ],
      "id": "juliet-369-0210"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_03.c"
      ],
      "id": "juliet-369-0211"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_04.c"
      ],
      "id": "juliet-369-0212"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_05.c"
      ],
      "id": "juliet-369-0213"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_06.c"
      ],
      "id": "juliet-369-0214"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_07.c"
      ],
      "id": "juliet-369-0215"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_08.c"
      ],
      "id": "juliet-369-0216"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_09.c"
      ],
      "id": "juliet-369-0217"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_10.c"
      ],
      "id": "juliet-369-0218"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_11.c"
      ],
      "id": "juliet-369-0219"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_12.c"
      ],
      "id": "juliet-369-0220"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_13.c"
      ],
      "id": "juliet-369-0221"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_14.c"
      ],
      "id": "juliet-369-0222"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_15.c"
      ],
      "id": "juliet-369-0223"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_16.c"
      ],
      "id": "juliet-369-0224"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_17.c"
      ],
      "id": "juliet-369-0225"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_18.c"
      ],
      "id": "juliet-369-0226"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_21.c"
      ],
      "id": "juliet-369-0227"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_22a.c"
      ],
      "id": "juliet-369-0228"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_31.c"
      ],
      "id": "juliet-369-0229"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_32.c"
      ],
      "id": "juliet-369-0230"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_33.cpp"
      ],
      "id": "juliet-369-0231"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_34.c"
      ],
      "id": "juliet-369-0232"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_41.c"
      ],
      "id": "juliet-369-0233"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_42.c"
      ],
      "id": "juliet-369-0234"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_43.cpp"
      ],
      "id": "juliet-369-0235"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_44.c"
      ],
      "id": "juliet-369-0236"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_45.c"
      ],
      "id": "juliet-369-0237"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_51a.c"
      ],
      "id": "juliet-369-0238"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_52a.c"
      ],
      "id": "juliet-369-0239"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_53a.c"
      ],
      "id": "juliet-369-0240"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_54a.c"
      ],
      "id": "juliet-369-0241"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_61a.c"
      ],
      "id": "juliet-369-0242"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_62a.cpp"
      ],
      "id": "juliet-369-0243"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_63a.c"
      ],
      "id": "juliet-369-0244"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_64a.c"
      ],
      "id": "juliet-369-0245"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_65a.c"
      ],
      "id": "juliet-369-0246"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_66a.c"
      ],
      "id": "juliet-369-0247"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_67a.c"
      ],
      "id": "juliet-369-0248"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_68a.c"
      ],
      "id": "juliet-369-0249"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_72a.cpp"
      ],
      "id": "juliet-369-0250"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_73a.cpp"
      ],
      "id": "juliet-369-0251"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_74a.cpp"
      ],
      "id": "juliet-369-0252"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_81_bad.cpp"
      ],
      "id": "juliet-369-0253"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_81a.cpp"
      ],
      "id": "juliet-369-0254"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_82_bad.cpp"
      ],
      "id": "juliet-369-0255"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_82a.cpp"
      ],
      "id": "juliet-369-0256"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_83_bad.cpp"
      ],
      "id": "juliet-369-0257"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_83a.cpp"
      ],
      "id": "juliet-369-0258"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_84_bad.cpp"
      ],
      "id": "juliet-369-0259"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_rand_84a.cpp"
      ],
      "id": "juliet-369-0260"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_01.c"
      ],
      "id": "juliet-369-0261"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_02.c"
      ],
      "id": "juliet-369-0262"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_03.c"
      ],
      "id": "juliet-369-0263"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_04.c"
      ],
      "id": "juliet-369-0264"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_05.c"
      ],
      "id": "juliet-369-0265"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_06.c"
      ],
      "id": "juliet-369-0266"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_07.c"
      ],
      "id": "juliet-369-0267"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_08.c"
      ],
      "id": "juliet-369-0268"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_09.c"
      ],
      "id": "juliet-369-0269"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_10.c"
      ],
      "id": "juliet-369-0270"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_11.c"
      ],
      "id": "juliet-369-0271"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_12.c"
      ],
      "id": "juliet-369-0272"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_13.c"
      ],
      "id": "juliet-369-0273"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_14.c"
      ],
      "id": "juliet-369-0274"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_15.c"
      ],
      "id": "juliet-369-0275"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_16.c"
      ],
      "id": "juliet-369-0276"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_17.c"
      ],
      "id": "juliet-369-0277"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_18.c"
      ],
      "id": "juliet-369-0278"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_21.c"
      ],
      "id": "juliet-369-0279"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_22a.c"
      ],
      "id": "juliet-369-0280"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_31.c"
      ],
      "id": "juliet-369-0281"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_32.c"
      ],
      "id": "juliet-369-0282"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_33.cpp"
      ],
      "id": "juliet-369-0283"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_34.c"
      ],
      "id": "juliet-369-0284"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_41.c"
      ],
      "id": "juliet-369-0285"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_42.c"
      ],
      "id": "juliet-369-0286"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_43.cpp"
      ],
      "id": "juliet-369-0287"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_44.c"
      ],
      "id": "juliet-369-0288"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_45.c"
      ],
      "id": "juliet-369-0289"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_51a.c"
      ],
      "id": "juliet-369-0290"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_52a.c"
      ],
      "id": "juliet-369-0291"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_53a.c"
      ],
      "id": "juliet-369-0292"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_54a.c"
      ],
      "id": "juliet-369-0293"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_61a.c"
      ],
      "id": "juliet-369-0294"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_62a.cpp"
      ],
      "id": "juliet-369-0295"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_63a.c"
      ],
      "id": "juliet-369-0296"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_64a.c"
      ],
      "id": "juliet-369-0297"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_65a.c"
      ],
      "id": "juliet-369-0298"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_66a.c"
      ],
      "id": "juliet-369-0299"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_67a.c"
      ],
      "id": "juliet-369-0300"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_68a.c"
      ],
      "id": "juliet-369-0301"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_72a.cpp"
      ],
      "id": "juliet-369-0302"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_73a.cpp"
      ],
      "id": "juliet-369-0303"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_74a.cpp"
      ],
      "id": "juliet-369-0304"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_81_bad.cpp"
      ],
      "id": "juliet-369-0305"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_81a.cpp"
      ],
      "id": "juliet-369-0306"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_82_bad.cpp"
      ],
      "id": "juliet-369-0307"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_82a.cpp"
      ],
      "id": "juliet-369-0308"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_83_bad.cpp"
      ],
      "id": "juliet-369-0309"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_83a.cpp"
      ],
      "id": "juliet-369-0310"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_84_bad.cpp"
      ],
      "id": "juliet-369-0311"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__float_zero_84a.cpp"
      ],
      "id": "juliet-369-0312"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_01.c"
      ],
      "id": "juliet-369-0313"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_02.c"
      ],
      "id": "juliet-369-0314"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_03.c"
      ],
      "id": "juliet-369-0315"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_04.c"
      ],
      "id": "juliet-369-0316"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_05.c"
      ],
      "id": "juliet-369-0317"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_06.c"
      ],
      "id": "juliet-369-0318"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_07.c"
      ],
      "id": "juliet-369-0319"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_08.c"
      ],
      "id": "juliet-369-0320"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_09.c"
      ],
      "id": "juliet-369-0321"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_10.c"
      ],
      "id": "juliet-369-0322"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_11.c"
      ],
      "id": "juliet-369-0323"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_12.c"
      ],
      "id": "juliet-369-0324"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_13.c"
      ],
      "id": "juliet-369-0325"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_14.c"
      ],
      "id": "juliet-369-0326"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_15.c"
      ],
      "id": "juliet-369-0327"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_16.c"
      ],
      "id": "juliet-369-0328"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_17.c"
      ],
      "id": "juliet-369-0329"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_18.c"
      ],
      "id": "juliet-369-0330"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_21.c"
      ],
      "id": "juliet-369-0331"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_22a.c"
      ],
      "id": "juliet-369-0332"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_31.c"
      ],
      "id": "juliet-369-0333"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_32.c"
      ],
      "id": "juliet-369-0334"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_33.cpp"
      ],
      "id": "juliet-369-0335"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_34.c"
      ],
      "id": "juliet-369-0336"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_41.c"
      ],
      "id": "juliet-369-0337"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_42.c"
      ],
      "id": "juliet-369-0338"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_43.cpp"
      ],
      "id": "juliet-369-0339"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_44.c"
      ],
      "id": "juliet-369-0340"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_45.c"
      ],
      "id": "juliet-369-0341"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_51a.c"
      ],
      "id": "juliet-369-0342"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_52a.c"
      ],
      "id": "juliet-369-0343"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_53a.c"
      ],
      "id": "juliet-369-0344"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_54a.c"
      ],
      "id": "juliet-369-0345"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_61a.c"
      ],
      "id": "juliet-369-0346"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_62a.cpp"
      ],
      "id": "juliet-369-0347"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_63a.c"
      ],
      "id": "juliet-369-0348"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_64a.c"
      ],
      "id": "juliet-369-0349"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_65a.c"
      ],
      "id": "juliet-369-0350"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_66a.c"
      ],
      "id": "juliet-369-0351"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_67a.c"
      ],
      "id": "juliet-369-0352"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_68a.c"
      ],
      "id": "juliet-369-0353"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_72a.cpp"
      ],
      "id": "juliet-369-0354"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_73a.cpp"
      ],
      "id": "juliet-369-0355"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_74a.cpp"
      ],
      "id": "juliet-369-0356"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_81_bad.cpp"
      ],
      "id": "juliet-369-0357"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_81a.cpp"
      ],
      "id": "juliet-369-0358"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_82_bad.cpp"
      ],
      "id": "juliet-369-0359"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_82a.cpp"
      ],
      "id": "juliet-369-0360"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_83_bad.cpp"
      ],
      "id": "juliet-369-0361"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_83a.cpp"
      ],
      "id": "juliet-369-0362"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_84_bad.cpp"
      ],
      "id": "juliet-369-0363"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_divide_84a.cpp"
      ],
      "id": "juliet-369-0364"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_01.c"
      ],
      "id": "juliet-369-0365"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_02.c"
      ],
      "id": "juliet-369-0366"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_03.c"
      ],
      "id": "juliet-369-0367"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_04.c"
      ],
      "id": "juliet-369-0368"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_05.c"
      ],
      "id": "juliet-369-0369"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_06.c"
      ],
      "id": "juliet-369-0370"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_07.c"
      ],
      "id": "juliet-369-0371"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_08.c"
      ],
      "id": "juliet-369-0372"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_09.c"
      ],
      "id": "juliet-369-0373"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_10.c"
      ],
      "id": "juliet-369-0374"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_11.c"
      ],
      "id": "juliet-369-0375"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_12.c"
      ],
      "id": "juliet-369-0376"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_13.c"
      ],
      "id": "juliet-369-0377"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_14.c"
      ],
      "id": "juliet-369-0378"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_15.c"
      ],
      "id": "juliet-369-0379"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_16.c"
      ],
      "id": "juliet-369-0380"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_17.c"
      ],
      "id": "juliet-369-0381"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_18.c"
      ],
      "id": "juliet-369-0382"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_21.c"
      ],
      "id": "juliet-369-0383"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_22a.c"
      ],
      "id": "juliet-369-0384"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_31.c"
      ],
      "id": "juliet-369-0385"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_32.c"
      ],
      "id": "juliet-369-0386"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_33.cpp"
      ],
      "id": "juliet-369-0387"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_34.c"
      ],
      "id": "juliet-369-0388"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_41.c"
      ],
      "id": "juliet-369-0389"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_42.c"
      ],
      "id": "juliet-369-0390"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_43.cpp"
      ],
      "id": "juliet-369-0391"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_44.c"
      ],
      "id": "juliet-369-0392"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_45.c"
      ],
      "id": "juliet-369-0393"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_51a.c"
      ],
      "id": "juliet-369-0394"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_52a.c"
      ],
      "id": "juliet-369-0395"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_53a.c"
      ],
      "id": "juliet-369-0396"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_54a.c"
      ],
      "id": "juliet-369-0397"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_61a.c"
      ],
      "id": "juliet-369-0398"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_62a.cpp"
      ],
      "id": "juliet-369-0399"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_63a.c"
      ],
      "id": "juliet-369-0400"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_64a.c"
      ],
      "id": "juliet-369-0401"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_65a.c"
      ],
      "id": "juliet-369-0402"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_66a.c"
      ],
      "id": "juliet-369-0403"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_67a.c"
      ],
      "id": "juliet-369-0404"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_68a.c"
      ],
      "id": "juliet-369-0405"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_72a.cpp"
      ],
      "id": "juliet-369-0406"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_73a.cpp"
      ],
      "id": "juliet-369-0407"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_74a.cpp"
      ],
      "id": "juliet-369-0408"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_81_bad.cpp"
      ],
      "id": "juliet-369-0409"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_81a.cpp"
      ],
      "id": "juliet-369-0410"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_82_bad.cpp"
      ],
      "id": "juliet-369-0411"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_82a.cpp"
      ],
      "id": "juliet-369-0412"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_83_bad.cpp"
      ],
      "id": "juliet-369-0413"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_83a.cpp"
      ],
      "id": "juliet-369-0414"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_84_bad.cpp"
      ],
      "id": "juliet-369-0415"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_connect_socket_modulo_84a.cpp"
      ],
      "id": "juliet-369-0416"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_01.c"
      ],
      "id": "juliet-369-0417"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_02.c"
      ],
      "id": "juliet-369-0418"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_03.c"
      ],
      "id": "juliet-369-0419"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_04.c"
      ],
      "id": "juliet-369-0420"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_05.c"
      ],
      "id": "juliet-369-0421"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_06.c"
      ],
      "id": "juliet-369-0422"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_07.c"
      ],
      "id": "juliet-369-0423"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_08.c"
      ],
      "id": "juliet-369-0424"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_09.c"
      ],
      "id": "juliet-369-0425"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_10.c"
      ],
      "id": "juliet-369-0426"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_11.c"
      ],
      "id": "juliet-369-0427"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_12.c"
      ],
      "id": "juliet-369-0428"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_13.c"
      ],
      "id": "juliet-369-0429"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_14.c"
      ],
      "id": "juliet-369-0430"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_15.c"
      ],
      "id": "juliet-369-0431"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_16.c"
      ],
      "id": "juliet-369-0432"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_17.c"
      ],
      "id": "juliet-369-0433"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_18.c"
      ],
      "id": "juliet-369-0434"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_21.c"
      ],
      "id": "juliet-369-0435"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_22a.c"
      ],
      "id": "juliet-369-0436"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_31.c"
      ],
      "id": "juliet-369-0437"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_32.c"
      ],
      "id": "juliet-369-0438"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_33.cpp"
      ],
      "id": "juliet-369-0439"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_34.c"
      ],
      "id": "juliet-369-0440"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_41.c"
      ],
      "id": "juliet-369-0441"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_42.c"
      ],
      "id": "juliet-369-0442"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_43.cpp"
      ],
      "id": "juliet-369-0443"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_44.c"
      ],
      "id": "juliet-369-0444"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_45.c"
      ],
      "id": "juliet-369-0445"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_51a.c"
      ],
      "id": "juliet-369-0446"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_52a.c"
      ],
      "id": "juliet-369-0447"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_53a.c"
      ],
      "id": "juliet-369-0448"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_54a.c"
      ],
      "id": "juliet-369-0449"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_61a.c"
      ],
      "id": "juliet-369-0450"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_62a.cpp"
      ],
      "id": "juliet-369-0451"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_63a.c"
      ],
      "id": "juliet-369-0452"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_64a.c"
      ],
      "id": "juliet-369-0453"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_65a.c"
      ],
      "id": "juliet-369-0454"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_66a.c"
      ],
      "id": "juliet-369-0455"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_67a.c"
      ],
      "id": "juliet-369-0456"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_68a.c"
      ],
      "id": "juliet-369-0457"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_72a.cpp"
      ],
      "id": "juliet-369-0458"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_73a.cpp"
      ],
      "id": "juliet-369-0459"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_74a.cpp"
      ],
      "id": "juliet-369-0460"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_81_bad.cpp"
      ],
      "id": "juliet-369-0461"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_81a.cpp"
      ],
      "id": "juliet-369-0462"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_82_bad.cpp"
      ],
      "id": "juliet-369-0463"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_82a.cpp"
      ],
      "id": "juliet-369-0464"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_83_bad.cpp"
      ],
      "id": "juliet-369-0465"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_83a.cpp"
      ],
      "id": "juliet-369-0466"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_84_bad.cpp"
      ],
      "id": "juliet-369-0467"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_divide_84a.cpp"
      ],
      "id": "juliet-369-0468"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_01.c"
      ],
      "id": "juliet-369-0469"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_02.c"
      ],
      "id": "juliet-369-0470"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_03.c"
      ],
      "id": "juliet-369-0471"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_04.c"
      ],
      "id": "juliet-369-0472"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_05.c"
      ],
      "id": "juliet-369-0473"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_06.c"
      ],
      "id": "juliet-369-0474"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_07.c"
      ],
      "id": "juliet-369-0475"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_08.c"
      ],
      "id": "juliet-369-0476"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_09.c"
      ],
      "id": "juliet-369-0477"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_10.c"
      ],
      "id": "juliet-369-0478"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_11.c"
      ],
      "id": "juliet-369-0479"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_12.c"
      ],
      "id": "juliet-369-0480"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_13.c"
      ],
      "id": "juliet-369-0481"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_14.c"
      ],
      "id": "juliet-369-0482"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_15.c"
      ],
      "id": "juliet-369-0483"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_16.c"
      ],
      "id": "juliet-369-0484"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_17.c"
      ],
      "id": "juliet-369-0485"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_18.c"
      ],
      "id": "juliet-369-0486"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_21.c"
      ],
      "id": "juliet-369-0487"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_22a.c"
      ],
      "id": "juliet-369-0488"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_31.c"
      ],
      "id": "juliet-369-0489"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_32.c"
      ],
      "id": "juliet-369-0490"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_33.cpp"
      ],
      "id": "juliet-369-0491"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_34.c"
      ],
      "id": "juliet-369-0492"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_41.c"
      ],
      "id": "juliet-369-0493"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_42.c"
      ],
      "id": "juliet-369-0494"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_43.cpp"
      ],
      "id": "juliet-369-0495"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_44.c"
      ],
      "id": "juliet-369-0496"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_45.c"
      ],
      "id": "juliet-369-0497"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_51a.c"
      ],
      "id": "juliet-369-0498"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_52a.c"
      ],
      "id": "juliet-369-0499"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_53a.c"
      ],
      "id": "juliet-369-0500"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_54a.c"
      ],
      "id": "juliet-369-0501"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_61a.c"
      ],
      "id": "juliet-369-0502"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_62a.cpp"
      ],
      "id": "juliet-369-0503"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_63a.c"
      ],
      "id": "juliet-369-0504"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_64a.c"
      ],
      "id": "juliet-369-0505"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_65a.c"
      ],
      "id": "juliet-369-0506"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_66a.c"
      ],
      "id": "juliet-369-0507"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_67a.c"
      ],
      "id": "juliet-369-0508"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_68a.c"
      ],
      "id": "juliet-369-0509"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_72a.cpp"
      ],
      "id": "juliet-369-0510"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_73a.cpp"
      ],
      "id": "juliet-369-0511"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_74a.cpp"
      ],
      "id": "juliet-369-0512"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_81_bad.cpp"
      ],
      "id": "juliet-369-0513"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_81a.cpp"
      ],
      "id": "juliet-369-0514"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_82_bad.cpp"
      ],
      "id": "juliet-369-0515"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_82a.cpp"
      ],
      "id": "juliet-369-0516"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_83_bad.cpp"
      ],
      "id": "juliet-369-0517"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_83a.cpp"
      ],
      "id": "juliet-369-0518"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_84_bad.cpp"
      ],
      "id": "juliet-369-0519"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fgets_modulo_84a.cpp"
      ],
      "id": "juliet-369-0520"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_01.c"
      ],
      "id": "juliet-369-0521"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_02.c"
      ],
      "id": "juliet-369-0522"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_03.c"
      ],
      "id": "juliet-369-0523"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_04.c"
      ],
      "id": "juliet-369-0524"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_05.c"
      ],
      "id": "juliet-369-0525"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_06.c"
      ],
      "id": "juliet-369-0526"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_07.c"
      ],
      "id": "juliet-369-0527"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_08.c"
      ],
      "id": "juliet-369-0528"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_09.c"
      ],
      "id": "juliet-369-0529"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_10.c"
      ],
      "id": "juliet-369-0530"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_11.c"
      ],
      "id": "juliet-369-0531"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_12.c"
      ],
      "id": "juliet-369-0532"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_13.c"
      ],
      "id": "juliet-369-0533"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_14.c"
      ],
      "id": "juliet-369-0534"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_15.c"
      ],
      "id": "juliet-369-0535"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_16.c"
      ],
      "id": "juliet-369-0536"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_17.c"
      ],
      "id": "juliet-369-0537"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_18.c"
      ],
      "id": "juliet-369-0538"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_21.c"
      ],
      "id": "juliet-369-0539"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_22a.c"
      ],
      "id": "juliet-369-0540"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_31.c"
      ],
      "id": "juliet-369-0541"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_32.c"
      ],
      "id": "juliet-369-0542"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_33.cpp"
      ],
      "id": "juliet-369-0543"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_34.c"
      ],
      "id": "juliet-369-0544"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_41.c"
      ],
      "id": "juliet-369-0545"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_42.c"
      ],
      "id": "juliet-369-0546"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_43.cpp"
      ],
      "id": "juliet-369-0547"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_44.c"
      ],
      "id": "juliet-369-0548"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_45.c"
      ],
      "id": "juliet-369-0549"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_51a.c"
      ],
      "id": "juliet-369-0550"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_52a.c"
      ],
      "id": "juliet-369-0551"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_53a.c"
      ],
      "id": "juliet-369-0552"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_54a.c"
      ],
      "id": "juliet-369-0553"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_61a.c"
      ],
      "id": "juliet-369-0554"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_62a.cpp"
      ],
      "id": "juliet-369-0555"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_63a.c"
      ],
      "id": "juliet-369-0556"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_64a.c"
      ],
      "id": "juliet-369-0557"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_65a.c"
      ],
      "id": "juliet-369-0558"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_66a.c"
      ],
      "id": "juliet-369-0559"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_67a.c"
      ],
      "id": "juliet-369-0560"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_68a.c"
      ],
      "id": "juliet-369-0561"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_72a.cpp"
      ],
      "id": "juliet-369-0562"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_73a.cpp"
      ],
      "id": "juliet-369-0563"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_74a.cpp"
      ],
      "id": "juliet-369-0564"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_81_bad.cpp"
      ],
      "id": "juliet-369-0565"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_81a.cpp"
      ],
      "id": "juliet-369-0566"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_82_bad.cpp"
      ],
      "id": "juliet-369-0567"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_82a.cpp"
      ],
      "id": "juliet-369-0568"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_83_bad.cpp"
      ],
      "id": "juliet-369-0569"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_83a.cpp"
      ],
      "id": "juliet-369-0570"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_84_bad.cpp"
      ],
      "id": "juliet-369-0571"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/CWE369_Divide_by_Zero__int_fscanf_divide_84a.cpp"
      ],
      "id": "juliet-369-0572"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/main.cpp"
      ],
      "id": "juliet-369-0573"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s01/main_linux.cpp"
      ],
      "id": "juliet-369-0574"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_01.c"
      ],
      "id": "juliet-369-0575"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_02.c"
      ],
      "id": "juliet-369-0576"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_03.c"
      ],
      "id": "juliet-369-0577"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_04.c"
      ],
      "id": "juliet-369-0578"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_05.c"
      ],
      "id": "juliet-369-0579"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_06.c"
      ],
      "id": "juliet-369-0580"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_07.c"
      ],
      "id": "juliet-369-0581"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_08.c"
      ],
      "id": "juliet-369-0582"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_09.c"
      ],
      "id": "juliet-369-0583"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_10.c"
      ],
      "id": "juliet-369-0584"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_11.c"
      ],
      "id": "juliet-369-0585"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_12.c"
      ],
      "id": "juliet-369-0586"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_13.c"
      ],
      "id": "juliet-369-0587"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_14.c"
      ],
      "id": "juliet-369-0588"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_15.c"
      ],
      "id": "juliet-369-0589"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_16.c"
      ],
      "id": "juliet-369-0590"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_17.c"
      ],
      "id": "juliet-369-0591"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_18.c"
      ],
      "id": "juliet-369-0592"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_21.c"
      ],
      "id": "juliet-369-0593"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_22a.c"
      ],
      "id": "juliet-369-0594"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_31.c"
      ],
      "id": "juliet-369-0595"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_32.c"
      ],
      "id": "juliet-369-0596"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_33.cpp"
      ],
      "id": "juliet-369-0597"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_34.c"
      ],
      "id": "juliet-369-0598"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_41.c"
      ],
      "id": "juliet-369-0599"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_42.c"
      ],
      "id": "juliet-369-0600"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_43.cpp"
      ],
      "id": "juliet-369-0601"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_44.c"
      ],
      "id": "juliet-369-0602"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_45.c"
      ],
      "id": "juliet-369-0603"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_51a.c"
      ],
      "id": "juliet-369-0604"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_52a.c"
      ],
      "id": "juliet-369-0605"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_53a.c"
      ],
      "id": "juliet-369-0606"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_54a.c"
      ],
      "id": "juliet-369-0607"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_61a.c"
      ],
      "id": "juliet-369-0608"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_62a.cpp"
      ],
      "id": "juliet-369-0609"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_63a.c"
      ],
      "id": "juliet-369-0610"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_64a.c"
      ],
      "id": "juliet-369-0611"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_65a.c"
      ],
      "id": "juliet-369-0612"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_66a.c"
      ],
      "id": "juliet-369-0613"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_67a.c"
      ],
      "id": "juliet-369-0614"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_68a.c"
      ],
      "id": "juliet-369-0615"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_72a.cpp"
      ],
      "id": "juliet-369-0616"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_73a.cpp"
      ],
      "id": "juliet-369-0617"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_74a.cpp"
      ],
      "id": "juliet-369-0618"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_81_bad.cpp"
      ],
      "id": "juliet-369-0619"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_81a.cpp"
      ],
      "id": "juliet-369-0620"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_82_bad.cpp"
      ],
      "id": "juliet-369-0621"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_82a.cpp"
      ],
      "id": "juliet-369-0622"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_83_bad.cpp"
      ],
      "id": "juliet-369-0623"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_83a.cpp"
      ],
      "id": "juliet-369-0624"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_84_bad.cpp"
      ],
      "id": "juliet-369-0625"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_fscanf_modulo_84a.cpp"
      ],
      "id": "juliet-369-0626"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_01.c"
      ],
      "id": "juliet-369-0627"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_02.c"
      ],
      "id": "juliet-369-0628"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_03.c"
      ],
      "id": "juliet-369-0629"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_04.c"
      ],
      "id": "juliet-369-0630"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_05.c"
      ],
      "id": "juliet-369-0631"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_06.c"
      ],
      "id": "juliet-369-0632"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_07.c"
      ],
      "id": "juliet-369-0633"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_08.c"
      ],
      "id": "juliet-369-0634"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_09.c"
      ],
      "id": "juliet-369-0635"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_10.c"
      ],
      "id": "juliet-369-0636"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_11.c"
      ],
      "id": "juliet-369-0637"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_12.c"
      ],
      "id": "juliet-369-0638"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_13.c"
      ],
      "id": "juliet-369-0639"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_14.c"
      ],
      "id": "juliet-369-0640"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_15.c"
      ],
      "id": "juliet-369-0641"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_16.c"
      ],
      "id": "juliet-369-0642"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_17.c"
      ],
      "id": "juliet-369-0643"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_18.c"
      ],
      "id": "juliet-369-0644"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_21.c"
      ],
      "id": "juliet-369-0645"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_22a.c"
      ],
      "id": "juliet-369-0646"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_31.c"
      ],
      "id": "juliet-369-0647"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_32.c"
      ],
      "id": "juliet-369-0648"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_33.cpp"
      ],
      "id": "juliet-369-0649"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_34.c"
      ],
      "id": "juliet-369-0650"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_41.c"
      ],
      "id": "juliet-369-0651"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_42.c"
      ],
      "id": "juliet-369-0652"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_43.cpp"
      ],
      "id": "juliet-369-0653"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_44.c"
      ],
      "id": "juliet-369-0654"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_45.c"
      ],
      "id": "juliet-369-0655"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_51a.c"
      ],
      "id": "juliet-369-0656"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_52a.c"
      ],
      "id": "juliet-369-0657"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_53a.c"
      ],
      "id": "juliet-369-0658"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_54a.c"
      ],
      "id": "juliet-369-0659"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_61a.c"
      ],
      "id": "juliet-369-0660"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_62a.cpp"
      ],
      "id": "juliet-369-0661"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_63a.c"
      ],
      "id": "juliet-369-0662"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_64a.c"
      ],
      "id": "juliet-369-0663"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_65a.c"
      ],
      "id": "juliet-369-0664"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_66a.c"
      ],
      "id": "juliet-369-0665"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_67a.c"
      ],
      "id": "juliet-369-0666"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_68a.c"
      ],
      "id": "juliet-369-0667"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_72a.cpp"
      ],
      "id": "juliet-369-0668"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_73a.cpp"
      ],
      "id": "juliet-369-0669"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_74a.cpp"
      ],
      "id": "juliet-369-0670"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_81_bad.cpp"
      ],
      "id": "juliet-369-0671"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_81a.cpp"
      ],
      "id": "juliet-369-0672"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_82_bad.cpp"
      ],
      "id": "juliet-369-0673"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_82a.cpp"
      ],
      "id": "juliet-369-0674"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_83_bad.cpp"
      ],
      "id": "juliet-369-0675"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_83a.cpp"
      ],
      "id": "juliet-369-0676"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_84_bad.cpp"
      ],
      "id": "juliet-369-0677"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_divide_84a.cpp"
      ],
      "id": "juliet-369-0678"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_01.c"
      ],
      "id": "juliet-369-0679"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_02.c"
      ],
      "id": "juliet-369-0680"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_03.c"
      ],
      "id": "juliet-369-0681"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_04.c"
      ],
      "id": "juliet-369-0682"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_05.c"
      ],
      "id": "juliet-369-0683"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_06.c"
      ],
      "id": "juliet-369-0684"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_07.c"
      ],
      "id": "juliet-369-0685"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_08.c"
      ],
      "id": "juliet-369-0686"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_09.c"
      ],
      "id": "juliet-369-0687"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_10.c"
      ],
      "id": "juliet-369-0688"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_11.c"
      ],
      "id": "juliet-369-0689"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_12.c"
      ],
      "id": "juliet-369-0690"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_13.c"
      ],
      "id": "juliet-369-0691"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_14.c"
      ],
      "id": "juliet-369-0692"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_15.c"
      ],
      "id": "juliet-369-0693"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_16.c"
      ],
      "id": "juliet-369-0694"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_17.c"
      ],
      "id": "juliet-369-0695"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_18.c"
      ],
      "id": "juliet-369-0696"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_21.c"
      ],
      "id": "juliet-369-0697"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_22a.c"
      ],
      "id": "juliet-369-0698"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_31.c"
      ],
      "id": "juliet-369-0699"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_32.c"
      ],
      "id": "juliet-369-0700"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_33.cpp"
      ],
      "id": "juliet-369-0701"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_34.c"
      ],
      "id": "juliet-369-0702"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_41.c"
      ],
      "id": "juliet-369-0703"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_42.c"
      ],
      "id": "juliet-369-0704"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_43.cpp"
      ],
      "id": "juliet-369-0705"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_44.c"
      ],
      "id": "juliet-369-0706"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_45.c"
      ],
      "id": "juliet-369-0707"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_51a.c"
      ],
      "id": "juliet-369-0708"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_52a.c"
      ],
      "id": "juliet-369-0709"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_53a.c"
      ],
      "id": "juliet-369-0710"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_54a.c"
      ],
      "id": "juliet-369-0711"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_61a.c"
      ],
      "id": "juliet-369-0712"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_62a.cpp"
      ],
      "id": "juliet-369-0713"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_63a.c"
      ],
      "id": "juliet-369-0714"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_64a.c"
      ],
      "id": "juliet-369-0715"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_65a.c"
      ],
      "id": "juliet-369-0716"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_66a.c"
      ],
      "id": "juliet-369-0717"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_67a.c"
      ],
      "id": "juliet-369-0718"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_68a.c"
      ],
      "id": "juliet-369-0719"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_72a.cpp"
      ],
      "id": "juliet-369-0720"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_73a.cpp"
      ],
      "id": "juliet-369-0721"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_74a.cpp"
      ],
      "id": "juliet-369-0722"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_81_bad.cpp"
      ],
      "id": "juliet-369-0723"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_81a.cpp"
      ],
      "id": "juliet-369-0724"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_82_bad.cpp"
      ],
      "id": "juliet-369-0725"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_82a.cpp"
      ],
      "id": "juliet-369-0726"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_83_bad.cpp"
      ],
      "id": "juliet-369-0727"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_83a.cpp"
      ],
      "id": "juliet-369-0728"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_84_bad.cpp"
      ],
      "id": "juliet-369-0729"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_listen_socket_modulo_84a.cpp"
      ],
      "id": "juliet-369-0730"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_01.c"
      ],
      "id": "juliet-369-0731"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_02.c"
      ],
      "id": "juliet-369-0732"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_03.c"
      ],
      "id": "juliet-369-0733"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_04.c"
      ],
      "id": "juliet-369-0734"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_05.c"
      ],
      "id": "juliet-369-0735"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_06.c"
      ],
      "id": "juliet-369-0736"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_07.c"
      ],
      "id": "juliet-369-0737"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_08.c"
      ],
      "id": "juliet-369-0738"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_09.c"
      ],
      "id": "juliet-369-0739"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_10.c"
      ],
      "id": "juliet-369-0740"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_11.c"
      ],
      "id": "juliet-369-0741"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_12.c"
      ],
      "id": "juliet-369-0742"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_13.c"
      ],
      "id": "juliet-369-0743"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_14.c"
      ],
      "id": "juliet-369-0744"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_15.c"
      ],
      "id": "juliet-369-0745"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_16.c"
      ],
      "id": "juliet-369-0746"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_17.c"
      ],
      "id": "juliet-369-0747"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_18.c"
      ],
      "id": "juliet-369-0748"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_21.c"
      ],
      "id": "juliet-369-0749"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_22a.c"
      ],
      "id": "juliet-369-0750"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_31.c"
      ],
      "id": "juliet-369-0751"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_32.c"
      ],
      "id": "juliet-369-0752"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_33.cpp"
      ],
      "id": "juliet-369-0753"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_34.c"
      ],
      "id": "juliet-369-0754"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_41.c"
      ],
      "id": "juliet-369-0755"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_42.c"
      ],
      "id": "juliet-369-0756"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_43.cpp"
      ],
      "id": "juliet-369-0757"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_44.c"
      ],
      "id": "juliet-369-0758"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_45.c"
      ],
      "id": "juliet-369-0759"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_51a.c"
      ],
      "id": "juliet-369-0760"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_52a.c"
      ],
      "id": "juliet-369-0761"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_53a.c"
      ],
      "id": "juliet-369-0762"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_54a.c"
      ],
      "id": "juliet-369-0763"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_61a.c"
      ],
      "id": "juliet-369-0764"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_62a.cpp"
      ],
      "id": "juliet-369-0765"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_63a.c"
      ],
      "id": "juliet-369-0766"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_64a.c"
      ],
      "id": "juliet-369-0767"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_65a.c"
      ],
      "id": "juliet-369-0768"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_66a.c"
      ],
      "id": "juliet-369-0769"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_67a.c"
      ],
      "id": "juliet-369-0770"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_68a.c"
      ],
      "id": "juliet-369-0771"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_72a.cpp"
      ],
      "id": "juliet-369-0772"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_73a.cpp"
      ],
      "id": "juliet-369-0773"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_74a.cpp"
      ],
      "id": "juliet-369-0774"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_81_bad.cpp"
      ],
      "id": "juliet-369-0775"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_81a.cpp"
      ],
      "id": "juliet-369-0776"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_82_bad.cpp"
      ],
      "id": "juliet-369-0777"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_82a.cpp"
      ],
      "id": "juliet-369-0778"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_83_bad.cpp"
      ],
      "id": "juliet-369-0779"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_83a.cpp"
      ],
      "id": "juliet-369-0780"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_84_bad.cpp"
      ],
      "id": "juliet-369-0781"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_divide_84a.cpp"
      ],
      "id": "juliet-369-0782"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_01.c"
      ],
      "id": "juliet-369-0783"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_02.c"
      ],
      "id": "juliet-369-0784"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_03.c"
      ],
      "id": "juliet-369-0785"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_04.c"
      ],
      "id": "juliet-369-0786"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_05.c"
      ],
      "id": "juliet-369-0787"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_06.c"
      ],
      "id": "juliet-369-0788"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_07.c"
      ],
      "id": "juliet-369-0789"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_08.c"
      ],
      "id": "juliet-369-0790"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_09.c"
      ],
      "id": "juliet-369-0791"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_10.c"
      ],
      "id": "juliet-369-0792"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_11.c"
      ],
      "id": "juliet-369-0793"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_12.c"
      ],
      "id": "juliet-369-0794"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_13.c"
      ],
      "id": "juliet-369-0795"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_14.c"
      ],
      "id": "juliet-369-0796"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_15.c"
      ],
      "id": "juliet-369-0797"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_16.c"
      ],
      "id": "juliet-369-0798"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_17.c"
      ],
      "id": "juliet-369-0799"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_18.c"
      ],
      "id": "juliet-369-0800"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_21.c"
      ],
      "id": "juliet-369-0801"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_22a.c"
      ],
      "id": "juliet-369-0802"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_31.c"
      ],
      "id": "juliet-369-0803"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_32.c"
      ],
      "id": "juliet-369-0804"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_33.cpp"
      ],
      "id": "juliet-369-0805"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_34.c"
      ],
      "id": "juliet-369-0806"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_41.c"
      ],
      "id": "juliet-369-0807"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_42.c"
      ],
      "id": "juliet-369-0808"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_43.cpp"
      ],
      "id": "juliet-369-0809"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_44.c"
      ],
      "id": "juliet-369-0810"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_45.c"
      ],
      "id": "juliet-369-0811"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_51a.c"
      ],
      "id": "juliet-369-0812"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_52a.c"
      ],
      "id": "juliet-369-0813"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_53a.c"
      ],
      "id": "juliet-369-0814"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_54a.c"
      ],
      "id": "juliet-369-0815"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_61a.c"
      ],
      "id": "juliet-369-0816"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_62a.cpp"
      ],
      "id": "juliet-369-0817"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_63a.c"
      ],
      "id": "juliet-369-0818"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_64a.c"
      ],
      "id": "juliet-369-0819"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_65a.c"
      ],
      "id": "juliet-369-0820"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_66a.c"
      ],
      "id": "juliet-369-0821"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_67a.c"
      ],
      "id": "juliet-369-0822"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_68a.c"
      ],
      "id": "juliet-369-0823"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_72a.cpp"
      ],
      "id": "juliet-369-0824"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_73a.cpp"
      ],
      "id": "juliet-369-0825"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_74a.cpp"
      ],
      "id": "juliet-369-0826"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_81_bad.cpp"
      ],
      "id": "juliet-369-0827"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_81a.cpp"
      ],
      "id": "juliet-369-0828"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_82_bad.cpp"
      ],
      "id": "juliet-369-0829"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_82a.cpp"
      ],
      "id": "juliet-369-0830"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_83_bad.cpp"
      ],
      "id": "juliet-369-0831"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_83a.cpp"
      ],
      "id": "juliet-369-0832"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_84_bad.cpp"
      ],
      "id": "juliet-369-0833"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_rand_modulo_84a.cpp"
      ],
      "id": "juliet-369-0834"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_01.c"
      ],
      "id": "juliet-369-0835"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_02.c"
      ],
      "id": "juliet-369-0836"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_03.c"
      ],
      "id": "juliet-369-0837"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_04.c"
      ],
      "id": "juliet-369-0838"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_05.c"
      ],
      "id": "juliet-369-0839"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_06.c"
      ],
      "id": "juliet-369-0840"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_07.c"
      ],
      "id": "juliet-369-0841"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_08.c"
      ],
      "id": "juliet-369-0842"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_09.c"
      ],
      "id": "juliet-369-0843"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_10.c"
      ],
      "id": "juliet-369-0844"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_11.c"
      ],
      "id": "juliet-369-0845"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_12.c"
      ],
      "id": "juliet-369-0846"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_13.c"
      ],
      "id": "juliet-369-0847"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_14.c"
      ],
      "id": "juliet-369-0848"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_15.c"
      ],
      "id": "juliet-369-0849"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_16.c"
      ],
      "id": "juliet-369-0850"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_17.c"
      ],
      "id": "juliet-369-0851"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_18.c"
      ],
      "id": "juliet-369-0852"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_21.c"
      ],
      "id": "juliet-369-0853"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_22a.c"
      ],
      "id": "juliet-369-0854"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_31.c"
      ],
      "id": "juliet-369-0855"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_32.c"
      ],
      "id": "juliet-369-0856"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_33.cpp"
      ],
      "id": "juliet-369-0857"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_34.c"
      ],
      "id": "juliet-369-0858"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_41.c"
      ],
      "id": "juliet-369-0859"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_42.c"
      ],
      "id": "juliet-369-0860"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_43.cpp"
      ],
      "id": "juliet-369-0861"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_44.c"
      ],
      "id": "juliet-369-0862"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_45.c"
      ],
      "id": "juliet-369-0863"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_51a.c"
      ],
      "id": "juliet-369-0864"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_52a.c"
      ],
      "id": "juliet-369-0865"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_53a.c"
      ],
      "id": "juliet-369-0866"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_54a.c"
      ],
      "id": "juliet-369-0867"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_61a.c"
      ],
      "id": "juliet-369-0868"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_62a.cpp"
      ],
      "id": "juliet-369-0869"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_63a.c"
      ],
      "id": "juliet-369-0870"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_64a.c"
      ],
      "id": "juliet-369-0871"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_65a.c"
      ],
      "id": "juliet-369-0872"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_66a.c"
      ],
      "id": "juliet-369-0873"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_67a.c"
      ],
      "id": "juliet-369-0874"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_68a.c"
      ],
      "id": "juliet-369-0875"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_72a.cpp"
      ],
      "id": "juliet-369-0876"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_73a.cpp"
      ],
      "id": "juliet-369-0877"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_74a.cpp"
      ],
      "id": "juliet-369-0878"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_81_bad.cpp"
      ],
      "id": "juliet-369-0879"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_81a.cpp"
      ],
      "id": "juliet-369-0880"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_82_bad.cpp"
      ],
      "id": "juliet-369-0881"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_82a.cpp"
      ],
      "id": "juliet-369-0882"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_83_bad.cpp"
      ],
      "id": "juliet-369-0883"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_83a.cpp"
      ],
      "id": "juliet-369-0884"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_84_bad.cpp"
      ],
      "id": "juliet-369-0885"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_divide_84a.cpp"
      ],
      "id": "juliet-369-0886"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_01.c"
      ],
      "id": "juliet-369-0887"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_02.c"
      ],
      "id": "juliet-369-0888"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_03.c"
      ],
      "id": "juliet-369-0889"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_04.c"
      ],
      "id": "juliet-369-0890"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_05.c"
      ],
      "id": "juliet-369-0891"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_06.c"
      ],
      "id": "juliet-369-0892"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_07.c"
      ],
      "id": "juliet-369-0893"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_08.c"
      ],
      "id": "juliet-369-0894"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_09.c"
      ],
      "id": "juliet-369-0895"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_10.c"
      ],
      "id": "juliet-369-0896"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_11.c"
      ],
      "id": "juliet-369-0897"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_12.c"
      ],
      "id": "juliet-369-0898"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_13.c"
      ],
      "id": "juliet-369-0899"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_14.c"
      ],
      "id": "juliet-369-0900"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_15.c"
      ],
      "id": "juliet-369-0901"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_16.c"
      ],
      "id": "juliet-369-0902"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_17.c"
      ],
      "id": "juliet-369-0903"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_18.c"
      ],
      "id": "juliet-369-0904"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_21.c"
      ],
      "id": "juliet-369-0905"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_22a.c"
      ],
      "id": "juliet-369-0906"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_31.c"
      ],
      "id": "juliet-369-0907"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_32.c"
      ],
      "id": "juliet-369-0908"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_33.cpp"
      ],
      "id": "juliet-369-0909"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_34.c"
      ],
      "id": "juliet-369-0910"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_41.c"
      ],
      "id": "juliet-369-0911"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_42.c"
      ],
      "id": "juliet-369-0912"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_43.cpp"
      ],
      "id": "juliet-369-0913"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_44.c"
      ],
      "id": "juliet-369-0914"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_45.c"
      ],
      "id": "juliet-369-0915"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_51a.c"
      ],
      "id": "juliet-369-0916"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_52a.c"
      ],
      "id": "juliet-369-0917"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_53a.c"
      ],
      "id": "juliet-369-0918"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_54a.c"
      ],
      "id": "juliet-369-0919"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_61a.c"
      ],
      "id": "juliet-369-0920"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_62a.cpp"
      ],
      "id": "juliet-369-0921"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_63a.c"
      ],
      "id": "juliet-369-0922"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_64a.c"
      ],
      "id": "juliet-369-0923"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_65a.c"
      ],
      "id": "juliet-369-0924"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_66a.c"
      ],
      "id": "juliet-369-0925"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_67a.c"
      ],
      "id": "juliet-369-0926"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_68a.c"
      ],
      "id": "juliet-369-0927"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_72a.cpp"
      ],
      "id": "juliet-369-0928"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_73a.cpp"
      ],
      "id": "juliet-369-0929"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_74a.cpp"
      ],
      "id": "juliet-369-0930"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_81_bad.cpp"
      ],
      "id": "juliet-369-0931"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_81a.cpp"
      ],
      "id": "juliet-369-0932"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_82_bad.cpp"
      ],
      "id": "juliet-369-0933"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_82a.cpp"
      ],
      "id": "juliet-369-0934"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_83_bad.cpp"
      ],
      "id": "juliet-369-0935"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_83a.cpp"
      ],
      "id": "juliet-369-0936"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_84_bad.cpp"
      ],
      "id": "juliet-369-0937"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/CWE369_Divide_by_Zero__int_zero_modulo_84a.cpp"
      ],
      "id": "juliet-369-0938"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/main.cpp"
      ],
      "id": "juliet-369-0939"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcases/CWE369_Divide_by_Zero/s02/main_linux.cpp"
      ],
      "id": "juliet-369-0940"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcasesupport/main.cpp"
      ],
      "id": "juliet-369-0941"
    },
    {
      "kind": "div-by-zero",
      "files": [
        "testcasesupport/main_linux.cpp"
      ],
      "id": "juliet-369-0942"
    }
  ]
}