smartcheck
smartcheck copied to clipboard
SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
Bumps [junit](https://github.com/junit-team/junit4) from 4.12 to 4.13.1. Release notes Sourced from junit's releases. JUnit 4.13.1 Please refer to the release notes for details. JUnit 4.13 Please refer to the release notes...
I suggest that publishing project in maven and creation of docker image (may be base on alpine image with java 8 https://hub.docker.com/r/anapsix/alpine-java/ ) may be seen as a good little...
Hi @eMarchenko , I have a question. I can see 'import ru.smartdec.smartcheck.SolidityParser' in 'SourceLanguages.java', but can't find 'SolidityParser.java' file in 'ru/smartdec/smartcheck/', Is this reasonable? Thank you very much! @eMarchenko