Docker image - couldn't give input path to run for. about securify HOT 5 CLOSED

You seem to be using Windows, correct? $PWD or $(pwd) are supposed to return the current working directory, but if you already type it fully (C:\ ...) you should not need it. The issue seems to be how to mount a directory with docker with Windows, have you already done that successfully in the past?

I just managed to run the image from dockerhub successfully using -v, so this shouldn't be the issue.

from securify.

Closing because of inactivity, please reopen with more details if the issue is still there!

from securify.

I have the same issue.
I use the Ubuntu 18.10, Docker version is 18.09.2,
When I type "docker run securify" I can get the report of the /project/example.sol.
But when I try the command "docker run -v $(pwd)/:/mysol.sol securify" it still reports the result of /project/example.sol.
Could you tell me the command I could type to scan my solidity file?

from securify.

You need to put your file in a folder and mount this folder, rather than the file itself. Let me know if that works!

from securify.

I tried to put mysol in a folder but the command doesn't work either.But I can scan mysol by change the command in Dockerfile.
I have a new question is that can the securify find out the timestamp-dependency in solidity files? Because I scan the test file "random_number_generator.sol" in
securify-master\src\test\resources\solidity\end_to_end_testing_big\swc\weak_randomness,
the securify reports neither Violation nor Warning.

from securify.