EVM grammar in ANTLR or something similar?

Question

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.

score 3 · Answer 1 · edited Apr 13 '17 at 13:01

3

The question of grammar - specifically for Solidity - has come up before:

BNF grammar definition for Solidity

...as has the question of what languages are available for writing smart contracts:

What are the contract languages?

In addition to the languages mentioned in the previous (rather old) answer, there is also an experimental language based on Python called Viper.

Finally, I believe static analysis is something that the Browser Solidity folks have been looking at (see here), which together with the EVM enhancements outlined in issue #3404 will supposedly make code more easily statically analysed.

Edit:

Solidity's grammar.txt file has moved since the linked answer was posted. It can now be found here: https://github.com/ethereum/solidity/blob/develop/docs/grammar.txt

edited Apr 13 '17 at 13:01

Community

1

answered Jan 05 '17 at 12:54

Richard Horrocks

37,835
13
87
144

I saw the linked question on BNF grammar. Unfortunately, the links are all dead, so that answer is no longer useful. – Jus12 Jan 05 '17 at 14:40
1

Hmm, good point. Solidity's grammar.txt can be found here: https://github.com/ethereum/solidity/blob/develop/docs/grammar.txt – Richard Horrocks Jan 05 '17 at 15:04
This looks very similar to ANTLR. What language is this in? – Jus12 Jan 10 '17 at 05:47

score 3 · Answer 2 · edited Jan 06 '17 at 10:32

3

There is also a xText project and the xText gramma description is quite similar to BNF:

Solidity.xtext

xText uses ANTLR in the background.

edited Jan 06 '17 at 10:32

q9f

32,913
47
156
395

answered Jan 06 '17 at 09:55

uzeidler

131
4

EVM grammar in ANTLR or something similar?

2 Answers2