Presale allocations to select partners only, email for details. Please sign up for Private Beta release!

Smart Contract QA, Automated.

Compatible with Solidity and Haskell
Coming soon to other platforms

How we find vulnerabilities

We run Agua AI through an oracle that identifies a vulnerability by using our localization algorithm. It analyzes execution traces of the program running on the specific test cases in the test suite.

How we generate test suites

We generate a search Space of successfully validate patches found by the defect localiation algorithm and patched by Agua AI.

How the workflow runs

We use transforms that contains abstract syntax trees. One if these AST’s matches code in the original code. The other AST exemplifies the replacement source for the generated solution. We are able to abstract away application specific details to capture common patch patterns drawn from our open source training sets with this method.

How we patch

The developer will look through a test suite our search-space outputs with reactions of how those outputs work with their code. Once clicked on a test case, our AI will proceed to automatically modify

Agua integrates efficiently with your environment

Sublime Text
Remix IDE