Merge pull request #18 from lisa-analyzer/stack-set

Added domain AbstractStackSet

README.md

@@ -68,10 +68,14 @@ This command will initiate the analysis process for the specified smart contract
 
 ```bash
 Options:
- -a,--address <arg>         address of an Ethereum smart contract
- -c,--dump-cfg              dump the CFG
- -d,--dump-analysis <arg>   dump the analysis (html, dot)
- -f,--filepath <arg>        filepath of the Etherem smart contract
- -o,--output <arg>          output directory path
- -s,--dump-stats            dump statistics
+ -a,--address <arg>          address of an Ethereum smart contract
+ -b,--benchmark <arg>        filepath of the benchmark
+ -C,--cores <arg>            number of cores used
+ -c,--dump-cfg               dump the CFG
+ -d,--dump-analysis <arg>    dump the analysis (html, dot)
+ -f,--filepath <arg>         filepath of the Etherem smart contract
+ -o,--output <arg>           output directory path
+ -q,--stack-size <arg>       dimension of stack
+ -s,--dump-stats             dump statistics
+ -w,--stack-set-size <arg>   dimension of stack-set
 ```

benchmark/soap-benchmark.txt → benchmark/1000-soap-benchmark.txt

@@ -997,4 +997,4 @@
 0xa77ffd941788b979799cc2de945b9a1d5de92640
 0x9a813114b1e3a24e2771d8e5f9cb7cb69e90f697
 0xbafA4e685e8F9C94358ECEFB0f5E7b21E79c8ff6
-0x8ddbb9558f1d51341df2400b9f91a68875473335
+0x8ddbb9558f1d51341df2400b9f91a68875473335

benchmark/277-soap-benchmark.txt

