Oyente Beta Release — KentRidge v0.1.0
After several months of implementing, testing and refactoring, today, we are happy to announce the first beta release of Oyente, a symbolic execution based analyser for Ethereum smart contracts. This release is made possible with support and funding from…