Build EVM State Variable Reader
In contract checking, it is sometimes necessary to obtain the value of the contract's state variable to determine whether it is malicious code, for example, in some external interface or Library that calls the contract, the project side will pass in a dynamic address to obtain the ability of an external contract. Sometimes this external address is not malicious and belongs to the project side's white list, but some are malicious, this type of code needs to be identified.