Teal allows declaring constants using intcblock which can be accessed later using intc {constant number} instruction. When detectors traverse the contract, they don't have access to integer value the intc refers to. This may result in False Positives as detectors can't reason about the values declared using intc. Same goes for bytecblock and bytec instructions.
Teal allows declaring constants using
intcblockwhich can be accessed later usingintc {constant number}instruction. When detectors traverse the contract, they don't have access to integer value theintcrefers to. This may result in False Positives as detectors can't reason about the values declared usingintc. Same goes forbytecblockandbytecinstructions.