Writings on symbolic-execution-based security analysis of EVM smart contracts. - View it on GitHub