[
{
"check" : "reentrancy-eth" ,
"impact" : "High" ,
"confidence" : "Medium" ,
"description" : "Reentrancy in Reentrancy.withdrawBalance (tests/reentrancy.sol#14-21):\n\tExternal calls:\n\t- ! (msg.sender.call.value(userBalance[msg.sender])()) (tests/reentrancy.sol#17-19)\n\tState variables written after the call(s):\n\t- userBalance (tests/reentrancy.sol#20)\n" ,
"elements" : [
{
"type" : "function" ,
"name" : "withdrawBalance" ,
"source_mapping" : {
"start" : 299 ,
"length" : 314 ,
"filename_used" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_relative" : "tests/reentrancy.sol" ,
"filename_absolute" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_short" : "tests/reentrancy.sol" ,
"lines" : [
14 ,
15 ,
16 ,
17 ,
18 ,
19 ,
20 ,
21
] ,
"starting_column" : 5 ,
"ending_column" : 6
} ,
"contract" : {
"type" : "contract" ,
"name" : "Reentrancy" ,
"source_mapping" : {
"start" : 26 ,
"length" : 2334 ,
"filename_used" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_relative" : "tests/reentrancy.sol" ,
"filename_absolute" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_short" : "tests/reentrancy.sol" ,
"lines" : [
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 ,
72
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
}
} ,
{
"type" : "external_calls" ,
"expression" : "! (msg.sender.call.value(userBalance[msg.sender])())" ,
"source_mapping" : {
"start" : 478 ,
"length" : 92 ,
"filename_used" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_relative" : "tests/reentrancy.sol" ,
"filename_absolute" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_short" : "tests/reentrancy.sol" ,
"lines" : [
17 ,
18 ,
19
] ,
"starting_column" : 9 ,
"ending_column" : 10
}
} ,
{
"type" : "variables_written" ,
"name" : "userBalance" ,
"expression" : "userBalance[msg.sender] = 0" ,
"source_mapping" : {
"start" : 579 ,
"length" : 27 ,
"filename_used" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_relative" : "tests/reentrancy.sol" ,
"filename_absolute" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_short" : "tests/reentrancy.sol" ,
"lines" : [
20
] ,
"starting_column" : 9 ,
"ending_column" : 36
}
}
]
} ,
{
"check" : "reentrancy-eth" ,
"impact" : "High" ,
"confidence" : "Medium" ,
"description" : "Reentrancy in Reentrancy.withdrawBalance_nested (tests/reentrancy.sol#64-70):\n\tExternal calls:\n\t- msg.sender.call.value(amount / 2)() (tests/reentrancy.sol#67)\n\tState variables written after the call(s):\n\t- userBalance (tests/reentrancy.sol#68)\n" ,
"elements" : [
{
"type" : "function" ,
"name" : "withdrawBalance_nested" ,
"source_mapping" : {
"start" : 2108 ,
"length" : 246 ,
"filename_used" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_relative" : "tests/reentrancy.sol" ,
"filename_absolute" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_short" : "tests/reentrancy.sol" ,
"lines" : [
64 ,
65 ,
66 ,
67 ,
68 ,
69 ,
70
] ,
"starting_column" : 5 ,
"ending_column" : 6
} ,
"contract" : {
"type" : "contract" ,
"name" : "Reentrancy" ,
"source_mapping" : {
"start" : 26 ,
"length" : 2334 ,
"filename_used" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_relative" : "tests/reentrancy.sol" ,
"filename_absolute" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_short" : "tests/reentrancy.sol" ,
"lines" : [
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 ,
72
] ,
"starting_column" : 1 ,
"ending_column" : 2
}
}
} ,
{
"type" : "external_calls" ,
"expression" : "msg.sender.call.value(amount / 2)()" ,
"source_mapping" : {
"start" : 2263 ,
"length" : 33 ,
"filename_used" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_relative" : "tests/reentrancy.sol" ,
"filename_absolute" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_short" : "tests/reentrancy.sol" ,
"lines" : [
67
] ,
"starting_column" : 13 ,
"ending_column" : 46
}
} ,
{
"type" : "variables_written" ,
"name" : "userBalance" ,
"expression" : "userBalance[msg.sender] = 0" ,
"source_mapping" : {
"start" : 2310 ,
"length" : 27 ,
"filename_used" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_relative" : "tests/reentrancy.sol" ,
"filename_absolute" : "/home/travis/build/crytic/slither/tests/reentrancy.sol" ,
"filename_short" : "tests/reentrancy.sol" ,
"lines" : [
68
] ,
"starting_column" : 13 ,
"ending_column" : 40
}
}
]
}
]
