Study Statistics

benchmark: bZx

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 6255

# unique control flow: 49

=====================================

[' <0x1cf2-0x327ab639-start,0x1cf2-0x327ab639-end> ', ' <0x1cf2-0xb1eac3ad-start,0x1cf2-0xb1eac3ad-end> '] 3093

[' <0x1cf2-0x327ab639-start,0x1cf2-0x327ab639-end> ', ' <0x1cf2-0x8dca78c8-start,0x1cf2-0x8dca78c8-end> '] 860

[' <0x1cf2-0x327ab639-start,0x1cf2-0x327ab639-end> ', ' <0x1cf2-0x229e0b16-start,0x1cf2-0x229e0b16-end> ', ' <0x1cf2-0x95eb84c0-start,0x1cf2-0x95eb84c0-end> '] 516

[' <0x1cf2-0x327ab639-start,0x1cf2-0x327ab639-end> ', ' <0x1cf2-0x3ad97167-start,0x1cf2-0x3ad97167-end> '] 376

[' <0x1cf2-0x327ab639-start,0x1cf2-0x327ab639-end> ', ' <0x1cf2-0x8b851665-start,0x1cf2-0x8b851665-end> '] 224

[' <0x1cf2-0x473ac3ed-start,0x1cf2-0x473ac3ed-end> ', ' <0x1cf2-0xa1e93482-start,0x1cf2-0xa1e93482-end> '] 194

[' <0x1cf2-0x327ab639-start,0x1cf2-0x327ab639-end> ', ' <0x1cf2-0x327ab639-start,0x1cf2-0x327ab639-end> '] 182

[' <0x1cf2-0x7267ea86-start,0x1cf2-0x7267ea86-end> ', ' <0x1cf2-0xa1e93482-start,0x1cf2-0xa1e93482-end> '] 147

[' <0x1cf2-0x327ab639-start,0x1cf2-0x327ab639-end> ', ' <0x1cf2-0xb1eac3ad-start,0x1cf2-0xb1eac3ad-end> ', ' <0x1cf2-0xb1eac3ad-start,0x1cf2-0xb1eac3ad-end> '] 114

[' <0x1cf2-0x327ab639-start,0x1cf2-0x327ab639-end> ', ' <0x1cf2-0x6826bad9-start,0x1cf2-0x6826bad9-end> '] 96

benchmark: Warp

