{
  "name": "juliet-cwe-476",
  "description": "Juliet CWE-476 (Null Pointer Dereference) test cases",
  "expected": [
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_01.c"
      ],
      "id": "juliet-476-0001"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_02.c"
      ],
      "id": "juliet-476-0002"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_03.c"
      ],
      "id": "juliet-476-0003"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_04.c"
      ],
      "id": "juliet-476-0004"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_05.c"
      ],
      "id": "juliet-476-0005"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_06.c"
      ],
      "id": "juliet-476-0006"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_07.c"
      ],
      "id": "juliet-476-0007"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_08.c"
      ],
      "id": "juliet-476-0008"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_09.c"
      ],
      "id": "juliet-476-0009"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_10.c"
      ],
      "id": "juliet-476-0010"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_11.c"
      ],
      "id": "juliet-476-0011"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_12.c"
      ],
      "id": "juliet-476-0012"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_13.c"
      ],
      "id": "juliet-476-0013"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_14.c"
      ],
      "id": "juliet-476-0014"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_15.c"
      ],
      "id": "juliet-476-0015"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_16.c"
      ],
      "id": "juliet-476-0016"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_17.c"
      ],
      "id": "juliet-476-0017"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__binary_if_18.c"
      ],
      "id": "juliet-476-0018"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_01.c"
      ],
      "id": "juliet-476-0019"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_02.c"
      ],
      "id": "juliet-476-0020"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_03.c"
      ],
      "id": "juliet-476-0021"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_04.c"
      ],
      "id": "juliet-476-0022"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_05.c"
      ],
      "id": "juliet-476-0023"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_06.c"
      ],
      "id": "juliet-476-0024"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_07.c"
      ],
      "id": "juliet-476-0025"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_08.c"
      ],
      "id": "juliet-476-0026"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_09.c"
      ],
      "id": "juliet-476-0027"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_10.c"
      ],
      "id": "juliet-476-0028"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_11.c"
      ],
      "id": "juliet-476-0029"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_12.c"
      ],
      "id": "juliet-476-0030"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_13.c"
      ],
      "id": "juliet-476-0031"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_14.c"
      ],
      "id": "juliet-476-0032"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_15.c"
      ],
      "id": "juliet-476-0033"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_16.c"
      ],
      "id": "juliet-476-0034"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_17.c"
      ],
      "id": "juliet-476-0035"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_18.c"
      ],
      "id": "juliet-476-0036"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_21.c"
      ],
      "id": "juliet-476-0037"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_22a.c"
      ],
      "id": "juliet-476-0038"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_31.c"
      ],
      "id": "juliet-476-0039"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_32.c"
      ],
      "id": "juliet-476-0040"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_33.cpp"
      ],
      "id": "juliet-476-0041"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_34.c"
      ],
      "id": "juliet-476-0042"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_41.c"
      ],
      "id": "juliet-476-0043"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_44.c"
      ],
      "id": "juliet-476-0044"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_45.c"
      ],
      "id": "juliet-476-0045"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_51a.c"
      ],
      "id": "juliet-476-0046"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_52a.c"
      ],
      "id": "juliet-476-0047"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_53a.c"
      ],
      "id": "juliet-476-0048"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_54a.c"
      ],
      "id": "juliet-476-0049"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_63a.c"
      ],
      "id": "juliet-476-0050"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_64a.c"
      ],
      "id": "juliet-476-0051"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_65a.c"
      ],
      "id": "juliet-476-0052"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_66a.c"
      ],
      "id": "juliet-476-0053"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_67a.c"
      ],
      "id": "juliet-476-0054"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_68a.c"
      ],
      "id": "juliet-476-0055"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_72a.cpp"
      ],
      "id": "juliet-476-0056"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_73a.cpp"
      ],
      "id": "juliet-476-0057"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_74a.cpp"
      ],
      "id": "juliet-476-0058"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_81_bad.cpp"
      ],
      "id": "juliet-476-0059"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_81a.cpp"
      ],
      "id": "juliet-476-0060"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_82_bad.cpp"
      ],
      "id": "juliet-476-0061"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__char_82a.cpp"
      ],
      "id": "juliet-476-0062"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_01.cpp"
      ],
      "id": "juliet-476-0063"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_02.cpp"
      ],
      "id": "juliet-476-0064"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_03.cpp"
      ],
      "id": "juliet-476-0065"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_04.cpp"
      ],
      "id": "juliet-476-0066"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_05.cpp"
      ],
      "id": "juliet-476-0067"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_06.cpp"
      ],
      "id": "juliet-476-0068"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_07.cpp"
      ],
      "id": "juliet-476-0069"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_08.cpp"
      ],
      "id": "juliet-476-0070"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_09.cpp"
      ],
      "id": "juliet-476-0071"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_10.cpp"
      ],
      "id": "juliet-476-0072"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_11.cpp"
      ],
      "id": "juliet-476-0073"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_12.cpp"
      ],
      "id": "juliet-476-0074"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_13.cpp"
      ],
      "id": "juliet-476-0075"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_14.cpp"
      ],
      "id": "juliet-476-0076"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_15.cpp"
      ],
      "id": "juliet-476-0077"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_16.cpp"
      ],
      "id": "juliet-476-0078"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_17.cpp"
      ],
      "id": "juliet-476-0079"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_18.cpp"
      ],
      "id": "juliet-476-0080"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_21.cpp"
      ],
      "id": "juliet-476-0081"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_22a.cpp"
      ],
      "id": "juliet-476-0082"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_31.cpp"
      ],
      "id": "juliet-476-0083"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_32.cpp"
      ],
      "id": "juliet-476-0084"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_33.cpp"
      ],
      "id": "juliet-476-0085"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_34.cpp"
      ],
      "id": "juliet-476-0086"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_41.cpp"
      ],
      "id": "juliet-476-0087"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_44.cpp"
      ],
      "id": "juliet-476-0088"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_45.cpp"
      ],
      "id": "juliet-476-0089"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_51a.cpp"
      ],
      "id": "juliet-476-0090"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_52a.cpp"
      ],
      "id": "juliet-476-0091"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_53a.cpp"
      ],
      "id": "juliet-476-0092"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_54a.cpp"
      ],
      "id": "juliet-476-0093"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_63a.cpp"
      ],
      "id": "juliet-476-0094"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_64a.cpp"
      ],
      "id": "juliet-476-0095"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_65a.cpp"
      ],
      "id": "juliet-476-0096"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_66a.cpp"
      ],
      "id": "juliet-476-0097"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_67a.cpp"
      ],
      "id": "juliet-476-0098"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_68a.cpp"
      ],
      "id": "juliet-476-0099"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_72a.cpp"
      ],
      "id": "juliet-476-0100"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_73a.cpp"
      ],
      "id": "juliet-476-0101"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_74a.cpp"
      ],
      "id": "juliet-476-0102"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_81_bad.cpp"
      ],
      "id": "juliet-476-0103"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_81a.cpp"
      ],
      "id": "juliet-476-0104"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_82_bad.cpp"
      ],
      "id": "juliet-476-0105"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__class_82a.cpp"
      ],
      "id": "juliet-476-0106"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_01.c"
      ],
      "id": "juliet-476-0107"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_02.c"
      ],
      "id": "juliet-476-0108"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_03.c"
      ],
      "id": "juliet-476-0109"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_04.c"
      ],
      "id": "juliet-476-0110"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_05.c"
      ],
      "id": "juliet-476-0111"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_06.c"
      ],
      "id": "juliet-476-0112"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_07.c"
      ],
      "id": "juliet-476-0113"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_08.c"
      ],
      "id": "juliet-476-0114"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_09.c"
      ],
      "id": "juliet-476-0115"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_10.c"
      ],
      "id": "juliet-476-0116"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_11.c"
      ],
      "id": "juliet-476-0117"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_12.c"
      ],
      "id": "juliet-476-0118"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_13.c"
      ],
      "id": "juliet-476-0119"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_14.c"
      ],
      "id": "juliet-476-0120"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_15.c"
      ],
      "id": "juliet-476-0121"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_16.c"
      ],
      "id": "juliet-476-0122"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_17.c"
      ],
      "id": "juliet-476-0123"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__deref_after_check_18.c"
      ],
      "id": "juliet-476-0124"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_01.c"
      ],
      "id": "juliet-476-0125"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_02.c"
      ],
      "id": "juliet-476-0126"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_03.c"
      ],
      "id": "juliet-476-0127"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_04.c"
      ],
      "id": "juliet-476-0128"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_05.c"
      ],
      "id": "juliet-476-0129"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_06.c"
      ],
      "id": "juliet-476-0130"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_07.c"
      ],
      "id": "juliet-476-0131"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_08.c"
      ],
      "id": "juliet-476-0132"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_09.c"
      ],
      "id": "juliet-476-0133"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_10.c"
      ],
      "id": "juliet-476-0134"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_11.c"
      ],
      "id": "juliet-476-0135"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_12.c"
      ],
      "id": "juliet-476-0136"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_13.c"
      ],
      "id": "juliet-476-0137"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_14.c"
      ],
      "id": "juliet-476-0138"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_15.c"
      ],
      "id": "juliet-476-0139"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_16.c"
      ],
      "id": "juliet-476-0140"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_17.c"
      ],
      "id": "juliet-476-0141"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_18.c"
      ],
      "id": "juliet-476-0142"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_21.c"
      ],
      "id": "juliet-476-0143"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_22a.c"
      ],
      "id": "juliet-476-0144"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_31.c"
      ],
      "id": "juliet-476-0145"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_32.c"
      ],
      "id": "juliet-476-0146"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_33.cpp"
      ],
      "id": "juliet-476-0147"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_34.c"
      ],
      "id": "juliet-476-0148"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_41.c"
      ],
      "id": "juliet-476-0149"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_44.c"
      ],
      "id": "juliet-476-0150"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_45.c"
      ],
      "id": "juliet-476-0151"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_51a.c"
      ],
      "id": "juliet-476-0152"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_52a.c"
      ],
      "id": "juliet-476-0153"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_53a.c"
      ],
      "id": "juliet-476-0154"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_54a.c"
      ],
      "id": "juliet-476-0155"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_63a.c"
      ],
      "id": "juliet-476-0156"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_64a.c"
      ],
      "id": "juliet-476-0157"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_65a.c"
      ],
      "id": "juliet-476-0158"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_66a.c"
      ],
      "id": "juliet-476-0159"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_67a.c"
      ],
      "id": "juliet-476-0160"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_68a.c"
      ],
      "id": "juliet-476-0161"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_72a.cpp"
      ],
      "id": "juliet-476-0162"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_73a.cpp"
      ],
      "id": "juliet-476-0163"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_74a.cpp"
      ],
      "id": "juliet-476-0164"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_81_bad.cpp"
      ],
      "id": "juliet-476-0165"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_81a.cpp"
      ],
      "id": "juliet-476-0166"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_82_bad.cpp"
      ],
      "id": "juliet-476-0167"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int64_t_82a.cpp"
      ],
      "id": "juliet-476-0168"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_01.c"
      ],
      "id": "juliet-476-0169"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_02.c"
      ],
      "id": "juliet-476-0170"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_03.c"
      ],
      "id": "juliet-476-0171"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_04.c"
      ],
      "id": "juliet-476-0172"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_05.c"
      ],
      "id": "juliet-476-0173"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_06.c"
      ],
      "id": "juliet-476-0174"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_07.c"
      ],
      "id": "juliet-476-0175"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_08.c"
      ],
      "id": "juliet-476-0176"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_09.c"
      ],
      "id": "juliet-476-0177"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_10.c"
      ],
      "id": "juliet-476-0178"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_11.c"
      ],
      "id": "juliet-476-0179"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_12.c"
      ],
      "id": "juliet-476-0180"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_13.c"
      ],
      "id": "juliet-476-0181"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_14.c"
      ],
      "id": "juliet-476-0182"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_15.c"
      ],
      "id": "juliet-476-0183"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_16.c"
      ],
      "id": "juliet-476-0184"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_17.c"
      ],
      "id": "juliet-476-0185"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_18.c"
      ],
      "id": "juliet-476-0186"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_21.c"
      ],
      "id": "juliet-476-0187"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_22a.c"
      ],
      "id": "juliet-476-0188"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_31.c"
      ],
      "id": "juliet-476-0189"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_32.c"
      ],
      "id": "juliet-476-0190"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_33.cpp"
      ],
      "id": "juliet-476-0191"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_34.c"
      ],
      "id": "juliet-476-0192"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_41.c"
      ],
      "id": "juliet-476-0193"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_44.c"
      ],
      "id": "juliet-476-0194"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_45.c"
      ],
      "id": "juliet-476-0195"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_51a.c"
      ],
      "id": "juliet-476-0196"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_52a.c"
      ],
      "id": "juliet-476-0197"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_53a.c"
      ],
      "id": "juliet-476-0198"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_54a.c"
      ],
      "id": "juliet-476-0199"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_63a.c"
      ],
      "id": "juliet-476-0200"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_64a.c"
      ],
      "id": "juliet-476-0201"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_65a.c"
      ],
      "id": "juliet-476-0202"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_66a.c"
      ],
      "id": "juliet-476-0203"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_67a.c"
      ],
      "id": "juliet-476-0204"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_68a.c"
      ],
      "id": "juliet-476-0205"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_72a.cpp"
      ],
      "id": "juliet-476-0206"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_73a.cpp"
      ],
      "id": "juliet-476-0207"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_74a.cpp"
      ],
      "id": "juliet-476-0208"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_81_bad.cpp"
      ],
      "id": "juliet-476-0209"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_81a.cpp"
      ],
      "id": "juliet-476-0210"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_82_bad.cpp"
      ],
      "id": "juliet-476-0211"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__int_82a.cpp"
      ],
      "id": "juliet-476-0212"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_01.c"
      ],
      "id": "juliet-476-0213"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_02.c"
      ],
      "id": "juliet-476-0214"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_03.c"
      ],
      "id": "juliet-476-0215"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_04.c"
      ],
      "id": "juliet-476-0216"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_05.c"
      ],
      "id": "juliet-476-0217"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_06.c"
      ],
      "id": "juliet-476-0218"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_07.c"
      ],
      "id": "juliet-476-0219"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_08.c"
      ],
      "id": "juliet-476-0220"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_09.c"
      ],
      "id": "juliet-476-0221"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_10.c"
      ],
      "id": "juliet-476-0222"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_11.c"
      ],
      "id": "juliet-476-0223"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_12.c"
      ],
      "id": "juliet-476-0224"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_13.c"
      ],
      "id": "juliet-476-0225"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_14.c"
      ],
      "id": "juliet-476-0226"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_15.c"
      ],
      "id": "juliet-476-0227"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_16.c"
      ],
      "id": "juliet-476-0228"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_17.c"
      ],
      "id": "juliet-476-0229"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_18.c"
      ],
      "id": "juliet-476-0230"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_21.c"
      ],
      "id": "juliet-476-0231"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_22a.c"
      ],
      "id": "juliet-476-0232"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_31.c"
      ],
      "id": "juliet-476-0233"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_32.c"
      ],
      "id": "juliet-476-0234"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_33.cpp"
      ],
      "id": "juliet-476-0235"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_34.c"
      ],
      "id": "juliet-476-0236"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_41.c"
      ],
      "id": "juliet-476-0237"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_44.c"
      ],
      "id": "juliet-476-0238"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_45.c"
      ],
      "id": "juliet-476-0239"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_51a.c"
      ],
      "id": "juliet-476-0240"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_52a.c"
      ],
      "id": "juliet-476-0241"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_53a.c"
      ],
      "id": "juliet-476-0242"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_54a.c"
      ],
      "id": "juliet-476-0243"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_63a.c"
      ],
      "id": "juliet-476-0244"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_64a.c"
      ],
      "id": "juliet-476-0245"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_65a.c"
      ],
      "id": "juliet-476-0246"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_66a.c"
      ],
      "id": "juliet-476-0247"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_67a.c"
      ],
      "id": "juliet-476-0248"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_68a.c"
      ],
      "id": "juliet-476-0249"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_72a.cpp"
      ],
      "id": "juliet-476-0250"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_73a.cpp"
      ],
      "id": "juliet-476-0251"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_74a.cpp"
      ],
      "id": "juliet-476-0252"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_81_bad.cpp"
      ],
      "id": "juliet-476-0253"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_81a.cpp"
      ],
      "id": "juliet-476-0254"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_82_bad.cpp"
      ],
      "id": "juliet-476-0255"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__long_82a.cpp"
      ],
      "id": "juliet-476-0256"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_01.c"
      ],
      "id": "juliet-476-0257"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_02.c"
      ],
      "id": "juliet-476-0258"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_03.c"
      ],
      "id": "juliet-476-0259"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_04.c"
      ],
      "id": "juliet-476-0260"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_05.c"
      ],
      "id": "juliet-476-0261"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_06.c"
      ],
      "id": "juliet-476-0262"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_07.c"
      ],
      "id": "juliet-476-0263"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_08.c"
      ],
      "id": "juliet-476-0264"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_09.c"
      ],
      "id": "juliet-476-0265"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_10.c"
      ],
      "id": "juliet-476-0266"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_11.c"
      ],
      "id": "juliet-476-0267"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_12.c"
      ],
      "id": "juliet-476-0268"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_13.c"
      ],
      "id": "juliet-476-0269"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_14.c"
      ],
      "id": "juliet-476-0270"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_15.c"
      ],
      "id": "juliet-476-0271"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_16.c"
      ],
      "id": "juliet-476-0272"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_17.c"
      ],
      "id": "juliet-476-0273"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__null_check_after_deref_18.c"
      ],
      "id": "juliet-476-0274"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_01.c"
      ],
      "id": "juliet-476-0275"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_02.c"
      ],
      "id": "juliet-476-0276"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_03.c"
      ],
      "id": "juliet-476-0277"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_04.c"
      ],
      "id": "juliet-476-0278"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_05.c"
      ],
      "id": "juliet-476-0279"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_06.c"
      ],
      "id": "juliet-476-0280"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_07.c"
      ],
      "id": "juliet-476-0281"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_08.c"
      ],
      "id": "juliet-476-0282"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_09.c"
      ],
      "id": "juliet-476-0283"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_10.c"
      ],
      "id": "juliet-476-0284"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_11.c"
      ],
      "id": "juliet-476-0285"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_12.c"
      ],
      "id": "juliet-476-0286"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_13.c"
      ],
      "id": "juliet-476-0287"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_14.c"
      ],
      "id": "juliet-476-0288"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_15.c"
      ],
      "id": "juliet-476-0289"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_16.c"
      ],
      "id": "juliet-476-0290"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_17.c"
      ],
      "id": "juliet-476-0291"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_18.c"
      ],
      "id": "juliet-476-0292"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_21.c"
      ],
      "id": "juliet-476-0293"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_22a.c"
      ],
      "id": "juliet-476-0294"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_31.c"
      ],
      "id": "juliet-476-0295"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_32.c"
      ],
      "id": "juliet-476-0296"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_33.cpp"
      ],
      "id": "juliet-476-0297"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_34.c"
      ],
      "id": "juliet-476-0298"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_41.c"
      ],
      "id": "juliet-476-0299"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_44.c"
      ],
      "id": "juliet-476-0300"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_45.c"
      ],
      "id": "juliet-476-0301"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_51a.c"
      ],
      "id": "juliet-476-0302"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_52a.c"
      ],
      "id": "juliet-476-0303"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_53a.c"
      ],
      "id": "juliet-476-0304"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_54a.c"
      ],
      "id": "juliet-476-0305"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_63a.c"
      ],
      "id": "juliet-476-0306"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_64a.c"
      ],
      "id": "juliet-476-0307"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_65a.c"
      ],
      "id": "juliet-476-0308"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_66a.c"
      ],
      "id": "juliet-476-0309"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_67a.c"
      ],
      "id": "juliet-476-0310"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_68a.c"
      ],
      "id": "juliet-476-0311"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_72a.cpp"
      ],
      "id": "juliet-476-0312"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_73a.cpp"
      ],
      "id": "juliet-476-0313"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_74a.cpp"
      ],
      "id": "juliet-476-0314"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_81_bad.cpp"
      ],
      "id": "juliet-476-0315"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_81a.cpp"
      ],
      "id": "juliet-476-0316"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_82_bad.cpp"
      ],
      "id": "juliet-476-0317"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__struct_82a.cpp"
      ],
      "id": "juliet-476-0318"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_01.c"
      ],
      "id": "juliet-476-0319"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_02.c"
      ],
      "id": "juliet-476-0320"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_03.c"
      ],
      "id": "juliet-476-0321"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_04.c"
      ],
      "id": "juliet-476-0322"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_05.c"
      ],
      "id": "juliet-476-0323"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_06.c"
      ],
      "id": "juliet-476-0324"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_07.c"
      ],
      "id": "juliet-476-0325"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_08.c"
      ],
      "id": "juliet-476-0326"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_09.c"
      ],
      "id": "juliet-476-0327"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_10.c"
      ],
      "id": "juliet-476-0328"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_11.c"
      ],
      "id": "juliet-476-0329"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_12.c"
      ],
      "id": "juliet-476-0330"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_13.c"
      ],
      "id": "juliet-476-0331"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_14.c"
      ],
      "id": "juliet-476-0332"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_15.c"
      ],
      "id": "juliet-476-0333"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_16.c"
      ],
      "id": "juliet-476-0334"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_17.c"
      ],
      "id": "juliet-476-0335"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_18.c"
      ],
      "id": "juliet-476-0336"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_21.c"
      ],
      "id": "juliet-476-0337"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_22a.c"
      ],
      "id": "juliet-476-0338"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_31.c"
      ],
      "id": "juliet-476-0339"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_32.c"
      ],
      "id": "juliet-476-0340"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_33.cpp"
      ],
      "id": "juliet-476-0341"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_34.c"
      ],
      "id": "juliet-476-0342"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_41.c"
      ],
      "id": "juliet-476-0343"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_44.c"
      ],
      "id": "juliet-476-0344"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_45.c"
      ],
      "id": "juliet-476-0345"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_51a.c"
      ],
      "id": "juliet-476-0346"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_52a.c"
      ],
      "id": "juliet-476-0347"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_53a.c"
      ],
      "id": "juliet-476-0348"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_54a.c"
      ],
      "id": "juliet-476-0349"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_63a.c"
      ],
      "id": "juliet-476-0350"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_64a.c"
      ],
      "id": "juliet-476-0351"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_65a.c"
      ],
      "id": "juliet-476-0352"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_66a.c"
      ],
      "id": "juliet-476-0353"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_67a.c"
      ],
      "id": "juliet-476-0354"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_68a.c"
      ],
      "id": "juliet-476-0355"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_72a.cpp"
      ],
      "id": "juliet-476-0356"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_73a.cpp"
      ],
      "id": "juliet-476-0357"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_74a.cpp"
      ],
      "id": "juliet-476-0358"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_81_bad.cpp"
      ],
      "id": "juliet-476-0359"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_81a.cpp"
      ],
      "id": "juliet-476-0360"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_82_bad.cpp"
      ],
      "id": "juliet-476-0361"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/CWE476_NULL_Pointer_Dereference__wchar_t_82a.cpp"
      ],
      "id": "juliet-476-0362"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/main.cpp"
      ],
      "id": "juliet-476-0363"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcases/CWE476_NULL_Pointer_Dereference/main_linux.cpp"
      ],
      "id": "juliet-476-0364"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcasesupport/main.cpp"
      ],
      "id": "juliet-476-0365"
    },
    {
      "kind": "null-deref",
      "files": [
        "testcasesupport/main_linux.cpp"
      ],
      "id": "juliet-476-0366"
    }
  ]
}