Ender Loc Phan

The range of pragma versions it currently supports?

3

So the tool just supports those contracts that have pragma versions

It happens with docker version command: `sudo docker run -it -v /Users/home/test:/share securify /share/test.sol` ``` Traceback (most recent call last): File "securify/__main__.py", line 286, in main() File "securify/__main__.py", line 277,...

Exception in state 2: EVMException('Symbolic size not supported',)

1

### Summary of the problem EVMException('Symbolic size not supported',) ### Manticore version Using docker version ### Step to reproduce the behavior 1. Run "manticore B.sol --contract BContract" ### Actual behavior...

Ensure SWC numbers are assigned continuously in CI

4

I don't see the SWC-126 on the website. What's the reason? https://swcregistry.io/docs/SWC-126

Is the website still available? https://diehard.readthedocs.io/en/latest/

I've downloaded the latest version and placed them in the `\plugin` folder of Sonar. I got this error at consoling Sonar: ``` 12:40:02.556 ERROR: Error during SonarQube Scanner execution java.lang.IllegalStateException:...