Where can I find a machine readable grammar for EVM? (and for Solidity)
Also, apart from Solidity, what other high-level languages currently exist that compile to EVM opcodes?
The reason I am asking is I'm looking for (or trying to create) some static analysis tools that look at EVM or Solidity and find exploits like TheDAO.