Leading decompilation and security analysis service

65476 33492 37 19258 117 519487
120148 819966 8074

Latest blog post


A Six-Year-Old Solc Riddle

In late October, we received a request to work on a project unlike any we've had before.

Start Reading


Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities

Technical paper on our analysis technology for tainted contract guards. Interesting observations on symbolic execution vs. static analysis approaches.

Start Reading


Precise Static Modeling of Ethereum 'Memory'

Research article on our analysis technology, especially the modeling of "memory" in EVM smart contracts.

Start Reading


Ethereum Foundation EIP-1884 bounty

Received bounty from the Ethereum Foundation for our analysis of the gas impact of EIP-1884.

Start Reading


Gigahorse: Thorough, Declarative Decompilation of Smart Contracts

Research article, at ICSE'19 conference, describing our decompiler.

Start Reading


Bad Randomness Is Even Dicier than You Think

Trivial Exploits of Bad Randomness In Ethereum, and How To Do On-Chain Randomness (Reasonably) Well.

Start Reading


MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts

Research Article, distinguished paper award at OOPSLA'18 conference, later appeared as "Research Highlight" in the Communications of the ACM.

Start Reading