[
[
{
"elements" : [
{
"type" : "variable" ,
"name" : "new_owner" ,
"source_mapping" : {
"start" : 149 ,
"length" : 17 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
10
] ,
"starting_column" : 27 ,
"ending_column" : 44
} ,
"type_specific_fields" : {
"parent" : {
"type" : "function" ,
"name" : "bad0_set_owner" ,
"source_mapping" : {
"start" : 125 ,
"length" : 108 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
10 ,
11 ,
12
] ,
"starting_column" : 3 ,
"ending_column" : 4
} ,
"type_specific_fields" : {
"parent" : {
"type" : "contract" ,
"name" : "C" ,
"source_mapping" : {
"start" : 0 ,
"length" : 1977 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
1 ,
2 ,
3 ,
4 ,
5 ,
6 ,
7 ,
8 ,
9 ,
10 ,
11 ,
12 ,
13 ,
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21 ,
22 ,
23 ,
24 ,
25 ,
26 ,
27 ,
28 ,
29 ,
30 ,
31 ,
32 ,
33 ,
34 ,
35 ,
36 ,
37 ,
38 ,
39 ,
40 ,
41 ,
42 ,
43 ,
44 ,
45 ,
46 ,
47 ,
48 ,
49 ,
50 ,
51 ,
52 ,
53 ,
54 ,
55 ,
56 ,
57 ,
58 ,
59 ,
60 ,
61 ,
62 ,
63 ,
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70 ,
71
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
} ,
"signature" : "bad0_set_owner(address)"
}
}
}
} ,
{
"type" : "node" ,
"name" : "owner = new_owner" ,
"source_mapping" : {
"start" : 188 ,
"length" : 17 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
11
] ,
"starting_column" : 5 ,
"ending_column" : 22
} ,
"type_specific_fields" : {
"parent" : {
"type" : "function" ,
"name" : "bad0_set_owner" ,
"source_mapping" : {
"start" : 125 ,
"length" : 108 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
10 ,
11 ,
12
] ,
"starting_column" : 3 ,
"ending_column" : 4
} ,
"type_specific_fields" : {
"parent" : {
"type" : "contract" ,
"name" : "C" ,
"source_mapping" : {
"start" : 0 ,
"length" : 1977 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
1 ,
2 ,
3 ,
4 ,
5 ,
6 ,
7 ,
8 ,
9 ,
10 ,
11 ,
12 ,
13 ,
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21 ,
22 ,
23 ,
24 ,
25 ,
26 ,
27 ,
28 ,
29 ,
30 ,
31 ,
32 ,
33 ,
34 ,
35 ,
36 ,
37 ,
38 ,
39 ,
40 ,
41 ,
42 ,
43 ,
44 ,
45 ,
46 ,
47 ,
48 ,
49 ,
50 ,
51 ,
52 ,
53 ,
54 ,
55 ,
56 ,
57 ,
58 ,
59 ,
60 ,
61 ,
62 ,
63 ,
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70 ,
71
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
} ,
"signature" : "bad0_set_owner(address)"
}
}
}
}
] ,
"description" : "C.bad0_set_owner(address).new_owner (tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#10) lacks a zero-check on :\n\t\t- owner = new_owner (tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#11)\n" ,
"markdown" : "[C.bad0_set_owner(address).new_owner](tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L10) lacks a zero-check on :\n\t\t- [owner = new_owner](tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L11)\n" ,
"first_markdown_element" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L10" ,
"id" : "4215a731670a0150f45d8cd682dc81ed85ffd5268cbad6ac9fe8bd044e54f74d" ,
"check" : "missing-zero-check" ,
"impact" : "Low" ,
"confidence" : "Medium"
} ,
{
"elements" : [
{
"type" : "variable" ,
"name" : "addr" ,
"source_mapping" : {
"start" : 256 ,
"length" : 12 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
14
] ,
"starting_column" : 22 ,
"ending_column" : 34
} ,
"type_specific_fields" : {
"parent" : {
"type" : "function" ,
"name" : "bad1_send" ,
"source_mapping" : {
"start" : 237 ,
"length" : 129 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
14 ,
15 ,
16 ,
17
] ,
"starting_column" : 3 ,
"ending_column" : 4
} ,
"type_specific_fields" : {
"parent" : {
"type" : "contract" ,
"name" : "C" ,
"source_mapping" : {
"start" : 0 ,
"length" : 1977 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
1 ,
2 ,
3 ,
4 ,
5 ,
6 ,
7 ,
8 ,
9 ,
10 ,
11 ,
12 ,
13 ,
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21 ,
22 ,
23 ,
24 ,
25 ,
26 ,
27 ,
28 ,
29 ,
30 ,
31 ,
32 ,
33 ,
34 ,
35 ,
36 ,
37 ,
38 ,
39 ,
40 ,
41 ,
42 ,
43 ,
44 ,
45 ,
46 ,
47 ,
48 ,
49 ,
50 ,
51 ,
52 ,
53 ,
54 ,
55 ,
56 ,
57 ,
58 ,
59 ,
60 ,
61 ,
62 ,
63 ,
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70 ,
71
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
} ,
"signature" : "bad1_send(address)"
}
}
}
} ,
{
"type" : "node" ,
"name" : "addr.send(msg.value)" ,
"source_mapping" : {
"start" : 290 ,
"length" : 20 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
15
] ,
"starting_column" : 5 ,
"ending_column" : 25
} ,
"type_specific_fields" : {
"parent" : {
"type" : "function" ,
"name" : "bad1_send" ,
"source_mapping" : {
"start" : 237 ,
"length" : 129 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
14 ,
15 ,
16 ,
17
] ,
"starting_column" : 3 ,
"ending_column" : 4
} ,
"type_specific_fields" : {
"parent" : {
"type" : "contract" ,
"name" : "C" ,
"source_mapping" : {
"start" : 0 ,
"length" : 1977 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
1 ,
2 ,
3 ,
4 ,
5 ,
6 ,
7 ,
8 ,
9 ,
10 ,
11 ,
12 ,
13 ,
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21 ,
22 ,
23 ,
24 ,
25 ,
26 ,
27 ,
28 ,
29 ,
30 ,
31 ,
32 ,
33 ,
34 ,
35 ,
36 ,
37 ,
38 ,
39 ,
40 ,
41 ,
42 ,
43 ,
44 ,
45 ,
46 ,
47 ,
48 ,
49 ,
50 ,
51 ,
52 ,
53 ,
54 ,
55 ,
56 ,
57 ,
58 ,
59 ,
60 ,
61 ,
62 ,
63 ,
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70 ,
71
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
} ,
"signature" : "bad1_send(address)"
}
}
}
} ,
{
"type" : "node" ,
"name" : "addr.send(msg.value)" ,
"source_mapping" : {
"start" : 340 ,
"length" : 20 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
16
] ,
"starting_column" : 5 ,
"ending_column" : 25
} ,
"type_specific_fields" : {
"parent" : {
"type" : "function" ,
"name" : "bad1_send" ,
"source_mapping" : {
"start" : 237 ,
"length" : 129 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
14 ,
15 ,
16 ,
17
] ,
"starting_column" : 3 ,
"ending_column" : 4
} ,
"type_specific_fields" : {
"parent" : {
"type" : "contract" ,
"name" : "C" ,
"source_mapping" : {
"start" : 0 ,
"length" : 1977 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
1 ,
2 ,
3 ,
4 ,
5 ,
6 ,
7 ,
8 ,
9 ,
10 ,
11 ,
12 ,
13 ,
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21 ,
22 ,
23 ,
24 ,
25 ,
26 ,
27 ,
28 ,
29 ,
30 ,
31 ,
32 ,
33 ,
34 ,
35 ,
36 ,
37 ,
38 ,
39 ,
40 ,
41 ,
42 ,
43 ,
44 ,
45 ,
46 ,
47 ,
48 ,
49 ,
50 ,
51 ,
52 ,
53 ,
54 ,
55 ,
56 ,
57 ,
58 ,
59 ,
60 ,
61 ,
62 ,
63 ,
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70 ,
71
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
} ,
"signature" : "bad1_send(address)"
}
}
}
}
] ,
"description" : "C.bad1_send(address).addr (tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#14) lacks a zero-check on :\n\t\t- addr.send(msg.value) (tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#15)\n\t\t- addr.send(msg.value) (tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#16)\n" ,
"markdown" : "[C.bad1_send(address).addr](tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L14) lacks a zero-check on :\n\t\t- [addr.send(msg.value)](tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L15)\n\t\t- [addr.send(msg.value)](tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L16)\n" ,
"first_markdown_element" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L14" ,
"id" : "dd2af335a7782a70944073bf1cf5dea69845ddcf6a45ea86a9fcf59793b151c8" ,
"check" : "missing-zero-check" ,
"impact" : "Low" ,
"confidence" : "Medium"
} ,
{
"elements" : [
{
"type" : "variable" ,
"name" : "addr" ,
"source_mapping" : {
"start" : 393 ,
"length" : 12 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
19
] ,
"starting_column" : 26 ,
"ending_column" : 38
} ,
"type_specific_fields" : {
"parent" : {
"type" : "function" ,
"name" : "bad2_transfer" ,
"source_mapping" : {
"start" : 370 ,
"length" : 114 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
19 ,
20 ,
21
] ,
"starting_column" : 3 ,
"ending_column" : 4
} ,
"type_specific_fields" : {
"parent" : {
"type" : "contract" ,
"name" : "C" ,
"source_mapping" : {
"start" : 0 ,
"length" : 1977 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
1 ,
2 ,
3 ,
4 ,
5 ,
6 ,
7 ,
8 ,
9 ,
10 ,
11 ,
12 ,
13 ,
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21 ,
22 ,
23 ,
24 ,
25 ,
26 ,
27 ,
28 ,
29 ,
30 ,
31 ,
32 ,
33 ,
34 ,
35 ,
36 ,
37 ,
38 ,
39 ,
40 ,
41 ,
42 ,
43 ,
44 ,
45 ,
46 ,
47 ,
48 ,
49 ,
50 ,
51 ,
52 ,
53 ,
54 ,
55 ,
56 ,
57 ,
58 ,
59 ,
60 ,
61 ,
62 ,
63 ,
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70 ,
71
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
} ,
"signature" : "bad2_transfer(address)"
}
}
}
} ,
{
"type" : "node" ,
"name" : "addr.transfer(msg.value)" ,
"source_mapping" : {
"start" : 427 ,
"length" : 24 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
20
] ,
"starting_column" : 5 ,
"ending_column" : 29
} ,
"type_specific_fields" : {
"parent" : {
"type" : "function" ,
"name" : "bad2_transfer" ,
"source_mapping" : {
"start" : 370 ,
"length" : 114 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
19 ,
20 ,
21
] ,
"starting_column" : 3 ,
"ending_column" : 4
} ,
"type_specific_fields" : {
"parent" : {
"type" : "contract" ,
"name" : "C" ,
"source_mapping" : {
"start" : 0 ,
"length" : 1977 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
1 ,
2 ,
3 ,
4 ,
5 ,
6 ,
7 ,
8 ,
9 ,
10 ,
11 ,
12 ,
13 ,
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21 ,
22 ,
23 ,
24 ,
25 ,
26 ,
27 ,
28 ,
29 ,
30 ,
31 ,
32 ,
33 ,
34 ,
35 ,
36 ,
37 ,
38 ,
39 ,
40 ,
41 ,
42 ,
43 ,
44 ,
45 ,
46 ,
47 ,
48 ,
49 ,
50 ,
51 ,
52 ,
53 ,
54 ,
55 ,
56 ,
57 ,
58 ,
59 ,
60 ,
61 ,
62 ,
63 ,
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70 ,
71
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
} ,
"signature" : "bad2_transfer(address)"
}
}
}
}
] ,
"description" : "C.bad2_transfer(address).addr (tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#19) lacks a zero-check on :\n\t\t- addr.transfer(msg.value) (tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#20)\n" ,
"markdown" : "[C.bad2_transfer(address).addr](tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L19) lacks a zero-check on :\n\t\t- [addr.transfer(msg.value)](tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L20)\n" ,
"first_markdown_element" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L19" ,
"id" : "16629b342aad1ee3e0d3f933781eea91f1cb34b1770f84cb38a5d911e15b3476" ,
"check" : "missing-zero-check" ,
"impact" : "Low" ,
"confidence" : "Medium"
} ,
{
"elements" : [
{
"type" : "variable" ,
"name" : "addr" ,
"source_mapping" : {
"start" : 511 ,
"length" : 12 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
23
] ,
"starting_column" : 26 ,
"ending_column" : 38
} ,
"type_specific_fields" : {
"parent" : {
"type" : "function" ,
"name" : "bad3_transfer" ,
"source_mapping" : {
"start" : 488 ,
"length" : 195 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
23 ,
24 ,
25 ,
26
] ,
"starting_column" : 3 ,
"ending_column" : 4
} ,
"type_specific_fields" : {
"parent" : {
"type" : "contract" ,
"name" : "C" ,
"source_mapping" : {
"start" : 0 ,
"length" : 1977 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
1 ,
2 ,
3 ,
4 ,
5 ,
6 ,
7 ,
8 ,
9 ,
10 ,
11 ,
12 ,
13 ,
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21 ,
22 ,
23 ,
24 ,
25 ,
26 ,
27 ,
28 ,
29 ,
30 ,
31 ,
32 ,
33 ,
34 ,
35 ,
36 ,
37 ,
38 ,
39 ,
40 ,
41 ,
42 ,
43 ,
44 ,
45 ,
46 ,
47 ,
48 ,
49 ,
50 ,
51 ,
52 ,
53 ,
54 ,
55 ,
56 ,
57 ,
58 ,
59 ,
60 ,
61 ,
62 ,
63 ,
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70 ,
71
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
} ,
"signature" : "bad3_transfer(address)"
}
}
}
} ,
{
"type" : "node" ,
"name" : "addr.transfer(msg.value)" ,
"source_mapping" : {
"start" : 545 ,
"length" : 24 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
24
] ,
"starting_column" : 5 ,
"ending_column" : 29
} ,
"type_specific_fields" : {
"parent" : {
"type" : "function" ,
"name" : "bad3_transfer" ,
"source_mapping" : {
"start" : 488 ,
"length" : 195 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
23 ,
24 ,
25 ,
26
] ,
"starting_column" : 3 ,
"ending_column" : 4
} ,
"type_specific_fields" : {
"parent" : {
"type" : "contract" ,
"name" : "C" ,
"source_mapping" : {
"start" : 0 ,
"length" : 1977 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
1 ,
2 ,
3 ,
4 ,
5 ,
6 ,
7 ,
8 ,
9 ,
10 ,
11 ,
12 ,
13 ,
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21 ,
22 ,
23 ,
24 ,
25 ,
26 ,
27 ,
28 ,
29 ,
30 ,
31 ,
32 ,
33 ,
34 ,
35 ,
36 ,
37 ,
38 ,
39 ,
40 ,
41 ,
42 ,
43 ,
44 ,
45 ,
46 ,
47 ,
48 ,
49 ,
50 ,
51 ,
52 ,
53 ,
54 ,
55 ,
56 ,
57 ,
58 ,
59 ,
60 ,
61 ,
62 ,
63 ,
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70 ,
71
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
} ,
"signature" : "bad3_transfer(address)"
}
}
}
}
] ,
"description" : "C.bad3_transfer(address).addr (tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#23) lacks a zero-check on :\n\t\t- addr.transfer(msg.value) (tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#24)\n" ,
"markdown" : "[C.bad3_transfer(address).addr](tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L23) lacks a zero-check on :\n\t\t- [addr.transfer(msg.value)](tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L24)\n" ,
"first_markdown_element" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L23" ,
"id" : "27318d51c369e1e169a889a6c2678a023a22e1e3a691ab41a429684e338d2d1e" ,
"check" : "missing-zero-check" ,
"impact" : "Low" ,
"confidence" : "Medium"
} ,
{
"elements" : [
{
"type" : "variable" ,
"name" : "addr" ,
"source_mapping" : {
"start" : 706 ,
"length" : 12 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
28
] ,
"starting_column" : 22 ,
"ending_column" : 34
} ,
"type_specific_fields" : {
"parent" : {
"type" : "function" ,
"name" : "bad4_call" ,
"source_mapping" : {
"start" : 687 ,
"length" : 112 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
28 ,
29 ,
30
] ,
"starting_column" : 3 ,
"ending_column" : 4
} ,
"type_specific_fields" : {
"parent" : {
"type" : "contract" ,
"name" : "C" ,
"source_mapping" : {
"start" : 0 ,
"length" : 1977 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
1 ,
2 ,
3 ,
4 ,
5 ,
6 ,
7 ,
8 ,
9 ,
10 ,
11 ,
12 ,
13 ,
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21 ,
22 ,
23 ,
24 ,
25 ,
26 ,
27 ,
28 ,
29 ,
30 ,
31 ,
32 ,
33 ,
34 ,
35 ,
36 ,
37 ,
38 ,
39 ,
40 ,
41 ,
42 ,
43 ,
44 ,
45 ,
46 ,
47 ,
48 ,
49 ,
50 ,
51 ,
52 ,
53 ,
54 ,
55 ,
56 ,
57 ,
58 ,
59 ,
60 ,
61 ,
62 ,
63 ,
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70 ,
71
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
} ,
"signature" : "bad4_call(address)"
}
}
}
} ,
{
"type" : "node" ,
"name" : "addr.call.value(msg.value)()" ,
"source_mapping" : {
"start" : 740 ,
"length" : 30 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
29
] ,
"starting_column" : 5 ,
"ending_column" : 35
} ,
"type_specific_fields" : {
"parent" : {
"type" : "function" ,
"name" : "bad4_call" ,
"source_mapping" : {
"start" : 687 ,
"length" : 112 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
28 ,
29 ,
30
] ,
"starting_column" : 3 ,
"ending_column" : 4
} ,
"type_specific_fields" : {
"parent" : {
"type" : "contract" ,
"name" : "C" ,
"source_mapping" : {
"start" : 0 ,
"length" : 1977 ,
"filename_used" : "/GENERIC_PATH" ,
"filename_relative" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"filename_absolute" : "/GENERIC_PATH" ,
"filename_short" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol" ,
"is_dependency" : false ,
"lines" : [
1 ,
2 ,
3 ,
4 ,
5 ,
6 ,
7 ,
8 ,
9 ,
10 ,
11 ,
12 ,
13 ,
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21 ,
22 ,
23 ,
24 ,
25 ,
26 ,
27 ,
28 ,
29 ,
30 ,
31 ,
32 ,
33 ,
34 ,
35 ,
36 ,
37 ,
38 ,
39 ,
40 ,
41 ,
42 ,
43 ,
44 ,
45 ,
46 ,
47 ,
48 ,
49 ,
50 ,
51 ,
52 ,
53 ,
54 ,
55 ,
56 ,
57 ,
58 ,
59 ,
60 ,
61 ,
62 ,
63 ,
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70 ,
71
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
} ,
"signature" : "bad4_call(address)"
}
}
}
}
] ,
"description" : "C.bad4_call(address).addr (tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#28) lacks a zero-check on :\n\t\t- addr.call.value(msg.value)() (tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#29)\n" ,
"markdown" : "[C.bad4_call(address).addr](tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L28) lacks a zero-check on :\n\t\t- [addr.call.value(msg.value)()](tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L29)\n" ,
"first_markdown_element" : "tests/detectors/missing-zero-check/0.4.25/missing_zero_address_validation.sol#L28" ,
"id" : "34b73dbecfa159bc5631cb95ff2343c92792d80f448fc425b7d1bba399108073" ,
"check" : "missing-zero-check" ,
"impact" : "Low" ,
"confidence" : "Medium"
}
]
]
