About Tool
Our project has developed a prototype tool with nice GUI to analyse the smart contracts.
VeriSol is a tool to verify the smart contract and measure condition coverage. Along with it our start-up has developed a tool to automatically repair the smart contract by eliminating the dead conditions. Apart from it our startup has decided to extend the work and develop an umbrella tool which contains so many tools which are well researched by our team. These ideas we have implemented looking at the use requirements.
Our tool TrustInn is a research-oriented tool. It comprises with static and dynamic analysis such as Bounded Model Checking, Fuzzing, Dynamic Symbolic Execution, Mutation testing etc. Currently, It Supports C, and Solidity languages. Our plan is to extend it for Python, and java too. Our startup developed testing tools and made package in Virtual Box. We supply licenses of our developed tools along with other open source tool to the customers.
Our inhouse developed tools are: MC/DC-CBMC, SC-MCC-CBMC, AV-AFL, SSG-AFL, UMASK-AFL, SC-MCC-Fuzz, SC-MCC-KLEE, SC-MCC-TX, VeriCombTest, gMutant, KLEEMA, MuFuzzLEE, gMCov. Opensource tools are Clang, Framma-C, CBMC, LL-BMC, AFL, KLEE, Tracer-X, PICT.