Code Constants

[stiefn]

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;
}