Closed hiqua closed 2 years ago
See also description at https://github.com/eth-sri/securify#known-limitations
With lots_of_statements.sol:
lots_of_statements.sol
pragma solidity ^0.4.24; interface ERC20 { function balanceOf(address _owner) external constant returns (uint256 balance); function transfer(address _to, uint256 _value) external; } contract C { ERC20 t; function add(address _target) internal { t.transfer(_target, 0); } function f() public { add(0x0000000000000000000000000000000000000000); add(0x0000000000000000000000000000000000000001); add(0x0000000000000000000000000000000000000002); add(0x0000000000000000000000000000000000000003); add(0x0000000000000000000000000000000000000004); add(0x0000000000000000000000000000000000000005); add(0x0000000000000000000000000000000000000006); add(0x0000000000000000000000000000000000000007); add(0x0000000000000000000000000000000000000008); add(0x0000000000000000000000000000000000000009); add(0x0000000000000000000000000000000000000010); add(0x0000000000000000000000000000000000000011); add(0x0000000000000000000000000000000000000012); add(0x0000000000000000000000000000000000000013); add(0x0000000000000000000000000000000000000014); add(0x0000000000000000000000000000000000000015); add(0x0000000000000000000000000000000000000016); add(0x0000000000000000000000000000000000000017); add(0x0000000000000000000000000000000000000018); add(0x0000000000000000000000000000000000000019); add(0x0000000000000000000000000000000000000020); add(0x0000000000000000000000000000000000000021); add(0x0000000000000000000000000000000000000022); add(0x0000000000000000000000000000000000000023); add(0x0000000000000000000000000000000000000024); add(0x0000000000000000000000000000000000000025); add(0x0000000000000000000000000000000000000026); add(0x0000000000000000000000000000000000000027); add(0x0000000000000000000000000000000000000028); add(0x0000000000000000000000000000000000000029); add(0x0000000000000000000000000000000000000030); add(0x0000000000000000000000000000000000000031); add(0x0000000000000000000000000000000000000032); add(0x0000000000000000000000000000000000000033); add(0x0000000000000000000000000000000000000034); add(0x0000000000000000000000000000000000000035); add(0x0000000000000000000000000000000000000036); add(0x0000000000000000000000000000000000000037); add(0x0000000000000000000000000000000000000038); add(0x0000000000000000000000000000000000000039); add(0x0000000000000000000000000000000000000040); add(0x0000000000000000000000000000000000000041); add(0x0000000000000000000000000000000000000042); add(0x0000000000000000000000000000000000000043); add(0x0000000000000000000000000000000000000044); add(0x0000000000000000000000000000000000000045); add(0x0000000000000000000000000000000000000046); add(0x0000000000000000000000000000000000000047); add(0x0000000000000000000000000000000000000048); add(0x0000000000000000000000000000000000000049); add(0x0000000000000000000000000000000000000050); add(0x0000000000000000000000000000000000000051); add(0x0000000000000000000000000000000000000052); add(0x0000000000000000000000000000000000000053); add(0x0000000000000000000000000000000000000054); add(0x0000000000000000000000000000000000000055); add(0x0000000000000000000000000000000000000056); add(0x0000000000000000000000000000000000000057); add(0x0000000000000000000000000000000000000058); add(0x0000000000000000000000000000000000000059); add(0x0000000000000000000000000000000000000060); add(0x0000000000000000000000000000000000000061); add(0x0000000000000000000000000000000000000062); add(0x0000000000000000000000000000000000000063); add(0x0000000000000000000000000000000000000064); add(0x0000000000000000000000000000000000000065); add(0x0000000000000000000000000000000000000066); add(0x0000000000000000000000000000000000000067); add(0x0000000000000000000000000000000000000068); add(0x0000000000000000000000000000000000000069); add(0x0000000000000000000000000000000000000070); add(0x0000000000000000000000000000000000000071); add(0x0000000000000000000000000000000000000072); add(0x0000000000000000000000000000000000000073); add(0x0000000000000000000000000000000000000074); add(0x0000000000000000000000000000000000000075); add(0x0000000000000000000000000000000000000076); add(0x0000000000000000000000000000000000000077); add(0x0000000000000000000000000000000000000078); add(0x0000000000000000000000000000000000000079); add(0x0000000000000000000000000000000000000080); add(0x0000000000000000000000000000000000000081); add(0x0000000000000000000000000000000000000082); add(0x0000000000000000000000000000000000000083); add(0x0000000000000000000000000000000000000084); add(0x0000000000000000000000000000000000000085); add(0x0000000000000000000000000000000000000086); add(0x0000000000000000000000000000000000000087); add(0x0000000000000000000000000000000000000088); add(0x0000000000000000000000000000000000000089); add(0x0000000000000000000000000000000000000090); add(0x0000000000000000000000000000000000000091); add(0x0000000000000000000000000000000000000092); add(0x0000000000000000000000000000000000000093); add(0x0000000000000000000000000000000000000094); add(0x0000000000000000000000000000000000000095); add(0x0000000000000000000000000000000000000096); add(0x0000000000000000000000000000000000000097); add(0x0000000000000000000000000000000000000098); add(0x0000000000000000000000000000000000000099); add(0x0000000000000000000000000000000000000100); add(0x0000000000000000000000000000000000000101); add(0x0000000000000000000000000000000000000102); add(0x0000000000000000000000000000000000000103); add(0x0000000000000000000000000000000000000104); add(0x0000000000000000000000000000000000000105); add(0x0000000000000000000000000000000000000106); add(0x0000000000000000000000000000000000000107); add(0x0000000000000000000000000000000000000108); add(0x0000000000000000000000000000000000000109); add(0x0000000000000000000000000000000000000110); add(0x0000000000000000000000000000000000000111); add(0x0000000000000000000000000000000000000112); add(0x0000000000000000000000000000000000000113); add(0x0000000000000000000000000000000000000114); add(0x0000000000000000000000000000000000000115); add(0x0000000000000000000000000000000000000116); add(0x0000000000000000000000000000000000000117); add(0x0000000000000000000000000000000000000118); add(0x0000000000000000000000000000000000000119); add(0x0000000000000000000000000000000000000120); add(0x0000000000000000000000000000000000000121); add(0x0000000000000000000000000000000000000122); add(0x0000000000000000000000000000000000000123); add(0x0000000000000000000000000000000000000124); add(0x0000000000000000000000000000000000000125); add(0x0000000000000000000000000000000000000126); add(0x0000000000000000000000000000000000000127); add(0x0000000000000000000000000000000000000128); add(0x0000000000000000000000000000000000000129); add(0x0000000000000000000000000000000000000130); add(0x0000000000000000000000000000000000000131); add(0x0000000000000000000000000000000000000132); add(0x0000000000000000000000000000000000000133); add(0x0000000000000000000000000000000000000134); add(0x0000000000000000000000000000000000000135); add(0x0000000000000000000000000000000000000136); add(0x0000000000000000000000000000000000000137); add(0x0000000000000000000000000000000000000138); add(0x0000000000000000000000000000000000000139); add(0x0000000000000000000000000000000000000140); add(0x0000000000000000000000000000000000000141); add(0x0000000000000000000000000000000000000142); add(0x0000000000000000000000000000000000000143); add(0x0000000000000000000000000000000000000144); add(0x0000000000000000000000000000000000000145); add(0x0000000000000000000000000000000000000146); add(0x0000000000000000000000000000000000000147); add(0x0000000000000000000000000000000000000148); add(0x0000000000000000000000000000000000000149); add(0x0000000000000000000000000000000000000150); add(0x0000000000000000000000000000000000000151); add(0x0000000000000000000000000000000000000152); add(0x0000000000000000000000000000000000000153); add(0x0000000000000000000000000000000000000154); add(0x0000000000000000000000000000000000000155); add(0x0000000000000000000000000000000000000156); add(0x0000000000000000000000000000000000000157); add(0x0000000000000000000000000000000000000158); add(0x0000000000000000000000000000000000000159); add(0x0000000000000000000000000000000000000160); add(0x0000000000000000000000000000000000000161); add(0x0000000000000000000000000000000000000162); add(0x0000000000000000000000000000000000000163); add(0x0000000000000000000000000000000000000164); add(0x0000000000000000000000000000000000000165); add(0x0000000000000000000000000000000000000166); add(0x0000000000000000000000000000000000000167); add(0x0000000000000000000000000000000000000168); add(0x0000000000000000000000000000000000000169); add(0x0000000000000000000000000000000000000170); add(0x0000000000000000000000000000000000000171); add(0x0000000000000000000000000000000000000172); add(0x0000000000000000000000000000000000000173); add(0x0000000000000000000000000000000000000174); add(0x0000000000000000000000000000000000000175); add(0x0000000000000000000000000000000000000176); add(0x0000000000000000000000000000000000000177); add(0x0000000000000000000000000000000000000178); add(0x0000000000000000000000000000000000000179); add(0x0000000000000000000000000000000000000180); add(0x0000000000000000000000000000000000000181); add(0x0000000000000000000000000000000000000182); add(0x0000000000000000000000000000000000000183); add(0x0000000000000000000000000000000000000184); add(0x0000000000000000000000000000000000000185); add(0x0000000000000000000000000000000000000186); add(0x0000000000000000000000000000000000000187); add(0x0000000000000000000000000000000000000188); add(0x0000000000000000000000000000000000000189); add(0x0000000000000000000000000000000000000190); add(0x0000000000000000000000000000000000000191); add(0x0000000000000000000000000000000000000192); add(0x0000000000000000000000000000000000000193); add(0x0000000000000000000000000000000000000194); add(0x0000000000000000000000000000000000000195); add(0x0000000000000000000000000000000000000196); add(0x0000000000000000000000000000000000000197); add(0x0000000000000000000000000000000000000198); add(0x0000000000000000000000000000000000000199); add(0x0000000000000000000000000000000000000200); add(0x0000000000000000000000000000000000000201); add(0x0000000000000000000000000000000000000202); add(0x0000000000000000000000000000000000000203); add(0x0000000000000000000000000000000000000204); add(0x0000000000000000000000000000000000000205); add(0x0000000000000000000000000000000000000206); add(0x0000000000000000000000000000000000000207); add(0x0000000000000000000000000000000000000208); add(0x0000000000000000000000000000000000000209); add(0x0000000000000000000000000000000000000210); add(0x0000000000000000000000000000000000000211); add(0x0000000000000000000000000000000000000212); add(0x0000000000000000000000000000000000000213); add(0x0000000000000000000000000000000000000214); add(0x0000000000000000000000000000000000000215); add(0x0000000000000000000000000000000000000216); add(0x0000000000000000000000000000000000000217); add(0x0000000000000000000000000000000000000218); add(0x0000000000000000000000000000000000000219); add(0x0000000000000000000000000000000000000220); add(0x0000000000000000000000000000000000000221); add(0x0000000000000000000000000000000000000222); add(0x0000000000000000000000000000000000000223); add(0x0000000000000000000000000000000000000224); add(0x0000000000000000000000000000000000000225); add(0x0000000000000000000000000000000000000226); add(0x0000000000000000000000000000000000000227); add(0x0000000000000000000000000000000000000228); add(0x0000000000000000000000000000000000000229); add(0x0000000000000000000000000000000000000230); add(0x0000000000000000000000000000000000000231); add(0x0000000000000000000000000000000000000232); add(0x0000000000000000000000000000000000000233); add(0x0000000000000000000000000000000000000234); add(0x0000000000000000000000000000000000000235); add(0x0000000000000000000000000000000000000236); add(0x0000000000000000000000000000000000000237); add(0x0000000000000000000000000000000000000238); add(0x0000000000000000000000000000000000000239); add(0x0000000000000000000000000000000000000240); add(0x0000000000000000000000000000000000000241); add(0x0000000000000000000000000000000000000242); add(0x0000000000000000000000000000000000000243); add(0x0000000000000000000000000000000000000244); add(0x0000000000000000000000000000000000000245); add(0x0000000000000000000000000000000000000246); add(0x0000000000000000000000000000000000000247); add(0x0000000000000000000000000000000000000248); add(0x0000000000000000000000000000000000000249); add(0x0000000000000000000000000000000000000250); add(0x0000000000000000000000000000000000000251); add(0x0000000000000000000000000000000000000252); add(0x0000000000000000000000000000000000000253); add(0x0000000000000000000000000000000000000254); add(0x0000000000000000000000000000000000000255); add(0x0000000000000000000000000000000000000256); add(0x0000000000000000000000000000000000000257); add(0x0000000000000000000000000000000000000258); add(0x0000000000000000000000000000000000000259); add(0x0000000000000000000000000000000000000260); add(0x0000000000000000000000000000000000000261); add(0x0000000000000000000000000000000000000262); add(0x0000000000000000000000000000000000000263); add(0x0000000000000000000000000000000000000264); add(0x0000000000000000000000000000000000000265); add(0x0000000000000000000000000000000000000266); add(0x0000000000000000000000000000000000000267); add(0x0000000000000000000000000000000000000268); add(0x0000000000000000000000000000000000000269); add(0x0000000000000000000000000000000000000270); add(0x0000000000000000000000000000000000000271); add(0x0000000000000000000000000000000000000272); add(0x0000000000000000000000000000000000000273); add(0x0000000000000000000000000000000000000274); add(0x0000000000000000000000000000000000000275); add(0x0000000000000000000000000000000000000276); add(0x0000000000000000000000000000000000000277); add(0x0000000000000000000000000000000000000278); add(0x0000000000000000000000000000000000000279); add(0x0000000000000000000000000000000000000280); add(0x0000000000000000000000000000000000000281); add(0x0000000000000000000000000000000000000282); add(0x0000000000000000000000000000000000000283); add(0x0000000000000000000000000000000000000284); add(0x0000000000000000000000000000000000000285); add(0x0000000000000000000000000000000000000286); add(0x0000000000000000000000000000000000000287); add(0x0000000000000000000000000000000000000288); add(0x0000000000000000000000000000000000000289); add(0x0000000000000000000000000000000000000290); add(0x0000000000000000000000000000000000000291); add(0x0000000000000000000000000000000000000292); add(0x0000000000000000000000000000000000000293); add(0x0000000000000000000000000000000000000294); add(0x0000000000000000000000000000000000000295); add(0x0000000000000000000000000000000000000296); add(0x0000000000000000000000000000000000000297); add(0x0000000000000000000000000000000000000298); add(0x0000000000000000000000000000000000000299); add(0x0000000000000000000000000000000000000300); add(0x0000000000000000000000000000000000000301); add(0x0000000000000000000000000000000000000302); add(0x0000000000000000000000000000000000000303); add(0x0000000000000000000000000000000000000304); add(0x0000000000000000000000000000000000000305); add(0x0000000000000000000000000000000000000306); add(0x0000000000000000000000000000000000000307); add(0x0000000000000000000000000000000000000308); add(0x0000000000000000000000000000000000000309); add(0x0000000000000000000000000000000000000310); add(0x0000000000000000000000000000000000000311); add(0x0000000000000000000000000000000000000312); add(0x0000000000000000000000000000000000000313); add(0x0000000000000000000000000000000000000314); add(0x0000000000000000000000000000000000000315); add(0x0000000000000000000000000000000000000316); add(0x0000000000000000000000000000000000000317); add(0x0000000000000000000000000000000000000318); add(0x0000000000000000000000000000000000000319); add(0x0000000000000000000000000000000000000320); add(0x0000000000000000000000000000000000000321); add(0x0000000000000000000000000000000000000322); add(0x0000000000000000000000000000000000000323); add(0x0000000000000000000000000000000000000324); add(0x0000000000000000000000000000000000000325); add(0x0000000000000000000000000000000000000326); add(0x0000000000000000000000000000000000000327); add(0x0000000000000000000000000000000000000328); add(0x0000000000000000000000000000000000000329); add(0x0000000000000000000000000000000000000330); add(0x0000000000000000000000000000000000000331); add(0x0000000000000000000000000000000000000332); add(0x0000000000000000000000000000000000000333); add(0x0000000000000000000000000000000000000334); add(0x0000000000000000000000000000000000000335); add(0x0000000000000000000000000000000000000336); } }
java -jar build/libs/securify-0.1.jar -fs stat/lots_of_statements.sol
See also description at https://github.com/eth-sri/securify#known-limitations
Steps to reproduce
With
lots_of_statements.sol
: