-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathrunSlitherTop150.sh
More file actions
147 lines (147 loc) · 29.3 KB
/
runSlitherTop150.sh
File metadata and controls
147 lines (147 loc) · 29.3 KB
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
set -x
solc-select 0.4.24
slither /share/Top150Benchmarks/0x0000000000085d4780b73119b644ae5ecd22b376.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x0000000000085d4780b73119b644ae5ecd22b376.out.json
slither /share/Top150Benchmarks/0x01eacc3ae59ee7fbbc191d63e8e1ccfdac11628c.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x01eacc3ae59ee7fbbc191d63e8e1ccfdac11628c.out.json
slither /share/Top150Benchmarks/0x02b3c88b805f1c6982e38ea1d40a1d83f159c3d4.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x02b3c88b805f1c6982e38ea1d40a1d83f159c3d4.out.json
slither /share/Top150Benchmarks/0x03df4c372a29376d2c8df33a1b5f001cd8d68b0e.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x03df4c372a29376d2c8df33a1b5f001cd8d68b0e.out.json
slither /share/Top150Benchmarks/0x05f4a42e251f2d52b8ed15e9fedaacfcef1fad27.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x05f4a42e251f2d52b8ed15e9fedaacfcef1fad27.out.json
slither /share/Top150Benchmarks/0x06012c8cf97bead5deae237070f9587f8e7a266d.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x06012c8cf97bead5deae237070f9587f8e7a266d.out.json
slither /share/Top150Benchmarks/0x06a6a7af298129e3a2ab396c9c06f91d3c54aba8.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x06a6a7af298129e3a2ab396c9c06f91d3c54aba8.out.json
slither /share/Top150Benchmarks/0x080bf510fcbf18b91105470639e9561022937712.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x080bf510fcbf18b91105470639e9561022937712.out.json
slither /share/Top150Benchmarks/0x08ceed1e8db59acbb687a5752f0a7db815cfda5e.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x08ceed1e8db59acbb687a5752f0a7db815cfda5e.out.json
slither /share/Top150Benchmarks/0x0d152b9ee87ebae179f64c067a966dd716c50742.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x0d152b9ee87ebae179f64c067a966dd716c50742.out.json
slither /share/Top150Benchmarks/0x0d8775f648430679a709e98d2b0cb6250d2887ef.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x0d8775f648430679a709e98d2b0cb6250d2887ef.out.json
slither /share/Top150Benchmarks/0x0e50e6d6bb434938d8fe670a2d7a14cd128eb50f.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x0e50e6d6bb434938d8fe670a2d7a14cd128eb50f.out.json
slither /share/Top150Benchmarks/0x0e69d0a2bbb30abcb7e5cfea0e4fde19c00a8d47.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x0e69d0a2bbb30abcb7e5cfea0e4fde19c00a8d47.out.json
slither /share/Top150Benchmarks/0x0f5d2fb29fb7d3cfee444a200298f468908cc942.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x0f5d2fb29fb7d3cfee444a200298f468908cc942.out.json
#slither /share/Top150Benchmarks/0x12459c951127e0c374ff9105dda097662a027093.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # Unsupported - 0.4.24
slither /share/Top150Benchmarks/0x14fbca95be7e99c15cc2996c6c9d841e54b79425.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x14fbca95be7e99c15cc2996c6c9d841e54b79425.out.json
slither /share/Top150Benchmarks/0x1530df3e1c69501d4ecb7e58eb045b90de158873.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x1530df3e1c69501d4ecb7e58eb045b90de158873.out.json
solc-select 0.5.2
slither /share/Top150Benchmarks/0x174bfa6600bf90c885c7c01c7031389ed1461ab9.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x174bfa6600bf90c885c7c01c7031389ed1461ab9.out.json
solc-select 0.4.24
slither /share/Top150Benchmarks/0x1ce7ae555139c5ef5a57cc8d814a867ee6ee33d8.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x1ce7ae555139c5ef5a57cc8d814a867ee6ee33d8.out.json
slither /share/Top150Benchmarks/0x1f0480a66883de97d2b054929252aae8f664c15c.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x1f0480a66883de97d2b054929252aae8f664c15c.out.json
slither /share/Top150Benchmarks/0x21ab6c9fac80c59d401b37cb43f81ea9dde7fe34.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x21ab6c9fac80c59d401b37cb43f81ea9dde7fe34.out.json
slither /share/Top150Benchmarks/0x275b69aa7c8c1d648a0557656bce1c286e69a29d.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x275b69aa7c8c1d648a0557656bce1c286e69a29d.out.json
slither /share/Top150Benchmarks/0x2a0c0dbecc7e4d658f48e01e3fa353f44050c208.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x2a0c0dbecc7e4d658f48e01e3fa353f44050c208.out.json
solc-select 0.5.2
slither /share/Top150Benchmarks/0x2e65e12b5f0fd1d58738c6f38da7d57f5f183d1c.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x2e65e12b5f0fd1d58738c6f38da7d57f5f183d1c.out.json
solc-select 0.4.24
slither /share/Top150Benchmarks/0x3495ffcee09012ab7d827abf3e3b3ae428a38443.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x3495ffcee09012ab7d827abf3e3b3ae428a38443.out.json
slither /share/Top150Benchmarks/0x3597bfd533a99c9aa083587b074434e61eb0a258.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x3597bfd533a99c9aa083587b074434e61eb0a258.out.json
slither /share/Top150Benchmarks/0x39755357759ce0d7f32dc8dc45414cca409ae24e.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x39755357759ce0d7f32dc8dc45414cca409ae24e.out.json
slither /share/Top150Benchmarks/0x3c7b464376db7c9927930cf50eefdea2eff3a66a.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x3c7b464376db7c9927930cf50eefdea2eff3a66a.out.json
slither /share/Top150Benchmarks/0x4092678e4e78230f46a1534c0fbc8fa39780892b.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x4092678e4e78230f46a1534c0fbc8fa39780892b.out.json
slither /share/Top150Benchmarks/0x4156d3342d5c385a87d264f90653733592000581.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x4156d3342d5c385a87d264f90653733592000581.out.json
slither /share/Top150Benchmarks/0x419d0d8bdd9af5e606ae2232ed285aff190e711b.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x419d0d8bdd9af5e606ae2232ed285aff190e711b.out.json
slither /share/Top150Benchmarks/0x41e5560054824ea6b0732e656e3ad64e20e94e45.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x41e5560054824ea6b0732e656e3ad64e20e94e45.out.json
slither /share/Top150Benchmarks/0x457476bc97adef10aba63fcadaefe503553fa0d2.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x457476bc97adef10aba63fcadaefe503553fa0d2.out.json
slither /share/Top150Benchmarks/0x4672bad527107471cb5067a887f4656d585a8a31.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x4672bad527107471cb5067a887f4656d585a8a31.out.json
slither /share/Top150Benchmarks/0x4a8f44be523580a11cdb20e2c7c470adf44ec9bb.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x4a8f44be523580a11cdb20e2c7c470adf44ec9bb.out.json
slither /share/Top150Benchmarks/0x4dc3643dbc642b72c158e7f3d2ff232df61cb6ce.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x4dc3643dbc642b72c158e7f3d2ff232df61cb6ce.out.json
slither /share/Top150Benchmarks/0x4f833a24e1f95d70f028921e27040ca56e09ab0b.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x4f833a24e1f95d70f028921e27040ca56e09ab0b.out.json
slither /share/Top150Benchmarks/0x514910771af9ca656af840dff83e8264ecf986ca.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x514910771af9ca656af840dff83e8264ecf986ca.out.json
slither /share/Top150Benchmarks/0x57b116da40f21f91aec57329ecb763d29c1b2355.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x57b116da40f21f91aec57329ecb763d29c1b2355.out.json
#slither /share/Top150Benchmarks/0x58959e0c71080434f237bd42d07cd84b74cef438.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # Not supported 0.4.26
slither /share/Top150Benchmarks/0x58a4884182d9e835597f405e5f258290e46ae7c2.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x58a4884182d9e835597f405e5f258290e46ae7c2.out.json
#slither /share/Top150Benchmarks/0x595832f8fc6bf59c85c527fec3740a1b7a361269.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # Not supported 0.4.11
solc-select 0.5.2
slither /share/Top150Benchmarks/0x5b8174e20996ec743f01d3b55a35dd376429c596.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x5b8174e20996ec743f01d3b55a35dd376429c596.out.json
solc-select 0.4.24
slither /share/Top150Benchmarks/0x5ca9a71b1d01849c0a95490cc00559717fcf0d1d.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x5ca9a71b1d01849c0a95490cc00559717fcf0d1d.out.json
solc-select 0.4.23
slither /share/Top150Benchmarks/0x5da8d37485b4374fc338fc1f1ea31d07eb7bedd3.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x5da8d37485b4374fc338fc1f1ea31d07eb7bedd3.out.json
solc-select 0.5.10
slither /share/Top150Benchmarks/0x5e07b6f1b98a11f7e04e7ffa8707b63f1c177753.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x5e07b6f1b98a11f7e04e7ffa8707b63f1c177753.out.json
solc-select 0.4.24
slither /share/Top150Benchmarks/0x6090a6e47849629b7245dfa1ca21d94cd15878ef.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x6090a6e47849629b7245dfa1ca21d94cd15878ef.out.json
slither /share/Top150Benchmarks/0x62b9f8741bf53a6986a5411c0557c30f6f11f3af.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x62b9f8741bf53a6986a5411c0557c30f6f11f3af.out.json
slither /share/Top150Benchmarks/0x686b30a80826340a59afa564c2a01b79128eb7dd.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x686b30a80826340a59afa564c2a01b79128eb7dd.out.json
solc-select 0.5.10
slither /share/Top150Benchmarks/0x68e54af74b22acaccffa04ccaad13be16ed14eac.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x68e54af74b22acaccffa04ccaad13be16ed14eac.out.json
solc-select 0.4.24
slither /share/Top150Benchmarks/0x6a750d255416483bec1a31ca7050c6dac4263b57.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x6a750d255416483bec1a31ca7050c6dac4263b57.out.json
#slither /share/Top150Benchmarks/0x6f259637dcd74c767781e37bc6133cd6a68aa161.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # Not supported 0.4.19
slither /share/Top150Benchmarks/0x744d70fdbe2ba4cf95131626614a1763df805b9e.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x744d70fdbe2ba4cf95131626614a1763df805b9e.out.json
slither /share/Top150Benchmarks/0x74fd51a98a4a1ecbef8cc43be801cce630e260bd.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x74fd51a98a4a1ecbef8cc43be801cce630e260bd.out.json
#slither /share/Top150Benchmarks/0x7600977eb9effa627d6bd0da2e5be35e11566341.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # Not supported 0.4.21
#slither /share/Top150Benchmarks/0x798abda6cc246d0edba912092a2a3dbd3d11191b.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # Not supported 0.4.18
slither /share/Top150Benchmarks/0x7a271d1df2c3f2fef734611c6c7ee6b9b8439204.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x7a271d1df2c3f2fef734611c6c7ee6b9b8439204.out.json
#slither /share/Top150Benchmarks/0x818e6fecd516ecc3849daf6845e3ec868087b755.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # Not supported 0.4.18
slither /share/Top150Benchmarks/0x818fc6c2ec5986bc6e2cbf00939d90556ab12ce5.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x818fc6c2ec5986bc6e2cbf00939d90556ab12ce5.out.json
slither /share/Top150Benchmarks/0x867ffb5a3871b500f65bdfafe0136f9667deae06.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x867ffb5a3871b500f65bdfafe0136f9667deae06.out.json
slither /share/Top150Benchmarks/0x86fa049857e0209aa7d9e616f7eb3b3b78ecfdb0.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x86fa049857e0209aa7d9e616f7eb3b3b78ecfdb0.out.json
slither /share/Top150Benchmarks/0x8912358d977e123b51ecad1ffa0cc4a7e32ff774.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x8912358d977e123b51ecad1ffa0cc4a7e32ff774.out.json
slither /share/Top150Benchmarks/0x8971f9fd7196e5cee2c1032b50f656855af7dd26.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x8971f9fd7196e5cee2c1032b50f656855af7dd26.out.json
slither /share/Top150Benchmarks/0x89d24a6b4ccb1b6faa2625fe562bdd9a23260359.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x89d24a6b4ccb1b6faa2625fe562bdd9a23260359.out.json
slither /share/Top150Benchmarks/0x8a88f04e0c905054d2f33b26bb3a46d7091a039a.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x8a88f04e0c905054d2f33b26bb3a46d7091a039a.out.json
slither /share/Top150Benchmarks/0x8d12a197cb00d4747a1fe03395095ce2a5cc6819.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x8d12a197cb00d4747a1fe03395095ce2a5cc6819.out.json
slither /share/Top150Benchmarks/0x8e766f57f7d16ca50b4a0b90b88f6468a09b0439.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x8e766f57f7d16ca50b4a0b90b88f6468a09b0439.out.json
slither /share/Top150Benchmarks/0x8e870d67f660d95d5be530380d0ec0bd388289e1.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x8e870d67f660d95d5be530380d0ec0bd388289e1.out.json
slither /share/Top150Benchmarks/0x8fdcc30eda7e94f1c12ce0280df6cd531e8365c5.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x8fdcc30eda7e94f1c12ce0280df6cd531e8365c5.out.json
solc-select 0.5.2
slither /share/Top150Benchmarks/0x931abd3732f7eada74190c8f89b46f8ba7103d54.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x931abd3732f7eada74190c8f89b46f8ba7103d54.out.json
solc-select 0.4.24
slither /share/Top150Benchmarks/0x93e682107d1e9defb0b5ee701c71707a4b2e46bc.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x93e682107d1e9defb0b5ee701c71707a4b2e46bc.out.json
slither /share/Top150Benchmarks/0x9554efa1669014c25070bc23c2df262825704228.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x9554efa1669014c25070bc23c2df262825704228.out.json
solc-select 0.5.2
slither /share/Top150Benchmarks/0x999999c60566e0a78df17f71886333e1dace0bae.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x999999c60566e0a78df17f71886333e1dace0bae.out.json
solc-select 0.4.24
slither /share/Top150Benchmarks/0x9a642d6b3368ddc662ca244badf32cda716005bc.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x9a642d6b3368ddc662ca244badf32cda716005bc.out.json
slither /share/Top150Benchmarks/0x9e15f8ad98e95033c1d4798458cec34a4b5972b0.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x9e15f8ad98e95033c1d4798458cec34a4b5972b0.out.json
slither /share/Top150Benchmarks/0x9e9801bace260f58407c15e6e515c45918756e0f.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0x9e9801bace260f58407c15e6e515c45918756e0f.out.json
slither /share/Top150Benchmarks/0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48.out.json
slither /share/Top150Benchmarks/0xa15c7ebe1f07caf6bff097d8a589fb8ac49ae5b3.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xa15c7ebe1f07caf6bff097d8a589fb8ac49ae5b3.out.json
slither /share/Top150Benchmarks/0xa37d94e80eab7a5bcb6d2e76b7666e341e4b58f6.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xa37d94e80eab7a5bcb6d2e76b7666e341e4b58f6.out.json
slither /share/Top150Benchmarks/0xa3c1e324ca1ce40db73ed6026c4a177f099b5770.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xa3c1e324ca1ce40db73ed6026c4a177f099b5770.out.json
slither /share/Top150Benchmarks/0xa52e014b3f5cc48287c2d483a3e026c32cc76e6d.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xa52e014b3f5cc48287c2d483a3e026c32cc76e6d.out.json
#slither /share/Top150Benchmarks/0xa74476443119a942de498590fe1f2454d7d4ac0d.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # Fails to run solc0.4.4 and up
slither /share/Top150Benchmarks/0xaa1a6e3e6ef20068f7f8d8c835d2d22fd5116444.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xaa1a6e3e6ef20068f7f8d8c835d2d22fd5116444.out.json
#slither /share/Top150Benchmarks/0xabbb6bebfa05aa13e908eaa492bd7a8343760477.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # solc3 compatible only
slither /share/Top150Benchmarks/0xb1690c08e213a35ed9bab7b318de14420fb57d8c.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xb1690c08e213a35ed9bab7b318de14420fb57d8c.out.json
slither /share/Top150Benchmarks/0xb363a3c584b1f379c79fbf09df015da5529d4dac.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xb363a3c584b1f379c79fbf09df015da5529d4dac.out.json
slither /share/Top150Benchmarks/0xb3775fb83f7d12a36e0475abdd1fca35c091efbe.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xb3775fb83f7d12a36e0475abdd1fca35c091efbe.out.json
slither /share/Top150Benchmarks/0xb5a5f22694352c15b00323844ad545abb2b11028.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xb5a5f22694352c15b00323844ad545abb2b11028.out.json
slither /share/Top150Benchmarks/0xb64ef51c888972c908cfacf59b47c1afbc0ab8ac.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xb64ef51c888972c908cfacf59b47c1afbc0ab8ac.out.json
slither /share/Top150Benchmarks/0xb8c77482e45f1f44de1745f52c74426c631bdd52.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xb8c77482e45f1f44de1745f52c74426c631bdd52.out.json
#slither /share/Top150Benchmarks/0xb97048628db6b661d4c2aa833e95dbe1a905b280.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # solc0.4.11 only
slither /share/Top150Benchmarks/0xbc2faad1ec407571249b0e874a9abd840111389b.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xbc2faad1ec407571249b0e874a9abd840111389b.out.json
solc-select 0.5.2
slither /share/Top150Benchmarks/0xbf5f8bfcee9502a30018d91c63eca66980e6e9bb.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xbf5f8bfcee9502a30018d91c63eca66980e6e9bb.out.json
solc-select 0.4.24
slither /share/Top150Benchmarks/0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2.out.json
slither /share/Top150Benchmarks/0xc4131c1893576e078a0b637b653f3e6a18e137ac.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xc4131c1893576e078a0b637b653f3e6a18e137ac.out.json
slither /share/Top150Benchmarks/0xc5d105e63711398af9bbff092d4b6769c82f793d.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xc5d105e63711398af9bbff092d4b6769c82f793d.out.json
slither /share/Top150Benchmarks/0xc9c4d9ec2b44b241361707679d3db0876ac10ca6.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xc9c4d9ec2b44b241361707679d3db0876ac10ca6.out.json
slither /share/Top150Benchmarks/0xcafe27178308351a12fffffdeb161d9d730da082.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xcafe27178308351a12fffffdeb161d9d730da082.out.json
slither /share/Top150Benchmarks/0xcb97e65f07da24d46bcdd078ebebd7c6e6e3d750.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xcb97e65f07da24d46bcdd078ebebd7c6e6e3d750.out.json
slither /share/Top150Benchmarks/0xd0a6e6c54dbc68db5db3a091b171a77407ff7ccf.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xd0a6e6c54dbc68db5db3a091b171a77407ff7ccf.out.json
slither /share/Top150Benchmarks/0xd1ceeeeee83f8bcf3bedad437202b6154e9f5405.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xd1ceeeeee83f8bcf3bedad437202b6154e9f5405.out.json
slither /share/Top150Benchmarks/0xd1ceeeefa68a6af0a5f6046132d986066c7f9426.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xd1ceeeefa68a6af0a5f6046132d986066c7f9426.out.json
slither /share/Top150Benchmarks/0xd26114cd6ee289accf82350c8d8487fedb8a0c07.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xd26114cd6ee289accf82350c8d8487fedb8a0c07.out.json
solc-select 0.4.25
slither /share/Top150Benchmarks/0xd3ebdaea9aeac98de723f640bce4aa07e2e44192.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xd3ebdaea9aeac98de723f640bce4aa07e2e44192.out.json
solc-select 0.5.2
slither /share/Top150Benchmarks/0xd5dc8921a5c58fb0eba6db6b40eab40283dc3c01.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xd5dc8921a5c58fb0eba6db6b40eab40283dc3c01.out.json
solc-select 0.4.24
slither /share/Top150Benchmarks/0xd73be539d6b2076bab83ca6ba62dfe189abc6bbe.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xd73be539d6b2076bab83ca6ba62dfe189abc6bbe.out.json
slither /share/Top150Benchmarks/0xd77bcd9cf4212a41defbcd2e2ff0f50fea2be643.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xd77bcd9cf4212a41defbcd2e2ff0f50fea2be643.out.json
solc-select 0.5.2
slither /share/Top150Benchmarks/0xd7cc16500d0b0ac3d0ba156a584865a43b0b0050.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xd7cc16500d0b0ac3d0ba156a584865a43b0b0050.out.json
solc-select 0.4.24
slither /share/Top150Benchmarks/0xd850942ef8811f2a866692a623011bde52a462c1.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xd850942ef8811f2a866692a623011bde52a462c1.out.json
slither /share/Top150Benchmarks/0xdac17f958d2ee523a2206206994597c13d831ec7.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xdac17f958d2ee523a2206206994597c13d831ec7.out.json
slither /share/Top150Benchmarks/0xdd974d5c2e2928dea5f71b9825b8b646686bd200.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xdd974d5c2e2928dea5f71b9825b8b646686bd200.out.json
#slither /share/Top150Benchmarks/0xe41d2489571d322189246dafa5ebde1f4699f498.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # solc0.4.11
slither /share/Top150Benchmarks/0xe530441f4f73bdb6dc2fa5af7c3fc5fd551ec838.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xe530441f4f73bdb6dc2fa5af7c3fc5fd551ec838.out.json
#slither /share/Top150Benchmarks/0xe6b75a1960f91bfa7010dec8543685ead67f8cff.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # solc0.4.16
slither /share/Top150Benchmarks/0xe94b04a0fed112f3664e45adb2b8915693dd5ff3.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xe94b04a0fed112f3664e45adb2b8915693dd5ff3.out.json
slither /share/Top150Benchmarks/0xef68e7c694f40c8202821edf525de3782458639f.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xef68e7c694f40c8202821edf525de3782458639f.out.json
slither /share/Top150Benchmarks/0xf230b790e05390fc8295f4d3f60332c93bed42e2.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xf230b790e05390fc8295f4d3f60332c93bed42e2.out.json
slither /share/Top150Benchmarks/0xf3586684107ce0859c44aa2b2e0fb8cd8731a15a.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xf3586684107ce0859c44aa2b2e0fb8cd8731a15a.out.json
slither /share/Top150Benchmarks/0xf629cbd94d3791c9250152bd8dfbdf380e2a3b9c.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xf629cbd94d3791c9250152bd8dfbdf380e2a3b9c.out.json
#slither /share/Top150Benchmarks/0xfa1a856cfa3409cfa145fa4e20eb270df3eb21ab.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither.out.json # solc0.4.19
slither /share/Top150Benchmarks/0xfc87d4f82fc5fe80a2d1692ffee872b2517c34c7.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xfc87d4f82fc5fe80a2d1692ffee872b2517c34c7.out.json
solc-select 0.5.2
slither /share/Top150Benchmarks/0xfd0174784ebce943bdb8832ecdea9fea30e7c7a9.sol --detect reentrancy-eth,reentrancy-no-eth,reentrancy-benign,reentrancy-unlimited-gas --json slither0xfd0174784ebce943bdb8832ecdea9fea30e7c7a9.out.json