veris consists of VeriSmart and SmarTest tools.
VeriSmart is a smart contract verifier.
SmarTest is a smart contract vulnerable transaction sequence detector.
By using veris, you can verify vulnerabilities and find vulnerable transaction sequences in your smart contract, written in Solidity programming language.
veris requires your '.sol' smart contract executable file as an input.
The research paper: VERISMART: A Highly Precise Safety Verifier for Ethirium Smart Contracts
To start using veris(VeriSmart), click Whitebox Testing in the main page of IoTcube, then proceed by clicking Smart Contract Verification.
Upload the *.sol file either by dragging & dropping the file into the upload box, or by selecting from a file dialog.
IoTcube automatically proceeds to the result page when the upload is complete.
After uploading your *.sol file, it will be verified by VeriSmart and show you the result of verification.
If the verification was successfull you will see the following: 1.) Table, showing the result statistics.
2.) Your smart contract code with vulnerable lines being highlighted by green(safe), orange(vulnerable) or red(vulnerable with vulnerable transaction sequence) and warnings.
3.) Vulnerable transaction sequences details.
If the verification failed, you will see.
