runSlitherTop150.sh

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