libfunctors.so not compiled error

[eth-sri]

libfunctors.so not compiled error

[YannisSach]

Hello,
Unfortunately, I wasn't able to reproduce the error. What result do you get when you run:
docker build -t securify . then docker run -it securify -b <address of contract> and then provide the API key manually?
I tested your contract and it revealed a bug in securify which I fixed and pushed to the develop branch. Your feedback on that would be useful as well.

[Enigmatic331]

Thanks a ton @YannisSach!
I did gotten a little further than where I was 3 days back.

Apparently while running docker build -t securify ., I missed a few errors while the compile_functos.sh ran (maybe it's a directory/path thing):

Pulling out the contents of the shell script and running the g++ commands directly seems to work so I am using that as an interim measure - Until I figure out what went wrong running the shell script.

Though currently I am stuck on step 17 (I think it's doing some souffle setup, or I could be dumb):

Trying to figure this bit out, and if I could, the remainder ENV and ENTRYPOINT commands should work as-is and I can start experimenting with SecurifyV2. :)

And yes, looking forward to be providing feedback from there.

[Enigmatic331]

Kinda strange - I think I will dig around Souffle for a bit to figure this out.

[b-scholz]

It seems something went wrong with the linking. Could you resolve it?

[Enigmatic331]

PS: Sorry - Currently caught up with something else - But I will round back to this and try out a couple of things, then report back.

[opetznick]

any news on this issue?