trevon/fold
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
fold/bench/gold/juliet-476.json
trvon 3f1234f7bb
 fold: bounded symbolic SAST for C++ 
Clang LibTooling + Z3 BV-64 encoding.
11 detectors: clone, equiv, class-dup, dead, null-deref,
div-by-zero, int-overflow, oob, int-truncation,
sign-conversion, taint-track.

Interfaces: CLI, MCP (JSON-RPC 2.0), LSP.
Output: SARIF 2.1.0, JSON, Markdown.
2026-05-14 23:14:54 -04:00

2568 lines
70 KiB
JSON
Raw Permalink Blame History

{
"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"
}
]
}
Reference in a new issue View git blame Copy permalink