Table 2. General information about the case studies.
| ID | Name | #Smart contracts | #Functions | #Lines | #Branches | 
|---|---|---|---|---|---|
| CS1 | Chainlink | 78 | 228 | 993 | 404 | 
| CS2 | PancakeSwap | 14 | 62 | 329 | 100 | 
| CS3 | Venus | 146 | 1751 | 8439 | 2966 | 
| CS4 | Axie | 45 | 145 | 539 | 170 | 
| CS5 | Sushi | 62 | 245 | 1394 | 556 | 
| ID | Name | #Smart contracts | #Functions | #Lines | #Branches | 
|---|---|---|---|---|---|
| CS1 | Chainlink | 78 | 228 | 993 | 404 | 
| CS2 | PancakeSwap | 14 | 62 | 329 | 100 | 
| CS3 | Venus | 146 | 1751 | 8439 | 2966 | 
| CS4 | Axie | 45 | 145 | 539 | 170 | 
| CS5 | Sushi | 62 | 245 | 1394 | 556 |