Symbolic Executon on Smart Contracts Batin Assist vulnerability analysis for Ethereum smart contracts. It maps byte addresses to line numbers in the source code.