hack CF: [' <0x13db-0xf0c3c06b-start,0x13db-0xf0c3c06b-end> ', ' <0xba53-0x0a555989-start,0xba53-0x0a555989-end> ', ' <0xba53-0x0a555989-start,0xba53-0x0a555989-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 1

# unique control flow: 1

=====================================

[' <0x13db-0xf0c3c06b-start,0x13db-0xf0c3c06b-end> ', ' <0xba53-0x0a555989-start,0xba53-0x0a555989-end> ', ' <0xba53-0x0a555989-start,0xba53-0x0a555989-end> '] 1

benchmark: CheeseBank

hack CF: [' <0xde22-0xc2998238-start,0xde22-0xc2998238-end> ', ' <0x7e49-0xa0712d68-start,0x7e49-0xa0712d68-end> ', ' <0x833e-0xceb2cff1-start,0x833e-0xceb2cff1-end> ', ' <0x5e18-0xc5ebeaec-start,0x5e18-0xc5ebeaec-end> ', ' <0x4c2a-0xc5ebeaec-start,0x4c2a-0xc5ebeaec-end> ', ' <0xa80e-0xc5ebeaec-start,0xa80e-0xc5ebeaec-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 1

# unique control flow: 1

=====================================

[' <0xde22-0xc2998238-start,0xde22-0xc2998238-end> ', ' <0x7e49-0xa0712d68-start,0x7e49-0xa0712d68-end> ', ' <0x833e-0xceb2cff1-start,0x833e-0xceb2cff1-end> ', ' <0x5e18-0xc5ebeaec-start,0x5e18-0xc5ebeaec-end> ', ' <0x4c2a-0xc5ebeaec-start,0x4c2a-0xc5ebeaec-end> ', ' <0xa80e-0xc5ebeaec-start,0xa80e-0xc5ebeaec-end> '] 1

benchmark: InverseFi

hack CF: [' <0x1637-0xa0712d68-start,0x1637-0xa0712d68-end> ', ' <0x7fcb-0xc5ebeaec-start,0x7fcb-0xc5ebeaec-end> ', ' <0x697b-0xc5ebeaec-start,0x697b-0xc5ebeaec-end> ', ' <0x1778-0xc5ebeaec-start,0x1778-0xc5ebeaec-end> ', ' <0xde2a-0xc5ebeaec-start,0xde2a-0xc5ebeaec-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 765

# unique control flow: 73

=====================================

[' <0x7fcb-0xf5e3c462-start,0x7fcb-0xf5e3c462-end> ', ' <0x4dcf-0xeabe7d91-start,0x4dcf-0xeabe7d91-end> '] 122

[' <0x697b-0x17bfdfbc-start,0x697b-0x17bfdfbc-end> ', ' <0x697b-0xe5974619-start,0x697b-0xe5974619-end> '] 97

[' <0x41d5-0xc3cda520-start,0x41d5-0xc3cda520-end> ', ' <0x1637-0x1e756d0f-start,0x1637-0x1e756d0f-end> '] 74

[' <0x7fcb-0x3af9e669-start,0x7fcb-0x3af9e669-end> ', ' <0x7fcb-0x852a12e3-start,0x7fcb-0x852a12e3-end> '] 62

[' <0x7fcb-0x852a12e3-start,0x7fcb-0x852a12e3-end> ', ' <0x8653-0x42966c68-start,0x8653-0x42966c68-end> '] 60

[' <0x697b-0xaae40a2a-start,0x697b-0xaae40a2a-end> ', ' <0x4dcf-0xeabe7d91-start,0x4dcf-0xeabe7d91-end> '] 55

[' <0x8653-0x40c10f19-start,0x8653-0x40c10f19-end> ', ' <0x7fcb-0xa0712d68-start,0x7fcb-0xa0712d68-end> '] 54

[' <0x41d5-0xc3cda520-start,0x41d5-0xc3cda520-end> ', ' <0x41d5-0xc3cda520-start,0x41d5-0xc3cda520-end> '] 30

[' <0x41d5-0xc3cda520-start,0x41d5-0xc3cda520-end> ', ' <0x41d5-0xc3cda520-start,0x41d5-0xc3cda520-end> ', ' <0x41d5-0xc3cda520-start,0x41d5-0xc3cda520-end> '] 28

[' <0x7fcb-0xf5e3c462-start,0x7fcb-0xf5e3c462-end> ', ' <0x697b-0xdb006a75-start,0x697b-0xdb006a75-end> '] 19

benchmark: CreamFi1

hack CF: [' <0xd065-0x1249c58b-start,0xd065-0x1249c58b-end> ', ' <0x3d5b-0xc2998238-start,0x3d5b-0xc2998238-end> ', ' <0x2db6-0xc5ebeaec-start,0x2db6-0xc5ebeaec-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 7057

# unique control flow: 121

=====================================

[' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> ', ' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> '] 4027

[' <0x3d5b-0x24008a62-start,0x3d5b-0x24008a62-end> ', ' <0x3d5b-0xd02f7351-start,0x3d5b-0xd02f7351-end> ', ' <0x3d5b-0xeabe7d91-start,0x3d5b-0xeabe7d91-end> '] 1276

[' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> ', ' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> ', ' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> ', ' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> ', ' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> ', ' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> '] 244

[' <0x3d5b-0x24008a62-start,0x3d5b-0x24008a62-end> ', ' <0x3d5b-0xd02f7351-start,0x3d5b-0xd02f7351-end> '] 209

[' <0xd065-0xa6afed95-start,0xd065-0xa6afed95-end> ', ' <0x3d5b-0x24008a62-start,0x3d5b-0x24008a62-end> ', ' <0xd065-0xb2a02ff1-start,0xd065-0xb2a02ff1-end> ', ' <0xd065-0xdb006a75-start,0xd065-0xdb006a75-end> '] 185

[' <0x3d5b-0x24008a62-start,0x3d5b-0x24008a62-end> ', ' <0x3d5b-0xd02f7351-start,0x3d5b-0xd02f7351-end> ', ' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> '] 138

[' <0xd065-0xaae40a2a-start,0xd065-0xaae40a2a-end> ', ' <0x3d5b-0xeabe7d91-start,0x3d5b-0xeabe7d91-end> '] 126

[' <0xd065-0x17bfdfbc-start,0xd065-0x17bfdfbc-end> ', ' <0xd065-0xe5974619-start,0xd065-0xe5974619-end> '] 80

[' <0x3d5b-0x4ef4c3e1-start,0x3d5b-0x4ef4c3e1-end> ', ' <0x3d5b-0x4ef4c3e1-start,0x3d5b-0x4ef4c3e1-end> ', ' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> ', ' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> '] 70

[' <0x3d5b-0x4ef4c3e1-start,0x3d5b-0x4ef4c3e1-end> ', ' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> '] 55

benchmark: CreamFi2

hack CF: [' <0x4baa-0xa0712d68-start,0x4baa-0xa0712d68-end> ', ' <0x3d5b-0xc2998238-start,0x3d5b-0xc2998238-end> ', ' <0xd065-0x1249c58b-start,0xd065-0x1249c58b-end> ', ' <0x3d5b-0xc2998238-start,0x3d5b-0xc2998238-end> ', ' <0x4baa-0xc5ebeaec-start,0x4baa-0xc5ebeaec-end> ', ' <0x4baa-0xa0712d68-start,0x4baa-0xa0712d68-end> ', ' <0x4baa-0xc5ebeaec-start,0x4baa-0xc5ebeaec-end> ', ' <0x4baa-0xa0712d68-start,0x4baa-0xa0712d68-end> ', ' <0x4baa-0xc5ebeaec-start,0x4baa-0xc5ebeaec-end> ', ' <0xd065-0xc5ebeaec-start,0xd065-0xc5ebeaec-end> ', ' <0xfd60-0xc5ebeaec-start,0xfd60-0xc5ebeaec-end> ', ' <0x2286-0xc5ebeaec-start,0x2286-0xc5ebeaec-end> ', ' <0xeff0-0xc5ebeaec-start,0xeff0-0xc5ebeaec-end> ', ' <0x299e-0xc5ebeaec-start,0x299e-0xc5ebeaec-end> ', ' <0x8379-0xc5ebeaec-start,0x8379-0xc5ebeaec-end> ', ' <0x2a53-0xc5ebeaec-start,0x2a53-0xc5ebeaec-end> ', ' <0xe89a-0xc5ebeaec-start,0xe89a-0xc5ebeaec-end> ', ' <0x44fb-0xc5ebeaec-start,0x44fb-0xc5ebeaec-end> ', ' <0x8c3b-0xc5ebeaec-start,0x8c3b-0xc5ebeaec-end> ', ' <0x797a-0xc5ebeaec-start,0x797a-0xc5ebeaec-end> ', ' <0x1f9b-0xc5ebeaec-start,0x1f9b-0xc5ebeaec-end> ', ' <0x523e-0xc5ebeaec-start,0x523e-0xc5ebeaec-end> ', ' <0x10fd-0xc5ebeaec-start,0x10fd-0xc5ebeaec-end> ', ' <0x4112-0xc5ebeaec-start,0x4112-0xc5ebeaec-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 6577

# unique control flow: 273

=====================================

[' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> ', ' <0x3d5b-0xbdcdc258-start,0x3d5b-0xbdcdc258-end> '] 3012

[' <0x3d5b-0x24008a62-start,0x3d5b-0x24008a62-end> ', ' <0x3d5b-0xd02f7351-start,0x3d5b-0xd02f7351-end> ', ' <0x3d5b-0xeabe7d91-start,0x3d5b-0xeabe7d91-end> '] 434

[' <0x44fb-0xf5e3c462-start,0x44fb-0xf5e3c462-end> ', ' <0x3d5b-0xeabe7d91-start,0x3d5b-0xeabe7d91-end> '] 432

[' <0x797a-0xf5e3c462-start,0x797a-0xf5e3c462-end> ', ' <0x3d5b-0xeabe7d91-start,0x3d5b-0xeabe7d91-end> '] 134

[' <0x44fb-0xbd6d894d-start,0x44fb-0xbd6d894d-end> ', ' <0x44fb-0xa0712d68-start,0x44fb-0xa0712d68-end> '] 113

[' <0xd065-0xaae40a2a-start,0xd065-0xaae40a2a-end> ', ' <0x3d5b-0xeabe7d91-start,0x3d5b-0xeabe7d91-end> '] 110

[' <0xd065-0x17bfdfbc-start,0xd065-0x17bfdfbc-end> ', ' <0xd065-0xe5974619-start,0xd065-0xe5974619-end> '] 100

[' <0x44fb-0xa6afed95-start,0x44fb-0xa6afed95-end> ', ' <0x3d5b-0x24008a62-start,0x3d5b-0x24008a62-end> ', ' <0x44fb-0xb2a02ff1-start,0x44fb-0xb2a02ff1-end> ', ' <0x44fb-0xdb006a75-start,0x44fb-0xdb006a75-end> '] 93

benchmark: RariCapital1

hack CF: [' <0xd6e1-0xd0e30db0-start,0xd6e1-0xd0e30db0-end> ', ' <0xd6e1-0x2e1a7d4d-start,0xd6e1-0x2e1a7d4d-end> ', ' <0xd6e1-0x70a08231-start,0xd6e1-0x70a08231-end> ', ' <0xd6e1-0x2e1a7d4d-start,0xd6e1-0x2e1a7d4d-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 2012

# unique control flow: 13

=====================================

[' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> ', ' <0x9c0c-0x47358882-start,0x9c0c-0x47358882-end> '] 1240

[' <0x9c0c-0xce991b60-start,0x9c0c-0xce991b60-end> ', ' <0x9c0c-0x47358882-start,0x9c0c-0x47358882-end> '] 641

[' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> ', ' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> '] 75

[' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> ', ' <0x9c0c-0xce991b60-start,0x9c0c-0xce991b60-end> '] 22

[' <0xd6e1-0xdae9e379-start,0xd6e1-0xdae9e379-end> ', ' <0xd6e1-0x2e1a7d4d-start,0xd6e1-0x2e1a7d4d-end> '] 13

[' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> ', ' <0x9c0c-0x47358882-start,0x9c0c-0x47358882-end> ', ' <0x9c0c-0x47358882-start,0x9c0c-0x47358882-end> '] 11

[' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> ', ' <0x9c0c-0xce991b60-start,0x9c0c-0xce991b60-end> ', ' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> '] 2

[' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> ', ' <0x9c0c-0xce991b60-start,0x9c0c-0xce991b60-end> ', ' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> ', ' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> '] 2

[' <0xd6e1-0xd0e30db0-start,0xd6e1-0xd0e30db0-end> ', ' <0xd6e1-0xd0e30db0-start,0xd6e1-0xd0e30db0-end> '] 2

[' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> ', ' <0x9c0c-0xce991b60-start,0x9c0c-0xce991b60-end> ', ' <0x9c0c-0xce991b60-start,0x9c0c-0xce991b60-end> ', ' <0x9c0c-0xbdfb1303-start,0x9c0c-0xbdfb1303-end> '] 1

benchmark: RariCapital2

hack CF: [' <0x3f2d-0xc2998238-start,0x3f2d-0xc2998238-end> ', ' <0xebe0-0xa6afed95-start,0xebe0-0xa6afed95-end> ', ' <0xebe0-0xa0712d68-start,0xebe0-0xa0712d68-end> ', ' <0x2626-0xc5ebeaec-start,0x2626-0xc5ebeaec-end> ', ' <0xebe0-0x852a12e3-start,0xebe0-0x852a12e3-end> ', ' <0x2626-0x1249c58b-start,0x2626-0x1249c58b-end> ', ' <0x3f2d-0xc2998238-start,0x3f2d-0xc2998238-end> ', ' <0xebe0-0xc5ebeaec-start,0xebe0-0xc5ebeaec-end> ', ' <0xe097-0xc5ebeaec-start,0xe097-0xc5ebeaec-end> ', ' <0x8922-0xc5ebeaec-start,0x8922-0xc5ebeaec-end> ', ' <0x3f2d-0xc2998238-start,0x3f2d-0xc2998238-end> ', ' <0xebe0-0xa0712d68-start,0xebe0-0xa0712d68-end> ', ' <0x2626-0xc5ebeaec-start,0x2626-0xc5ebeaec-end> ', ' <0xebe0-0x852a12e3-start,0xebe0-0x852a12e3-end> ', ' <0x2626-0x852a12e3-start,0x2626-0x852a12e3-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 1176

# unique control flow: 27

=====================================

[' <0x3f2d-0xc90c20b1-start,0x3f2d-0xc90c20b1-end> ', ' <0x3f2d-0x632e5142-start,0x3f2d-0x632e5142-end> '] 462

[' <0x3f2d-0xc90c20b1-start,0x3f2d-0xc90c20b1-end> ', ' <0x3f2d-0x41c728b9-start,0x3f2d-0x41c728b9-end> ', ' <0x3f2d-0x632e5142-start,0x3f2d-0x632e5142-end> '] 243

[' <0x3f2d-0xc90c20b1-start,0x3f2d-0xc90c20b1-end> ', ' <0x3f2d-0x4ef4c3e1-start,0x3f2d-0x4ef4c3e1-end> ', ' <0x3f2d-0x41c728b9-start,0x3f2d-0x41c728b9-end> ', ' <0x3f2d-0x632e5142-start,0x3f2d-0x632e5142-end> '] 222

[' <0x3f2d-0xc90c20b1-start,0x3f2d-0xc90c20b1-end> ', ' <0x3f2d-0xeabe7d91-start,0x3f2d-0xeabe7d91-end> ', ' <0x3f2d-0x632e5142-start,0x3f2d-0x632e5142-end> '] 99

[' <0x3f2d-0xc90c20b1-start,0x3f2d-0xc90c20b1-end> ', ' <0x3f2d-0xda3d454c-start,0x3f2d-0xda3d454c-end> ', ' <0x3f2d-0x632e5142-start,0x3f2d-0x632e5142-end> '] 72

[' <0x3f2d-0xc90c20b1-start,0x3f2d-0xc90c20b1-end> ', ' <0x3f2d-0xd02f7351-start,0x3f2d-0xd02f7351-end> ', ' <0x3f2d-0x632e5142-start,0x3f2d-0x632e5142-end> ', ' <0x3f2d-0xc90c20b1-start,0x3f2d-0xc90c20b1-end> ', ' <0x3f2d-0xeabe7d91-start,0x3f2d-0xeabe7d91-end> ', ' <0x3f2d-0x632e5142-start,0x3f2d-0x632e5142-end> '] 24

[' <0x8922-0xf5e3c462-start,0x8922-0xf5e3c462-end> ', ' <0x3f2d-0xc90c20b1-start,0x3f2d-0xc90c20b1-end> ', ' <0x3f2d-0x632e5142-start,0x3f2d-0x632e5142-end> '] 8

[' <0xa731-0x8754e4fd-start,0xa731-0x8754e4fd-end> ', ' <0xa731-0x8754e4fd-start,0xa731-0x8754e4fd-end> '] 5

[' <0x3f2d-0xc90c20b1-start,0x3f2d-0xc90c20b1-end> ', ' <0xebe0-0xa6afed95-start,0xebe0-0xa6afed95-end> ', ' <0xebe0-0xb2a02ff1-start,0xebe0-0xb2a02ff1-end> ', ' <0x3f2d-0x632e5142-start,0x3f2d-0x632e5142-end> ', ' <0xebe0-0xdb006a75-start,0xebe0-0xdb006a75-end> '] 5

[' <0xfea4-0xef5cfb8c-start,0xfea4-0xef5cfb8c-end> ', ' <0x3f2d-0xc90c20b1-start,0x3f2d-0xc90c20b1-end> ', ' <0x3f2d-0xeabe7d91-start,0x3f2d-0xeabe7d91-end> ', ' <0x3f2d-0x632e5142-start,0x3f2d-0x632e5142-end> ', ' <0x3f2d-0xc90c20b1-start,0x3f2d-0xc90c20b1-end> ', ' <0x3f2d-0x4ef4c3e1-start,0x3f2d-0x4ef4c3e1-end> ', ' <0x3f2d-0x41c728b9-start,0x3f2d-0x41c728b9-end> ', ' <0x3f2d-0x632e5142-start,0x3f2d-0x632e5142-end> '] 5

benchmark: XCarnival

hack CF: [' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 16

# unique control flow: 3

=====================================

[' <0xb14b-0xe3333ae9-start,0xb14b-0xe3333ae9-end> ', ' <0xb14b-0x023245d7-start,0xb14b-0x023245d7-end> ', ' <0xb14b-0xe3333ae9-start,0xb14b-0xe3333ae9-end> ', ' <0xb14b-0x023245d7-start,0xb14b-0x023245d7-end> ', ' <0xb14b-0xe3333ae9-start,0xb14b-0xe3333ae9-end> ', ' <0xb14b-0x023245d7-start,0xb14b-0x023245d7-end> ', ' <0xb14b-0xe3333ae9-start,0xb14b-0xe3333ae9-end> ', ' <0xb14b-0x023245d7-start,0xb14b-0x023245d7-end> '] 14

[' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> ', ' <0xb387-0x0c28d13e-start,0xb387-0x0c28d13e-end> '] 1

benchmark: Harvest

hack CF: [' <0x053c-0xb6b55f25-start,0x053c-0xb6b55f25-end> ', ' <0x053c-0x2e1a7d4d-start,0x053c-0x2e1a7d4d-end> ', ' <0x053c-0xb6b55f25-start,0x053c-0xb6b55f25-end> ', ' <0x053c-0x2e1a7d4d-start,0x053c-0x2e1a7d4d-end> ', ' <0x053c-0xb6b55f25-start,0x053c-0xb6b55f25-end> ', ' <0x053c-0x2e1a7d4d-start,0x053c-0x2e1a7d4d-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 461

# unique control flow: 9

=====================================

[' <0xf2b2-0x2e1a7d4d-start,0xf2b2-0x2e1a7d4d-end> ', ' <0xf2b2-0xb6b55f25-start,0xf2b2-0xb6b55f25-end> '] 370

[' <0xf035-0x36efd16f-start,0xf035-0x36efd16f-end> ', ' <0x053c-0x36efd16f-start,0x053c-0x36efd16f-end> '] 35

[' <0x2224-0x0af210a1-start,0x2224-0x0af210a1-end> ', ' <0x2224-0x0af210a1-start,0x2224-0x0af210a1-end> ', ' <0x2224-0x0af210a1-start,0x2224-0x0af210a1-end> '] 33

[' <0xf035-0xb6b55f25-start,0xf035-0xb6b55f25-end> ', ' <0xf035-0x2e1a7d4d-start,0xf035-0x2e1a7d4d-end> ', ' <0xf035-0xb6b55f25-start,0xf035-0xb6b55f25-end> ', ' <0xf035-0x2e1a7d4d-start,0xf035-0x2e1a7d4d-end> ', ' <0xf035-0xb6b55f25-start,0xf035-0xb6b55f25-end> ', ' <0xf035-0x2e1a7d4d-start,0xf035-0x2e1a7d4d-end> '] 17

[' <0x2224-0x0af210a1-start,0x2224-0x0af210a1-end> ', ' <0x2224-0x0af210a1-start,0x2224-0x0af210a1-end> '] 2

[' <0x2224-0x0af210a1-start,0x2224-0x0af210a1-end> ', ' <0x2224-0x0af210a1-start,0x2224-0x0af210a1-end> ', ' <0x2224-0x0af210a1-start,0x2224-0x0af210a1-end> ', ' <0x2224-0x0af210a1-start,0x2224-0x0af210a1-end> '] 1

[' <0xf2b2-0x2e1a7d4d-start,0xf2b2-0x2e1a7d4d-end> ', ' <0x053c-0xb6b55f25-start,0x053c-0xb6b55f25-end> ', ' <0x053c-0xa5b1a24d-start,0x053c-0xa5b1a24d-end> ', ' <0x053c-0x4fa5d854-start,0x053c-0x4fa5d854-end> ', ' <0x053c-0x9137c1a7-start,0x053c-0x9137c1a7-end> '] 1

[' <0xf2b2-0x2e1a7d4d-start,0xf2b2-0x2e1a7d4d-end> ', ' <0xf035-0xb6b55f25-start,0xf035-0xb6b55f25-end> ', ' <0xf035-0xa5b1a24d-start,0xf035-0xa5b1a24d-end> ', ' <0xf035-0x4fa5d854-start,0xf035-0x4fa5d854-end> ', ' <0xf035-0x9137c1a7-start,0xf035-0x9137c1a7-end> '] 1

[' <0x053c-0xb6b55f25-start,0x053c-0xb6b55f25-end> ', ' <0x053c-0x2e1a7d4d-start,0x053c-0x2e1a7d4d-end> ', ' <0x053c-0xb6b55f25-start,0x053c-0xb6b55f25-end> ', ' <0x053c-0x2e1a7d4d-start,0x053c-0x2e1a7d4d-end> ', ' <0x053c-0xb6b55f25-start,0x053c-0xb6b55f25-end> ', ' <0x053c-0x2e1a7d4d-start,0x053c-0x2e1a7d4d-end> '] 1

benchmark: ValueDeFi

hack CF: [' <0x8764-0x341cd53a-start,0x8764-0x341cd53a-end> ', ' <0x55bf-0x39bb96a8-start,0x55bf-0x39bb96a8-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 1

# unique control flow: 1

=====================================

[' <0x8764-0x341cd53a-start,0x8764-0x341cd53a-end> ', ' <0x55bf-0x39bb96a8-start,0x55bf-0x39bb96a8-end> '] 1

benchmark: Yearn

hack CF: [' <0xacd4-0xb6b55f25-start,0xacd4-0xb6b55f25-end> ', ' <0xacd4-0xd389800f-start,0xacd4-0xd389800f-end> ', ' <0xacd4-0x2e1a7d4d-start,0xacd4-0x2e1a7d4d-end> ', ' <0xacd4-0xb6b55f25-start,0xacd4-0xb6b55f25-end> ', ' <0xacd4-0xd389800f-start,0xacd4-0xd389800f-end> ', ' <0xacd4-0x2e1a7d4d-start,0xacd4-0x2e1a7d4d-end> ', ' <0xacd4-0xb6b55f25-start,0xacd4-0xb6b55f25-end> ', ' <0xacd4-0xd389800f-start,0xacd4-0xd389800f-end> ', ' <0xacd4-0x2e1a7d4d-start,0xacd4-0x2e1a7d4d-end> ', ' <0xacd4-0xb6b55f25-start,0xacd4-0xb6b55f25-end> ', ' <0xacd4-0xd389800f-start,0xacd4-0xd389800f-end> ', ' <0xacd4-0x2e1a7d4d-start,0xacd4-0x2e1a7d4d-end> ', ' <0xacd4-0xb6b55f25-start,0xacd4-0xb6b55f25-end> ', ' <0xacd4-0xd389800f-start,0xacd4-0xd389800f-end> ', ' <0xacd4-0x2e1a7d4d-start,0xacd4-0x2e1a7d4d-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 800

# unique control flow: 38

=====================================

[' <0xf147-0xb61d27f6-start,0xf147-0xb61d27f6-end> ', ' <0xf147-0xb61d27f6-start,0xf147-0xb61d27f6-end> ', ' <0xf147-0xb61d27f6-start,0xf147-0xb61d27f6-end> ', ' <0xf147-0xb61d27f6-start,0xf147-0xb61d27f6-end> ', ' <0xf147-0xb61d27f6-start,0xf147-0xb61d27f6-end> ', ' <0xf147-0x15456eba-start,0xf147-0x15456eba-end> '] 486

[' <0xacd4-0x2e1a7d4d-start,0xacd4-0x2e1a7d4d-end> ', ' <0xacd4-0xde5f6268-start,0xacd4-0xde5f6268-end> '] 96

[' <0x9a3a-0x1e83409a-start,0x9a3a-0x1e83409a-end> ', ' <0x9a3a-0x1e83409a-start,0x9a3a-0x1e83409a-end> '] 47

[' <0x9a3a-0x0e5c011e-start,0x9a3a-0x0e5c011e-end> ', ' <0x9a3a-0xf9609f08-start,0x9a3a-0xf9609f08-end> ', ' <0x9a3a-0xf83d08ba-start,0x9a3a-0xf83d08ba-end> '] 25

[' <0x9e65-0xf3fef3a3-start,0x9e65-0xf3fef3a3-end> ', ' <0x9e65-0xf3fef3a3-start,0x9e65-0xf3fef3a3-end> '] 14

[' <0xf147-0xb61d27f6-start,0xf147-0xb61d27f6-end> ', ' <0xf147-0xb61d27f6-start,0xf147-0xb61d27f6-end> ', ' <0xf147-0xb61d27f6-start,0xf147-0xb61d27f6-end> '] 12

[' <0x9e65-0x714ccf7b-start,0x9e65-0x714ccf7b-end> ', ' <0x9e65-0xc494448e-start,0x9e65-0xc494448e-end> ', ' <0x9e65-0x72cb5d97-start,0x9e65-0x72cb5d97-end> ', ' <0x9a3a-0xc494448e-start,0x9a3a-0xc494448e-end> '] 11

[' <0x9a3a-0x1e83409a-start,0x9a3a-0x1e83409a-end> ', ' <0x9a3a-0xf83d08ba-start,0x9a3a-0xf83d08ba-end> '] 9

[' <0xf147-0xb61d27f6-start,0xf147-0xb61d27f6-end> ', ' <0xf147-0xb61d27f6-start,0xf147-0xb61d27f6-end> '] 7

benchmark: VisorFi

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 0

# unique control flow: 0

=====================================

benchmark: UmbrellaNetwork

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 0

# unique control flow: 0

=====================================

benchmark: PickleFi

hack CF: [' <0xcd89-0x9c4b8163-start,0xcd89-0x9c4b8163-end> ', ' <0x6847-0xff3f1869-start,0x6847-0xff3f1869-end> ', ' <0x6949-0xd389800f-start,0x6949-0xd389800f-end> ', ' <0x6949-0xd389800f-start,0x6949-0xd389800f-end> ', ' <0x6949-0xd389800f-start,0x6949-0xd389800f-end> ', ' <0x6847-0xff3f1869-start,0x6847-0xff3f1869-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 2

# unique control flow: 2

=====================================

[' <0x6949-0x853828b6-start,0x6949-0x853828b6-end> ', ' <0x6949-0xb6b55f25-start,0x6949-0xb6b55f25-end> '] 1

[' <0xcd89-0x9c4b8163-start,0xcd89-0x9c4b8163-end> ', ' <0x6847-0xff3f1869-start,0x6847-0xff3f1869-end> ', ' <0x6949-0xd389800f-start,0x6949-0xd389800f-end> ', ' <0x6949-0xd389800f-start,0x6949-0xd389800f-end> ', ' <0x6949-0xd389800f-start,0x6949-0xd389800f-end> ', ' <0x6847-0xff3f1869-start,0x6847-0xff3f1869-end> '] 1

benchmark: Eminence

hack CF: [' <0x5ade-0xd6febde8-start,0x5ade-0xd6febde8-end> ', ' <0xc08f-0xd6febde8-start,0xc08f-0xd6febde8-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> ', ' <0xc08f-0xd79875eb-start,0xc08f-0xd79875eb-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> ', ' <0x5ade-0xd6febde8-start,0x5ade-0xd6febde8-end> ', ' <0xc08f-0xd6febde8-start,0xc08f-0xd6febde8-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> ', ' <0xc08f-0xd79875eb-start,0xc08f-0xd79875eb-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> ', ' <0x5ade-0xd6febde8-start,0x5ade-0xd6febde8-end> ', ' <0xc08f-0xd6febde8-start,0xc08f-0xd6febde8-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> ', ' <0xc08f-0xd79875eb-start,0xc08f-0xd79875eb-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 1

# unique control flow: 1

=====================================

[' <0x5ade-0xd6febde8-start,0x5ade-0xd6febde8-end> ', ' <0xc08f-0xd6febde8-start,0xc08f-0xd6febde8-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> ', ' <0xc08f-0xd79875eb-start,0xc08f-0xd79875eb-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> ', ' <0x5ade-0xd6febde8-start,0x5ade-0xd6febde8-end> ', ' <0xc08f-0xd6febde8-start,0xc08f-0xd6febde8-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> ', ' <0xc08f-0xd79875eb-start,0xc08f-0xd79875eb-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> ', ' <0x5ade-0xd6febde8-start,0x5ade-0xd6febde8-end> ', ' <0xc08f-0xd6febde8-start,0xc08f-0xd6febde8-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> ', ' <0xc08f-0xd79875eb-start,0xc08f-0xd79875eb-end> ', ' <0x5ade-0xd79875eb-start,0x5ade-0xd79875eb-end> '] 1

benchmark: Opyn

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 1

# unique control flow: 1

=====================================

[' <0x951d-constructor-start,0x951d-constructor-end> ', ' <0x951d-0xf2fde38b-start,0x951d-0xf2fde38b-end> '] 1

benchmark: IndexFi

hack CF: [' <0xf00a-0x50b1e342-start,0xf00a-0x50b1e342-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xf00a-0x034b904e-start,0xf00a-0x034b904e-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x8c28cbe8-start,0xfa6d-0x8c28cbe8-end> ', ' <0xfa6d-0xb02f0b73-start,0xfa6d-0xb02f0b73-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0xb02f0b73-start,0xfa6d-0xb02f0b73-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0xb02f0b73-start,0xfa6d-0xb02f0b73-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 5

# unique control flow: 5

=====================================

[' <0xf00a-0x00000000-start,0xf00a-0x00000000-end> ', ' <0xffde-0x00000000-start,0xffde-0x00000000-end> ', ' <0xf00a-0xc6acb34f-start,0xf00a-0xc6acb34f-end> ', ' <0xf00a-0xc6acb34f-start,0xf00a-0xc6acb34f-end> ', ' <0xf00a-0xc6acb34f-start,0xf00a-0xc6acb34f-end> ', ' <0xf00a-0xc6acb34f-start,0xf00a-0xc6acb34f-end> '] 1

[' <0xf00a-0x6696bf11-start,0xf00a-0x6696bf11-end> ', ' <0xf00a-0x6b5b8808-start,0xf00a-0x6b5b8808-end> ', ' <0xf00a-0xb25f86f9-start,0xf00a-0xb25f86f9-end> ', ' <0xf00a-0x74a58783-start,0xf00a-0x74a58783-end> '] 1

[' <0xf00a-0x00000000-start,0xf00a-0x00000000-end> ', ' <0xffde-0x00000000-start,0xffde-0x00000000-end> ', ' <0xf00a-0x351ad28f-start,0xf00a-0x351ad28f-end> ', ' <0xf00a-0xf34e8618-start,0xf00a-0xf34e8618-end> ', ' <0xf00a-0x0255b1de-start,0xf00a-0x0255b1de-end> '] 1

[' <0xf00a-0x57016b0a-start,0xf00a-0x57016b0a-end> ', ' <0xf00a-0x57016b0a-start,0xf00a-0x57016b0a-end> '] 1

[' <0xf00a-0x50b1e342-start,0xf00a-0x50b1e342-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xfa6d-0x8201aa3f-start,0xfa6d-0x8201aa3f-end> ', ' <0xf00a-0x034b904e-start,0xf00a-0x034b904e-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x8c28cbe8-start,0xfa6d-0x8c28cbe8-end> ', ' <0xfa6d-0xb02f0b73-start,0xfa6d-0xb02f0b73-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0xb02f0b73-start,0xfa6d-0xb02f0b73-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0x5db34277-start,0xfa6d-0x5db34277-end> ', ' <0xfa6d-0xb02f0b73-start,0xfa6d-0xb02f0b73-end> '] 1

benchmark: RevestFi

hack CF: [' <0x2320-0x02e236bc-start,0x2320-0x02e236bc-end> ', ' <0x2320-0x02e236bc-start,0x2320-0x02e236bc-end> ', ' <0x2320-0xf2465f09-start,0x2320-0xf2465f09-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 22

# unique control flow: 6

=====================================

[' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> ', ' <0xa81b-0x3c8b3b62-start,0xa81b-0x3c8b3b62-end> '] 5

[' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> ', ' <0x2261-0xdd6aa4cf-start,0x2261-0xdd6aa4cf-end> '] 1

[' <0x2320-0x02e236bc-start,0x2320-0x02e236bc-end> ', ' <0x2320-0x02e236bc-start,0x2320-0x02e236bc-end> ', ' <0x2320-0xf2465f09-start,0x2320-0xf2465f09-end> '] 1

benchmark: DODO

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 1

# unique control flow: 1

=====================================

[' <0x051e-0x5039972a-start,0x051e-0x5039972a-end> ', ' <0x051e-0x4c85b425-start,0x051e-0x4c85b425-end> '] 1

benchmark: Punk

hack CF: [' <0x3bc6-0xcc2a9a5b-start,0x3bc6-0xcc2a9a5b-end> ', ' <0x3bc6-0xe8b5e51f-start,0x3bc6-0xe8b5e51f-end> ', ' <0x3bc6-0x7b9967a5-start,0x3bc6-0x7b9967a5-end> ', ' <0x1f3b-0xcc2a9a5b-start,0x1f3b-0xcc2a9a5b-end> ', ' <0x1f3b-0xe8b5e51f-start,0x1f3b-0xe8b5e51f-end> ', ' <0x1f3b-0x7b9967a5-start,0x1f3b-0x7b9967a5-end> ', ' <0x929c-0xcc2a9a5b-start,0x929c-0xcc2a9a5b-end> ', ' <0x929c-0xe8b5e51f-start,0x929c-0xe8b5e51f-end> ', ' <0x929c-0x7b9967a5-start,0x929c-0x7b9967a5-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 6

# unique control flow: 4

=====================================

[' <0x3bc6-0xc86283c8-start,0x3bc6-0xc86283c8-end> ', ' <0x3bc6-0xc86283c8-start,0x3bc6-0xc86283c8-end> '] 2

[' <0x1f3b-0xc86283c8-start,0x1f3b-0xc86283c8-end> ', ' <0x1f3b-0xc86283c8-start,0x1f3b-0xc86283c8-end> '] 2

[' <0x929c-0xc86283c8-start,0x929c-0xc86283c8-end> ', ' <0x929c-0xc86283c8-start,0x929c-0xc86283c8-end> '] 1

[' <0x3bc6-0xcc2a9a5b-start,0x3bc6-0xcc2a9a5b-end> ', ' <0x3bc6-0xe8b5e51f-start,0x3bc6-0xe8b5e51f-end> ', ' <0x3bc6-0x7b9967a5-start,0x3bc6-0x7b9967a5-end> ', ' <0x1f3b-0xcc2a9a5b-start,0x1f3b-0xcc2a9a5b-end> ', ' <0x1f3b-0xe8b5e51f-start,0x1f3b-0xe8b5e51f-end> ', ' <0x1f3b-0x7b9967a5-start,0x1f3b-0x7b9967a5-end> ', ' <0x929c-0xcc2a9a5b-start,0x929c-0xcc2a9a5b-end> ', ' <0x929c-0xe8b5e51f-start,0x929c-0xe8b5e51f-end> ', ' <0x929c-0x7b9967a5-start,0x929c-0x7b9967a5-end> '] 1

benchmark: BeanstalkFarms

hack CF: [' <0x3a70-0x0b4c7e4d-start,0x3a70-0x0b4c7e4d-end> ', ' <0xd652-0x0b4c7e4d-start,0xd652-0x0b4c7e4d-end> ', ' <0xc1e0-0x47e7ef24-start,0xc1e0-0x47e7ef24-end> ', ' <0xc1e0-0x47e7ef24-start,0xc1e0-0x47e7ef24-end> ', ' <0xc1e0-0x9094c763-start,0xc1e0-0x9094c763-end> ', ' <0xc1e0-0x73015684-start,0xc1e0-0x73015684-end> ', ' <0x3a70-0x1a4d01d2-start,0x3a70-0x1a4d01d2-end> ', ' <0xd652-0x1a4d01d2-start,0xd652-0x1a4d01d2-end> ']

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 53

# unique control flow: 13

=====================================

[' <0xd652-0xddc1f59d-start,0xd652-0xddc1f59d-end> ', ' <0x3a70-0x44ee1986-start,0x3a70-0x44ee1986-end> '] 26

[' <0xd652-0x3df02124-start,0xd652-0x3df02124-end> ', ' <0x3a70-0xa6417ed6-start,0x3a70-0xa6417ed6-end> '] 6

[' <0x3a70-0x44ee1986-start,0x3a70-0x44ee1986-end> ', ' <0xd652-0xddc1f59d-start,0xd652-0xddc1f59d-end> '] 3

[' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> ', ' <0xc1e0-0x69d9120d-start,0xc1e0-0x69d9120d-end> '] 2

benchmark: AAVE

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 6093

# unique control flow: 157

=====================================

====== Study Stats ======

from block 19900000 to block 20023536

unique control flows within the range: 24

[' <0x8787-0x573ade81-start,0x8787-0x573ade81-end> ', ' <0x8787-0x69328dec-start,0x8787-0x69328dec-end> '] 1010

[' <0x8787-0x617ba037-start,0x8787-0x617ba037-end> ', ' <0x8787-0xa415bcad-start,0x8787-0xa415bcad-end> '] 567

[' <0x8787-0xe8eda9df-start,0x8787-0xe8eda9df-end> ', ' <0x8787-0xa415bcad-start,0x8787-0xa415bcad-end> '] 532

[' <0x8787-0xe8eda9df-start,0x8787-0xe8eda9df-end> ', ' <0x8787-0xa415bcad-start,0x8787-0xa415bcad-end> ', ' <0x8787-0xe8eda9df-start,0x8787-0xe8eda9df-end> ', ' <0x8787-0x69328dec-start,0x8787-0x69328dec-end> '] 494

[' <0x8787-0xe8eda9df-start,0x8787-0xe8eda9df-end> ', ' <0x8787-0x69328dec-start,0x8787-0x69328dec-end> ', ' <0x8787-0x573ade81-start,0x8787-0x573ade81-end> ', ' <0x8787-0x69328dec-start,0x8787-0x69328dec-end> '] 494

[' <0x8787-0xe8eda9df-start,0x8787-0xe8eda9df-end> ', ' <0x8787-0xa415bcad-start,0x8787-0xa415bcad-end> ', ' <0x8787-0x573ade81-start,0x8787-0x573ade81-end> ', ' <0x8787-0x69328dec-start,0x8787-0x69328dec-end> '] 487

[' <0x8787-0x617ba037-start,0x8787-0x617ba037-end> ', ' <0x8787-0x69328dec-start,0x8787-0x69328dec-end> ', ' <0x8787-0x573ade81-start,0x8787-0x573ade81-end> ', ' <0x8787-0x69328dec-start,0x8787-0x69328dec-end> ', ' <0x8787-0x69328dec-start,0x8787-0x69328dec-end> ', ' <0x8787-0x28530a47-start,0x8787-0x28530a47-end> '] 297

[' <0x8787-0x617ba037-start,0x8787-0x617ba037-end> ', ' <0x8787-0xa415bcad-start,0x8787-0xa415bcad-end> ', ' <0x8787-0x617ba037-start,0x8787-0x617ba037-end> ', ' <0x8787-0x28530a47-start,0x8787-0x28530a47-end> ', ' <0x8787-0x69328dec-start,0x8787-0x69328dec-end> '] 210

[' <0x8787-0x69328dec-start,0x8787-0x69328dec-end> ', ' <0x8787-0x617ba037-start,0x8787-0x617ba037-end> '] 208

[' <0x8787-0xa415bcad-start,0x8787-0xa415bcad-end> ', ' <0x8787-0x617ba037-start,0x8787-0x617ba037-end> '] 167

benchmark: Lido

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 1991

# unique control flow: 39

=====================================

====== Study Stats ======

from block 20000000 to block 20020622

unique control flows within the range: 7

[' <0xae7a-0xd505accf-start,0xae7a-0xd505accf-end> ', ' <0xae7a-0x6d780459-start,0xae7a-0x6d780459-end> '] 1001

[' <0xae7a-0xa1903eab-start,0xae7a-0xa1903eab-end> ', ' <0xae7a-0x8fcb4e5b-start,0xae7a-0x8fcb4e5b-end> '] 679

[' <0xae7a-0xa1903eab-start,0xae7a-0xa1903eab-end> ', ' <0x7f39-0xea598cb0-start,0x7f39-0xea598cb0-end> '] 82

[' <0x7f39-fallback-start,0x7f39-fallback-end> ', ' <0x7f39-0xde0e9a3e-start,0x7f39-0xde0e9a3e-end> '] 61

[' <0x7f39-0xd505accf-start,0x7f39-0xd505accf-end> ', ' <0x7f39-0xde0e9a3e-start,0x7f39-0xde0e9a3e-end> ', ' <0xae7a-0x6d780459-start,0xae7a-0x6d780459-end> '] 60

[' <0xae7a-0xd505accf-start,0xae7a-0xd505accf-end> ', ' <0xae7a-0xd505accf-start,0xae7a-0xd505accf-end> '] 22

[' <0xae7a-0x6d780459-start,0xae7a-0x6d780459-end> ', ' <0x7f39-0xea598cb0-start,0x7f39-0xea598cb0-end> '] 15

[' <0x7f39-0xd505accf-start,0x7f39-0xd505accf-end> ', ' <0x7f39-0xde0e9a3e-start,0x7f39-0xde0e9a3e-end> '] 13

[' <0x889e-0x96992fed-start,0x889e-0x96992fed-end> ', ' <0xae7a-0xbac3f3c5-start,0xae7a-0xbac3f3c5-end> '] 10

[' <0xfddf-0xabd44a24-start,0xfddf-0xabd44a24-end> ', ' <0x889e-0x96992fed-start,0x889e-0x96992fed-end> ', ' <0xae7a-0xbac3f3c5-start,0xae7a-0xbac3f3c5-end> '] 4

benchmark: Uniswap

============== Summary ==============

txs with no Function Call Count (with ERC20 function removed): 0

txs with 1 simple Function Call Count (with ERC20 function removed): 0

txs with more than 1 Function Call Count: 363

# unique control flow: 63

=====================================

====== Study Stats ======

from block 20024000 to block 20025826

unique control flows within the range: 7

[' <0xe592-0xc04b8d59-start,0xe592-0xc04b8d59-end> ', ' <0xe592-0xc04b8d59-start,0xe592-0xc04b8d59-end> '] 48

[' <0x0000-0x87517c45-start,0x0000-0x87517c45-end> ', ' <0x3fc9-0x3593564c-start,0x3fc9-0x3593564c-end> '] 40

[' <0x0000-0x137c29fe-start,0x0000-0x137c29fe-end> ', ' <0x3fc9-0x24856bc3-start,0x3fc9-0x24856bc3-end> '] 34

[' <0x0000-0x30f28b7a-start,0x0000-0x30f28b7a-end> ', ' <0x3fc9-0x3593564c-start,0x3fc9-0x3593564c-end> '] 24

[' <0x0000-0x2a2d80d1-start,0x0000-0x2a2d80d1-end> ', ' <0x0000-0x0d58b1db-start,0x0000-0x0d58b1db-end> '] 15

[' <0xc364-0x0c49ccbe-start,0xc364-0x0c49ccbe-end> ', ' <0xc364-0xfc6f7865-start,0xc364-0xfc6f7865-end> ', ' <0xc364-0x88316456-start,0xc364-0x88316456-end> '] 14

[' <0xc364-0x7ac2ff7b-start,0xc364-0x7ac2ff7b-end> ', ' <0xc364-0x0c49ccbe-start,0xc364-0x0c49ccbe-end> ', ' <0xc364-0xfc6f7865-start,0xc364-0xfc6f7865-end> ', ' <0xc364-0x88316456-start,0xc364-0x88316456-end> '] 14

[' <0xe592-0xdf2ab5bb-start,0xe592-0xdf2ab5bb-end> ', ' <0xe592-0xdf2ab5bb-start,0xe592-0xdf2ab5bb-end> ', ' <0xe592-0xdf2ab5bb-start,0xe592-0xdf2ab5bb-end> ', ' <0xe592-0xdf2ab5bb-start,0xe592-0xdf2ab5bb-end> ', ' <0xe592-0xdf2ab5bb-start,0xe592-0xdf2ab5bb-end> '] 11

[' <0xc364-0x0c49ccbe-start,0xc364-0x0c49ccbe-end> ', ' <0xc364-0xfc6f7865-start,0xc364-0xfc6f7865-end> '] 9

[' <0xe592-0x414bf389-start,0xe592-0x414bf389-end> ', ' <0xe592-0x414bf389-start,0xe592-0x414bf389-end> '] 9

bZx 28857 49 74 5 17512 39 7737 18 3534 14 \xmark

Warp 416 1 11 0 404 0 0 0 1 1 \cmark

CheeseBank 2383 1 88 0 1706 0 543 0 46 1 \cmark

InverseFi 126644 73 453 3 51684 25 46731 2 27776 44 \cmark

CreamFi1 190864 121 135 4 181861 48 5796 34 3072 55 \cmark

CreamFi2 220947 273 256 6 204713 84 5074 33 10904 166 \cmark

RariCapital1 7139 13 46 0 6840 5 209 10 44 5 \cmark

RariCapital2 84462 27 244 0 45615 1 27451 10 11152 19 \cmark

XCarnival 875 3 59 0 800 0 0 0 16 3 \cmark

Harvest 30998 9 498 5 30459 2 2 0 39 2 \cmark

ValueDeFi 356 1 93 0 262 0 0 0 1 1 \cmark

Yearn 133651 38 2129 5 81676 20 45050 8 4796 15 \cmark

VisorFi 86774 0 52 0 26480 0 47314 0 12928 0 \xmark

UmbrellaNetwork 60 0 2 0 57 0 0 0 1 0 \xmark

PickleFi 7830 2 119 0 6451 0 1231 1 29 1 \cmark

Eminence 22541 1 20 0 9477 0 9968 0 3076 1 \cmark

Opyn 3924 1 4 1 619 0 1 0 3300 0 \xmark

IndexFi 70726 5 38 0 15028 4 28187 0 27473 1 \cmark

RevestFi 2184 6 29 0 1346 5 19 0 790 1 \cmark

DODO 1523 1 1 0 1286 1 195 0 41 0 \xmark

Punk 108 4 10 1 97 2 0 0 1 1 \cmark

BeanstalkFarms 58643 13 163 1 43771 8 8940 0 5769 4 \cmark

AAVE 76278 157 0 0 61360 17 1657 32 13261 138 N/A

Lido 97694 39 0 0 45081 3 39692 15 12921 26 N/A

Uniswap 76016 63 0 0 71618 5 826 18 3572 50 N/A

Page updated

Google Sites

Report abuse