Solidity basics TL;DR: State variables, visibility, modifiers, function selectors, storage vs memory. Reading bytecode helps. Stub — to be filled in. What it is TODO Preconditions / where it applies TODO Technique TODO Detection and defence TODO References TODO