Quote from: blockaudit on April 24, 2018, 01:03:50 AM

Quote from: xanadue on April 23, 2018, 07:50:25 PM

Quote from: blockaudit on April 23, 2018, 03:53:06 PM

Have you all ran tools like Manitcore on the contracts, or had any sort of audit yet either of the current contracts or regular security code reviews built into the dev process for the exchange?

Just a cursory Manticore run yielded some potential issues, so just a heads up you all might want to give it a go to get the full results and see if they are or aren't exploitable.

Code:

Global Findings:
- Integer overflow at ADD instruction -
   Contract: 159725171979439281175487293058222017669144629231
   Program counter: 6291
........
- Potentially reading uninitialized storage -
   Contract: 159725171979439281175487293058222017669144629231
   Program counter: 1695

Hello!
We use our own developed AI modules.

ou do use the contracts on your github, right?

https://github.com/Tokpie/tokpie-contract/

That's the code on which the tools run on for results.

Of course, all out smart contracts undergo full audit inclusive of code analysis and full coverage of running tests.