@@ -0,0 +1,277 @@
+0x561B2D8ECee53b6ffda13c8ECD27368BEa33E946
+0xC2969a099F22430e20bcE237F469ac6F3101Ac5f
+0x58322aD3264137CdBD859d8Df0DD74C33D4a49f6
+0x33C29cF836bCA262f7Bc7643B28ec2Fbe17394ef
+0x0bEA07f7D619F0F9b0B50ccD3EAbBe1C1C1e8f36
+0x0A4058a230a3E05d3b745D9439A36bB53D0abb4C
+0x57aD6961B9887706a526e8f0Ea0a8BE936D66112
+0xd22CD47808ae4b13D46Fa8FEFc08C91eb5790Bf8
+0xc54a087e7ac2c2feda8bc3697364c4b41355478a
+0xA98cD417Ed5BeF7E38Ff86b099E02445c4a80684
+0x6b6e379ef955500d0b576d6644e40c867ae59ae4
+0x624e6f327c4f91f1fa6285711245c215de264d49
+0x000000000000748d91DE137891483c6F2f312272
+0xb0b14701a4bbAD3Ac093621008E11247e67B8368
+0x1Db84E79E8daEC762d6aDaa5bf358A4Ba001E975
+0xAb36c29D2ea50B1bB83021e6BC531D97eD393d96
+0xe435a33928796990d2802b60fa345b0b1d727697
+0x5EbeB2CbBA284D6CCE5D7baEbD3d060F51A662dC
+0xddc6d94d9f9fbb0524f069882d7c98241040472e
+0xD70b9239a89e6D56ea6661627cb710B98FF100DA
+0xfcc144712fa92806106fba069ddc2063f793cddd
+0xf822B65047423824A6Ddc44feF32d8D3B75e87bD
+0x773e3527748f893f23d9eacdef54200d3fbd9dee
+0x700a81a525e259f13233c8da11b1d4632f3fdf91
+0x312FcFB03eC9B1Ea38CB7BFCd26ee7bC3b505aB1
+0xC4779ee755453916a0327D38587FDf0526fC9588
+0xbbb27e84c3584e849280044603cfc963f54b9845
+0xa75e27078c51a3F06Fb51EA601Bb675e3C9DB15d
+0x2413ba5e927300376df14fbbea442c8b593852ea
+0x35e025113cf7e73811c2c8e1744dfcdac8f27ac2
+0x685d86ba27dce8e0771da09fd86a0c264f29650b
+0x1DA8bAef6f087830A4ECCa13C8Dbe2D6Be4E3957
+0x06c3b252c01225FDF3017551f39668C9b6599ac5
+0x3bcAC17555fB19BdB6460533111e573eF10fFf07
+0x091196d37b0461d9852d179e793cda391f8b038c
+0xb065d5a36d27a9bc88609c74d045ce1b842ce97d
+0x5ff8949e5a98682bd7e860ada4c6a2572eda81d6
+0xfad4bf35ee3eec1fc7796953f2cf56dd00d86829
+0xb4f08ab46f18091fa604fb111c6c546ab7b2626e
+0x807dae95faa9252756ae2cff606ff604ce6b23b7
+0x64ae3866a2a37a8a4246e348f5d2fe9c63e1a4e8
+0x1fdae6a6e0cdf83d6e77b7c3c4510781c42af734
+0xef67d2724ad0ee8fd0960b7c653c07e51b0e2147
+0x01CA427D03614fF93c1b4179D70C72556530F7c3
+0xdfDAc3b2F608cF8B1E78D424D94AfA8aC980639b
+0x34a0FCEF4b5bEc24DB2d0937cD03FF0A3f1fe305
+0xef4c77c2898D9F0229BFd0890F77e0DC56e9948c
+0xbFb299f40b68D9E4e00139CC4fC445843317743D
+0xeF6E549Ed64046b935bB890b456Cf91C5FDE47A1
+0x40864568f679c10aC9e72211500096a5130770fA
+0x195d9ce2fc29e46fa58094ed1e76f127aa04e022
+0x93e8a236423a07234261205213cb77eaeaaed671
+0x0bEE7F54cB968EDdDad325c47740A845e4AA1CC2
+0xAb1973210109F90C9E74c0F140e174ee3b2f60Bf
+0x8De30586D1Bc3Fd4c215add656Bf9122EF7C8194
+0x9e4FdD8ff1b11e8f788Af77caA4b0037c137EcC1
+0x7d579849c1e939ced6fF0aEbBF5e1C083Eb4d5E7
+0x0256004944aA79B848747c5EB7a140ec12c84E7C
+0x5748293F37b5A5B7F7b326ED1D589b9A3E8DC56C
+0x7407974DDBF539e552F1d051e44573090912CC3D
+0x06752c753802dd61f31098f9d99726a50add7b7f
+0x3eC54A570c301e82Ac585ffdb3f495535401769C
+0x629a9cc1d7bba00b28d48af94501ab120b3bf315
+0x8343814f9913b311d7afc06c02fa7b8c7269c074
+0x606e3e11efeb6166a37816c985f4f440bac69113
+0xbe0ec76e2d6da8b66ce8fe71e3012503da356289
+0x89c01b9326a02ad16b26fbff05aea2be868904e8
+0x4f40b56e07a879f043ac65b985e7de3541bb1f8f
+0x9ad328527cdbad902d03f1de900285339ada3804
+0xbce805041dcdc52d93cf8231cc4e64a006415e7b
+0xd870620f491178c43dce7e00f9d92cfcc1452d9b
+0x4d6ab8f0d95c32c2c74356d3c9206cc7a01defdb
+0x42c92432c3a4c2ad1c75988904b36eb18b331f64
+0xcd9b81e336a232cd9fc3f369d267032a2701de17
+0x7392182cf9280cff7904498cf91842eb37afb960
+0xc06af9c82f5b87d1336302c06c6bace58ecc81e9
+0xcb411afb6e04d0256c83044b19399119984ed8ef
+0x614212a155a0c927b7f55a6d2fb2e81bba1a5495
+0xbB3c54EC625102C75F00acCf9f242cB277aA0231
+0x8EBef08513a51987B21FDB44BdFB2bA8CE9cB5B7
+0x84884e6094d52ca8d6476070c39b79ad4a153259
+0xea5fc13c391275db95a3574a722d0f7d8a14dfdd
+0xd39164369C37c412a04603666DcF4C7b33137748
+0x2a04c3a3217c8b752d8db0b1c071ba1477ec467e
+0x34b49b8934ca4fbd1ce90e1fc019fda65266ae3e
+0xBadea287fC5AB5AfAf8fb7AfB466F155Db9Db04E
+0xeF62fF095B696E8583799e4efC9Cd6E580F81740
+0x58cefb4b906ce89129d5e0d3192bfc55efe5a7eb
+0x132322c0209abf7b823e7f4701e8e2dc6e52b95a
+0x6bfa1135585124f54d2ac4f7a4788684b006f58a
+0x2334a71a8b0c4b53735530454ba66ce599e1fd11
+0xd94b0763Dadd691A1E9688Cf0eF8238d95422154
+0xc352341d069e374b86679319d910876de0f30ad8
+0x2bf8f253af5dfd76ed42ee8884cc8db21e363607
+0x291B415A4d21D27A4806aDFECB088e87543C5c33
+0xfBC2E24fd19071De87230B23cbaF9F18B1908B28
+0x6e48ccf9ae5d48e63f3a74164a1c037271fd0355
+0xa1a88ff6fea5fddd868a0e5305f783f453945d3f
+0xaade72f540d4d6a4f6657c466866c2294c646342
+0xb7586E7C8E28e30Cfa02Eb6b35f0c1579f9ad4c7
+0x4a7DBC808Fd4890b502cD4Df302b273cD7657bB6
+0x5fb0ad77f9d5c8a1dcde15d39fafeec4ac3c1f3b
+0x12eb1514696884dc0c7fcaf014dd8eb6c95ea575
+0xddf8F710aA1D5639Aa245AE86331752BdEb4D71E
+0xE42bC2E200A48138a53b8950cC6af2a1094f84CA
+0x3fcfe73ae91de7d3339d0a2a54344f9f10205c89
+0x9961BdBE8B7091E584c2bF9D0a160C583f564A8c
+0x0bbf5d4aeb8d9fb9b2f56dad9246229921537e03
+0x58079a15a98b61630004953ae88252cad447a0d5
+0x6d565db14f217c1f3ab9085bb369eb6ded5635d6
+0x94C1201E12D5773410C35Fe509dd0F4Bb440d39d
+0x09ef04F2Ca6EC1b9EF206eeFEF09892727232327
+0x2260fFD223aF603F975c58A09C6CEa4270803970
+0xb6aac58d1c6a96eb98df0b059b7b3cc12e4c5dfe
+0x9fCF08d092ee4A659993a486f03e5ec8BB0a4059
+0x59077f83C1EcfAF0faF67e3E06Da2481654d0982
+0x66F596A0f625819e6e974E67d46253f393bCEFE1
+0x7B715a1D45547d123c9d92da93C3c17750d86fba
+0x55ba23e27489c9b1afd0aab31924cf793e79de70
+0x4a10048b19595ad3aa64b7168f0c2d0a8673cb7b
+0x79740d53eb3bc798ec8455816211c4d6d9212bbd
+0x2eff8129d9c6238dab892d4f6c52371515a92f50
+0xC17004aa555F1Ad11407211F654cC89bE983d38d
+0x6a3881ad112a603d92ad9522066ebc619784f26a
+0x88c9ce45f1042f003324e6db0cdcef391bf9e480
+0x18a7b0f0f73e9d953df166a38d46a07c2925b352
+0x56f93f87f771f74a6ea4101be79105296f3e70f9
+0x5e2d86ef9f642efd5bc4b90da5c0e38247deaff5
+0x3360e75d697f88d76645a16d38b0ca95d48c867a
+0x18a3cbddeedf50e298042d4a9ee4149726bc97ec
+0xd177d09f56051378a0a41da6ed1cd6af7fc4a69d
+0x0f25fa7c2c59411033b1f908068929ef42ef5d7c
+0x60e8dd94682c11ecc0c3786df8ae979a83ac9d59
+0x9327d301ae2afa35afeaa07d1bb29ea45f16d799
+0x9BaEfcFD209fa055c3df4C339D700B1a20C3427e
+0xc62f98A690EB8925187AF31Ef3cB4eFFa0775ACe
+0x7fe3947090fC2079E0e526E6d7e38EDfd33652b1
+0x3421801e666E7E1386c231ec0a3005849D99ff03
+0x349409E2fe02039462EfF4561f37c3812885d1a0
+0xc97ca8aD2df0356b000D37Ac0f66e722E4BB489F
+0xf88B2072aD34AfC7d4beb3624e3af3be135cAd76
+0xddD7Aa898d26207EceA1D1d5BBc585B20ed42a9f
+0x5B9B9A5ea12538bD47aF125286622b90Fa407A3f
+0xf248416e9a879cf1e7d506794a38ede1235f95b6
+0x509fFf73c35eE3AF1C37B65F3dB73807088D6DdD
+0x6E5cE1dF62a1dF8357B7C81E9cE445eb044d2EF0
+0xbE42c85276BA0d491833cC69D045523ed6275D1B
+0x3444bc0b257367596055a3ceCBDd44B3cf942e1d
+0x148557763bC4e0566C93Ddb6869E823cd531Ba91
+0x5e1ba88978B1f9b61448C5e6881e21A7d771D139
+0x837CE0453bDbe6F0Df7a81a3C230937c88e3d738
+0x319F3aF6c1255c3F98c1fd46FD2426f2C229331b
+0x22002E02ace94240eD1509C9B4DfF2C0565587D8
+0xd7d54d53924b8ef695f9bf8b701501bed2bbdeca
+0x71D7Bf0338E52C51Eb15e2ef3Ed182dA3E5c7db0
+0x67998b2A67185707be15A5b9105E27D74D4B43F4
+0x5e17908c91c840E799B4904777C00E5EA4962596
+0x8dFB607E01A1E925D0aE93a0B9eE1815D08Dc2f1
+0x2a12021350b85697a3f60c4E080845FbaA3Bafee
+0x61AF3e68740e6Ca8Dafb2DEB3A869943026A4A34
+0x4d55B39eC653fB96E70f986988A128e39EC70d35
+0xd68700dada50b11c51db23920048872411e3cba0
+0xbafA4e685e8F9C94358ECEFB0f5E7b21E79c8ff6
+0xa1883b03dE06072232c9312DBe04C6859a854Dc6
+0x6121916a444d5c24A8a368aCdEb307e78050062A
+0xb38824d990ec3de57b46ae644a7c8810798f6fee
+0x79da40a2c6e2a9a5bdb00bf02273ee7602e19a36
+0x30a430245Fe98c1c0d31e49BbBA4f066661bD99A
+0x4474285F363C566e4Ec307E31c3755c0b8030438
+0x33B8DD54FFeEE76Cb66b6f28d3f6B3Ba89013661
+0x08a973cE102c1dfE679849fde1bb53cf392CD702
+0x964d0A591Db02EBE26a5Fe16C66B385c582a4241
+0x87f733aFB5E39b908cF8633501181E2c5808146C
+0xa9cBd87cB4853aF5ba93c542D90d39e17587642b
+0xbd711c4df6769ad63be5db4270ae7de0cc531bb9
+0xca0e02dbfef8923c92c5145d0415805d5e951424
+0xb7c1a2af405c913700b9550e877b24df775b936c
+0x91b633698445e786238ef30cb4860741a823e350
+0x9a813114b1e3a24e2771d8e5f9cb7cb69e90f697
+0x344eda5ceafec3805821d6481058ad34494fc2c1
+0xAF9F7d99Ef9B3AA4593C42079c5BB5E8a2b15DbB
+0x46e5dbc41f1938b3a7e7dab16c1ddbaa6d6f7d12
+0xe8e9aa5f576a57e7703250496cef02ed5982096f
+0x6E6cb833566232aD1809613F87BDedff43136c4B
+0x0131CD165Bb31Cc6A11730e6538Cff1137b8B0e8
+0x318e4A70d141417cbD41E1af1c9615E410970081
+0x50D52B8Ad39ce38372CAa8BFb60f39a82Ff729b9
+0xf83ff7d7dadf1730589a956737f7a66af400f0a7
+0xa73FCf95e66aaDda2bc7a0403B8d13A5F8a974B8
+0x73134708d92707eae8a0dc2648682bb2c8db9b5e
+0x05f7c4335d90603833cc45f125fcb6ed44ef2c9e
+0xa4eeb4eb99678c5ed44474b97ba059439e96410d
+0x0a534c17af53c32bfb5a94f8b88060fefbb180b6
+0xea444f927ac5ee812c83d28515c0b9a2dc5f89d8
+0x6FE40E37485e91603630CE42350E07723a1fcbaF
+0x5a604cff67a0fc775db4ef686eac512804e427d1
+0x088658e721474f07c0294ef4b4138c492753c0d3
+0x7dbe6839bdfccbebf97aa51bea8abb6af4bd4574
+0x0595dc4959ab53bf5502e0dbae4992c7afe0b1d4
+0x255415559b28c58620121ed3d32b7cf25ea661df
+0xd9d14f3fbc52fa31ce5c2649b3613f52cad7b834
+0x85e210b6b9cefb002f25d60965a67804430bf49c
+0x006d101525f913b15505a0fab1f2ba7fefd43a13
+0x5957249054aBfA2866ccaa00B7eaC57672DaFA32
+0x2909fe1388630e243c59f48a7915535228a57c7a
+0x360278BF0cf0544eE4Dd53B06B6B1fAb5867Eb8e
+0x8d6ce71ab8c98299c1956247ca9aaec080dd2df3
+0x0b1814fdb9412c09eb9d54206fc431b03761028a
+0xfad36b16a94c228f1f1f20c17ff34fe936bcf9f2
+0xa16079a93bd55e4a87941c66460f16cfd60808c8
+0xf1361805bfdd3284800dcf44a0ef3c043725a3fd
+0x2bd9ba6374fb9741e84162663b4fd812ebe1225e
+0x0960e389432d2A6955Dc856E9d4911b680732201
+0x7b6000d9df9f86946d7849aa2498dae1ac77b189
+0xAa2B3180f13EA0c943f7462A2bdbd66d3e969018
+0x9Cd5AA78D46c0ee44162cDE696962fDb0eEB5284
+0xfbb54bdbca330b58a480392a6e033b479ac3be79
+0x2df37f230d056ed0fff30b3e88b9a9d9f767b845
+0xf216d7764c1119042aa471663a0137930ac83c14
+0x8a903238adde9942e46a219ba1b64a047d059c15
+0x91Be27Bf26fEA1fEb6a3CB55836b041f33275123
+0x4669a7abc4af87834a0a9e0f53b9096f0863a616
+0xaa3022e1F985CC59Ed4268a327867c424e6d1f91
+0xB1e1d3e1F4062A57Da28EE7950E6C9fc886871E5
+0xe2e6b5a21fa1e3f26c840d093aeaecbb868b0719
+0x422d86c91e80fbb145413d82ae98d1e36d30f9a4
+0x98a160b2bb6a7dd1f8ff571c179db5c9f35309da
+0x70e000a8bcc754c0f9b9ddf4dd138f8e056983e2
+0x29490adda7FCbD7F5993cb01e4E3FaC6848f21f4
+0x2Ad744e6738c4d0Ce51538A9c5e827D7066f47dB
+0xa373d0b0dff4b47eb559766ade638acd9afa86e7
+0xdd6a1598bfaafebe27471d68fa28b8ff1bf1c050
+0x2e25132aa1c33993181cd667b830e09c5a077315
+0x5c6f8859f26efc3e486d9956e3666522ef3ca0bd
+0x5f3aAFf3C10C05d11261519C7B01964cdD8686Fd
+0xe8643559d579a916941239f8dc5b202cde73b611
+0xB92a9708E3e0B885C42d0ADb7deEE3abFe9E5273
+0x713ff4BB16038582cdB5482E2c0a26A446FdeCb7
+0x8d29381084e2abb4cb89fc1ce5c4c71fd0f94694
+0x4Cb98982c80b9006A1a68Ff71D27C05547836823
+0x16bacdbef3f51d433947702807d96a6859a39704
+0x8Df9063E4F1bb148ab7b6fE0b04219a17dac0798
+0x979D402453AF9a01613D6cba16dA8BeA128b12aa
+0x9537970449ef968a970d5e5496fa8769d9e14183
+0xbe5fa155dd0ca7a41f4cb11e8d59f5aa17b4b556
+0x82c7c33ee0f2e64cc5c615a3575e6c54a6aca3ce
+0x56436fff38f31993e33c2fdb7858c04c74094f3a
+0x76a0f91c2cb09500513f7869016f72fb2690fc56
+0x9f641e0114bf1c8eef9424593e47159a5ac7c4a3
+0x6fc0c6b5be2ec4c4192ad107df1f7f616d254bfb
+0x59eb0db6be417a38ed87e21cf4f067a730f31a52
+0xe8a68c9439b470fb047a6b70f45d8c57e8610ac6
+0xaf528F32f3C2763D89b8136a3d96a323E28622C1
+0x4434fCF39D0E37D228d78FB6f44397a36873ED71
+0xe1b45eec510c68ef25025e2f8fedf9ed826f857a
+0x7a93CE6810AE5387c02BFDa510540349c25C0c6A
+0xb17624bea67d0cf4378451301129df168aa0180e
+0x0E59958A48C11039F2b1D81a55c1e5e77EdF893C
+0xC3E34fe8464f1D54a08A862C8a977343807148aC
+0x324eBA6a72610B189c902ae6f80F2695D2a68a00
+0x05f4ee0125da5f256419e3a215b9a1805f32847d
+0x4854ebcffda23601c44107b5beabbb3e68e7443d
+0x031f06ba3f5a489253bbd414f07f3100105e9798
+0xaf752e93ccff8bf001f0336df07b3d90f342e6c0
+0x5b3328f1d5e760e83ca5a9803ebc373b46865193
+0xf70e41667854c1fa2f4584cdcbc24c34d3cd0a74
+0xabb54b2a3ad0f1920a82979569e1a6050f980e66
+0x0fc3152971714E5ed7723FAFa650F86A4BaF30C5
+0x673a408b58389b20d0a8b55fe29a01af0532fe4d
+0xe62eC0FD421Bc30Cd80C475cE74d7731993CF626
+0xaB7b985C3ADd7e1495ca1CAB72B998C8cf5dD3c5
+0x3280fA01acEfB68Ae78b53FD54385a61C4b76D95
+0x2f68823f0bc32e4cb4f19ef8d2941576c375e8b0
+0x8ddbb9558f1d51341df2400b9f91a68875473335
+0x7659D6CFD9F566e37C3835b14fDe6f4EbE9b7D8c
+0x4a8166509f3adbcd7eafbe94af511d7a6becc367
+0x7eeded897c41a2da4394c5bd91e78e7d7740701f