PC issues

Results 6 issues of

PC

No violation reported for the test case "UnrestrictedEtherFlow.sol"

I pulled the code at 4/25/2019. I ran the command: `java -jar build/libs/securify.jar -fs /home/xx/UnrestrictedEtherFlow.sol` The file is the same as the test cast. I only see two warnings. I...

Accurate explanation of securify output

Thank you for your help. I have read the _CCS_ paper about securify. I found the violation **RepeatedCall** doesn't show in the original paper. Could you provide an example to...

Option -r has issues

I used the docker to start oyente When I tried the command: python oyente.py -s xxx.sol -r, there are some errors reported. ``` Traceback (most recent call last): File "/oyente/oyente/oyente.py",...

slurm container can't start

My host machine is Windows. I can't use _docker compose up_ to start dockers, the errors are: - slurmdbd | exec /usr/local/bin/docker-entrypoint.sh: no such file or directory - slurmctld |...

How to solve the dependency on rgdal?

Hi. As you may know, the package rgdal will not be available on CRAN soon. I am wondering how this change will affect gdalUtils. Do we have any plan to...

Installation issue for PROJ 7.0

Hi, I have an installation issue for terra with proj 7.0, this issue may be related to this https://github.com/OSGeo/PROJ/issues/836 Do you have any suggestions for this? ``` * installing *source*...