search

ChainSecurity / deployment_validation

Deployment Validation Files aim to simplify Deployment Validation of Smart Contracts
GNU Affero General Public License v3.0
22 stars 1 forks source link

Code Constants #36

Open stiefn opened 2 months ago

stiefn commented 2 months ago

From the AST we could figure out some constants. In particular we could also figure out which constants are used as keys in which mappings? We cannot detect such keys based on the traces because the compiler computes the slots at compile time.

mapping (address => uint) x;

constructor() {
  x[address(0)] = 50;
}