Role Based Access Control Benchmark Results from 2021‐02‐21 01:10:37

• Start Time: 2021-02-21 01:10:37 (+0100)
• End Time: 2021-02-21 03:35:38 (+0100)
• Contracts Analyzed: 149
• Total Functions Identified: 156

Configuration

Name	Value
Ithildin Version	0.2.7
Analysis Strategy	Roles
Compiler Target Version	^0.7.0
Execution Timeout	60 (sec)
Max Graph Depth	128
Random Seed	778777877
Sample Size	149
Verification Ratio	0.1
Filename	roles.csv
File SHA-256 Checksum	0ebba53d956b378965cc4d3d7c66ebd0e8c2f160b3e2b73c6209ac2dc5e79384

Statistics

Total TP, FP, TN, FN

Metric	Value
True Positives	17
False Positives	1
True Negatives	349
False Negatives	0
Unknown	5

Precision and Recall

Metric	Value
Precision	0.9444
Recall	1.0

Analyzed Contracts Table

Contract Address	Index	Compiler	Total Detections	TP	FP	TN	FN	UN	Verified
0xa8c8d0f563efc6228343df446a2c301e4af0849c	237	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0xf5dba3e8c78c69e5d133f73a2b077d2abced49c1	262	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0xc46dd9a270499d4dadc30377906575e589b1ce0f	639	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0xbe8908fb5cdfce597551430daf1d8a28a8fd7fd8	640	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0xbbfaf093193e7c9882aeefb441143e0d09758d0a	885	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x432a92cccb253e890b6765e5d368733a27a5df49	917	0.7.0	3	n/a	n/a	n/a	n/a	n/a
0xf6de2b6eab93d3a0aec5863e3190b319602a1e70	1271	0.7.4	10	n/a	n/a	n/a	n/a	n/a
0x39b9bf169a7e225ba037c443a40460c77438ea14	1732	0.7.0	1	0	1	10	0	0	✔️
0x20e0b7cde3b373900b8152c3d3db8a28b37ab7b7	2330	0.7.4	1	n/a	n/a	n/a	n/a	n/a
0x201850680b79bbeff4e00684248b237a77bded0c	2631	0.7.0	1	n/a	n/a	n/a	n/a	n/a
0xbde001c5700fd7a1c749440e11e9d10fdd3ad7cf	3326	0.7.0	0	0	0	45	0	0	✔️
0xd84d1a389fef0c9d5ebbd5b99ca80281f81dcfe5	4714	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0xcf5d62d406cb05e008eb48bbf2977f1161729d6e	5032	0.7.4	1	n/a	n/a	n/a	n/a	n/a
0xde551b2aeacf7960dace2dae8a5127de6f933088	5417	0.7.5	8	n/a	n/a	n/a	n/a	n/a
0x7d0ec34882e106b2a4865938aaf04d065c31c5a7	5657	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0xbccf6b2a96c2709dbc30b99dda335b5bb42c7650	6035	0.7.5	8	n/a	n/a	n/a	n/a	n/a
0xe0ba1564a889f0d2ba8ef4978027c1b072b56ebb	7323	0.7.3	1	n/a	n/a	n/a	n/a	n/a
0x8435bb4d0fc65fed92ccce4a568e5bb478f06ec3	7742	0.7.5	8	n/a	n/a	n/a	n/a	n/a
0xc9b386d35f4419e71f996754cfe12b22e9b6ec34	9686	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0xc46eb8b34b4ec15f0de68c24e4aca2cc7f0d2bb0	9720	0.7.1	0	n/a	n/a	n/a	n/a	n/a
0x5192621b865dec3e558624d85662be13d46053fa	10113	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0xc00cdb980b0e5fc2d1b52c63a3f190515ea0cf7e	10388	0.7.3	0	n/a	n/a	n/a	n/a	n/a
0x629b969632821e3e60b5669d684df8087350443f	10746	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0xd914317b28ed0d273b3d6044ad839ff926cba69d	11138	0.7.1	0	n/a	n/a	n/a	n/a	n/a
0xe91c47806d720a8c0a8a87473e6788d30eb1d8f0	11152	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x0c8dbfb40a324674ad26fe7aeccd4c654036aa82	12717	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x1f18e7a3d196c706ed0db545b77c0776b2d9e35d	12735	0.7.1	0	n/a	n/a	n/a	n/a	n/a
0x5c09385bc3ad649c3107491513b354d6ab916f2c	13183	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x6ea2025e2a571f95be5f413c239981f5daccd517	13201	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0xcec94ba8f7e4e7f1c851f7f775c9a9503a060fa4	13569	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0x08fe41fa6ce68ee5e1b423426d77c1d68772735d	13575	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0x69075ff4615661c1a17df45f254729bbc063cfc8	13624	0.7.0	1	n/a	n/a	n/a	n/a	n/a
0xed5f43902e07c99f2f19e53368ac3b6d50212d97	15231	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0x791fbbd970f0926e5acc4bcd5a4c59ae78b404dc	15576	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0xcc1a968ccf4ce8fb6001b1538f75d7964d1dcabd	15955	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0xe2779df83d0c75df4d2e6173af671adb5aa56ef6	15992	0.7.1	0	n/a	n/a	n/a	n/a	n/a
0x1b71b5820c871ffc6733bb7859866df05827dc94	16913	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x54afae861a1fc302b9fa49f1e26e16203f6cf76d	17678	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0xfdc63d3eb013bb2628dc66b2cfd8d23db8b0a15c	18008	0.7.5	7	n/a	n/a	n/a	n/a	n/a
0x4efa063ce441a35c0b92c5600a29b50678a9c17c	18011	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x3fb1c4767ee4a91fb349a6238b1005bdab5b84b3	18470	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x3d3b61092597523b06d1a51d158f4f63a4a3d4c0	18483	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x7f41e4311357c6aee87746620c3d17fe1d57a1f7	19055	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x50ce6dce1984e22b6109f407b018f0945cf859ea	19349	0.7.3	0	n/a	n/a	n/a	n/a	n/a
0x4b5087c5361bd1dfdc0adbe73d4f57674d222767	20023	0.7.2	1	n/a	n/a	n/a	n/a	n/a
0x72c1123c8e57d75fbf36478544b64cde0abe7f1b	21302	0.7.1	2	n/a	n/a	n/a	n/a	n/a
0xa74855652777afb6cf8b10a44c85d687b1d19d28	21946	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0x1b290c498ad2cd63a3fd90568b8c357adfe935c8	21960	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0x874e1b98eb3150530dc410bb1512f032aecf0a27	22243	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0xd75116e9e1738adbfe75b1bd78db6368776bbef8	22976	0.7.0	0	0	0	27	0	0	✔️
0x690c7bd8c042b2e04312b480be7738e15792bd14	23521	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0x70c0c4b44df24c2cedffc4998029d360c24fb5b9	23535	0.7.1	0	n/a	n/a	n/a	n/a	n/a
0xe5f6edf844268ee63febbdb6167f78141d59e289	23772	0.7.1	0	n/a	n/a	n/a	n/a	n/a
0xba4f7c7cd24384247e021ca7f4256007bba253fa	24540	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x6b0feaaf8b026ed233e2230e6ad28793e3fb868f	24868	0.7.5	1	n/a	n/a	n/a	n/a	n/a
0xbe1ed36b70039da7e7ccc2c179241f8de9bb92ab	24886	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0xc49bc54b3f84edfa2763ad72304e0097bad9cf63	25335	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0xfdcad438043fa4e2f930d9a5043dbbd824c3bfc9	26184	0.7.1	0	n/a	n/a	n/a	n/a	n/a
0x43d5c21bec2d27ea88a81f64a631d3a39fbc0977	26211	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0xc0dfa71d5055e452bf48e2b4b22bd09ce221b860	26219	0.7.1	0	0	0	19	0	0	✔️
0xe2bd4670da28e7c0d90f0c7ec41b79515893a4e3	26900	0.7.2	1	0	0	29	0	1	✔️
0xe27e62d953aa17ac0c63f9b091c5474c608b4e54	26905	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0x898bad2774eb97cf6b94605677f43b41871410b1	27247	0.7.5	0	0	0	27	0	0	✔️
0x2924ab10b6b94e7206f301fc044a0c85b7a1d4b3	27640	0.7.2	2	n/a	n/a	n/a	n/a	n/a
0xe50d169bb1d9890afdaa4dda7ce0d1b50a84d9a7	28191	0.7.5	7	n/a	n/a	n/a	n/a	n/a
0xa7c03d39082b54e8aac266fcf9a9b56d0892edff	28411	0.7.0	0	0	0	16	0	0	✔️
0x386cc01f5eb0c591a4851fabdf113bbe62916895	28854	0.7.0	1	n/a	n/a	n/a	n/a	n/a
0xbe23e67938d40f2a9e1672f2c99c0de3d079417e	29885	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x1b9c12ad71e78e880b313d8408803eefdd1079e2	30814	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x7d7c80e816f7743a7181da6def5adcaf34cb315b	31196	0.7.6	0	n/a	n/a	n/a	n/a	n/a
0x476aee47f14e281bc217728aaada7dd4ea097036	31863	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x6096ef5a1321e405edc63d40e9a4c190a7ef1b98	32281	0.7.1	2	n/a	n/a	n/a	n/a	n/a
0x27e77c8744f5707c623e758d7a3273d2c5e233d5	32874	0.7.5	8	n/a	n/a	n/a	n/a	n/a
0x43f7be29d70093c2ce6cc405f85f8ae44afcda10	33161	0.7.0	0	0	0	28	0	0	✔️
0x90658862455ef6dbbf226c5487e1c2a34c0a6c93	35284	0.7.0	1	n/a	n/a	n/a	n/a	n/a
0x929c60295b8ac2e5cbbe8160fa7027c610111146	35942	0.7.4	2	n/a	n/a	n/a	n/a	n/a
0x4af2ad82490ac67d57572364ea0bba52b825e227	36212	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0x23b93fbe01487f9980f3174e770edbeee1825367	36587	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0xe179f6bce666d9e9abc5226dfb6191f94ebbc374	37822	0.7.1	1	n/a	n/a	n/a	n/a	n/a
0x10660c596ab78c7fb0132edef107e43dbce059f0	37877	0.7.4	4	n/a	n/a	n/a	n/a	n/a
0x4391f29d3bca9a765beccc482574acf28a392b8d	37898	0.7.4	2	n/a	n/a	n/a	n/a	n/a
0x7efd0d656572c269aafa6e21b35c10ca9d5ba779	38935	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x0488a7b65e8a07db4642a1cbe75434b4c4524026	39339	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0x099f95b0694a0d808f7c6c46a621f4e5e5e36df5	39382	0.7.1	2	n/a	n/a	n/a	n/a	n/a
0xd7a2c5aaf050b3f8ecf4be79d036a429a1960df5	39918	0.7.6	0	n/a	n/a	n/a	n/a	n/a
0xeda6efe5556e134ef52f2f858aa1e81c84cda84b	40598	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0xc08a300385bc5ea31c983838824a6cdc4d8dac17	40630	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x7f6c2b43e12e54ea76cfa43abf3412bea61248ad	40644	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x87ef3b7e738de11a27be88cc25818182935b0e7a	40868	0.7.1	0	n/a	n/a	n/a	n/a	n/a
0xdec5c11d8b9fc565a9d9ffefb8eb536456a5cc85	40890	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x8c3f684c79c19518b8df3b86ea0b23905972d14e	41588	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0xb06f4541ff8286a21a5927eac3c504154c2f6def	41664	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x749826f1041caf0ea856a4b3578ba327b18335f8	43106	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x29e0dc941eff7c1c66d088bf146753e850d2b841	43536	0.7.5	1	n/a	n/a	n/a	n/a	n/a
0x98fcace32f551d62ba400e2cc6dacf33798b583a	44603	0.7.4	0	0	0	23	0	0	✔️
0x1c871f91dadd726dc67b04462d4c94de3c039c53	44628	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x1f74c829326fb20e6962933b31e4d475219deb4f	44629	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x7e95320d823799a6e571efd66875cbdcbd7d8e43	45590	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x3c87ad484a94f6441a19833bdaa5e1a0d820b559	45876	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x19b28198d993d3b0b1807c7bd46b4f0a4afd473d	45886	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0xfb3a7bfc0d54e9347e321242d1723809415f8fe4	45892	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0xc840c5876312979bb46e3728893ac7354ce335ed	45904	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0x7bd3e4492a69b6abe6b0d1ac5b8fd99d6d04b92a	45909	0.7.5	8	n/a	n/a	n/a	n/a	n/a
0xda60182b0d132019bf89ed6ef494130f6cfd95f1	46306	0.7.3	1	n/a	n/a	n/a	n/a	n/a
0x716bc4e8e3ddeb022e4d92ac8ed249badf54fff9	46925	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x2e6e152d29053b6337e434bc9be17504170f8a5b	47154	0.7.1	1	n/a	n/a	n/a	n/a	n/a
0xbdae3c1b2175a9794ecafb9afcd47690518e0449	47560	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0xbecdc0946f21550b418152de05bbcf49d30b92aa	49198	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0x5c367c1b2603ed166c62cec0e4d47e9d5dc1c073	50916	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x72665061d2548a502aeaf2e57bec8650c7db7a76	51428	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x9199ee7e7b1ea2800b5e2c69ad29b0d21c2b2a9f	51454	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0xdeadbee61d6474b74f5b59750dc1f27408c28635	52428	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0xe11cb7fd473a3dfbe91cf25e797d5a68371f133f	52781	0.7.5	8	n/a	n/a	n/a	n/a	n/a
0x8ee4b960a423cfd80eb916ce4df5f39369a55be8	53744	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0xb27d6b8df0be81a8acf6bbba1e88be09b806dae1	54459	0.7.5	8	6	0	22	0	2	✔️
0x00545e3efe358373e535191b994192d07022f668	55068	0.7.0	0	0	0	12	0	0	✔️
0xf1d113059517dbddd99ab9caffa76fc01f0557cd	56703	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0x18ec17156dac62fb1035553533eb07a92798e0b7	56714	0.7.5	1	n/a	n/a	n/a	n/a	n/a
0xe6ca0e2ca7bd6e5f21cd0df73ebca8d6934eb0ee	56938	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x72db941cdd8d68c768e38cb86326cd23c8047556	57310	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x7939366ec2ea9963afc20862fb1efcb2467f062e	57314	0.7.5	2	n/a	n/a	n/a	n/a	n/a
0x726f6b8822ce6353afc9030f57c08a3d3e8bc55c	58295	0.7.4	4	n/a	n/a	n/a	n/a	n/a
0x7ef548ee7ca0855b18cc5372bd9a34678da43658	58542	0.7.1	1	n/a	n/a	n/a	n/a	n/a
0x5eb5a156696b8fe3643da7900d6c0bbf5fd8920a	58969	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0x17bf67930732d061687d1673a36b483dcdd7d1cb	59190	0.7.0	0	0	0	25	0	0	✔️
0x5b09e578cfeaa23f1b11127a658855434e4f3e09	59601	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0xcf77b1cd3a5d5a1620077c303d05f4900a3230fe	59612	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x444b3917f08a0c7a39267b1ec2f46713c5492db2	61312	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0x50adb244abd37f05fa1a55587b2d563f0c45d8ec	61914	0.7.5	1	n/a	n/a	n/a	n/a	n/a
0x5d42f35e883df02cab500a1f1942c468f1c04656	61931	0.7.0	1	n/a	n/a	n/a	n/a	n/a
0x4d437b850f360a3d6176a7b8bea84b445df4dac6	61941	0.7.5	8	n/a	n/a	n/a	n/a	n/a
0x40764d433a5a924c279417fff4c10c3c8171457c	61946	0.7.5	8	6	0	22	0	2	✔️
0x047cd8e430f83ec7425dc4ae0dac0a095e5f770e	62271	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0xa5d0f70a07dad0c412d4e042aaec1c2a25ba1498	62951	0.7.4	0	0	0	31	0	0	✔️
0x2ef187d433d3d082fe37c490daaca21c0a16cc9c	64223	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0x535d7c2f4e7ade018547ef9dd0348dc84c3e09de	64224	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0x61266424b904d65ceb2945a1413ac322185187d5	66104	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0xc3a9810dc2ca1a01e9ab1bbe70d67605cbfb9486	66108	0.7.2	0	n/a	n/a	n/a	n/a	n/a
0x3ecabbc9f7aad28d454084ea9949339baa745b96	67702	0.7.1	0	n/a	n/a	n/a	n/a	n/a
0x00440cd01642fe9b6daf973001536ebdc28a1de1	68421	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0xfa8411cf1ccb93df20707ee3bbc051ce9b3171c5	68815	0.7.5	0	n/a	n/a	n/a	n/a	n/a
0x120f454a12aa09cab3b44d3259f57fc321f30d7b	68817	0.7.5	1	n/a	n/a	n/a	n/a	n/a
0x9f41bfb91541586581e5555e09436d99698d6cf8	69286	0.7.4	1	n/a	n/a	n/a	n/a	n/a
0x084d1c5b8bd81543b1ad303d208a9efe9f7cf82a	69829	0.7.0	4	n/a	n/a	n/a	n/a	n/a
0xbfb7b47d332db4acd120a4e8cb263e0d89c70430	71234	0.7.4	0	n/a	n/a	n/a	n/a	n/a
0xea6671c3d7039b008dff284fb272f27f829326f5	71725	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x2bee49faa6a4e755c9b2e026fcbb63b086cc9637	71782	0.7.0	0	n/a	n/a	n/a	n/a	n/a
0x7c2bb06d3e3aafcddaa30add3a939a8a0b31995a	72679	0.7.5	5	n/a	n/a	n/a	n/a	n/a
0x22b9138353f396d374108d1c0a9cbfa9366f89a3	73093	0.7.4	5	5	0	13	0	0	✔️