Maxime Arthaud

You should check out https://github.com/shinh/elvm if you like this :) It goes way further.

Hi @drkbllo, Could you share a way to reproduce the error you are getting? Also: please remember that this is open source, developed on my spare time and that no...

No worries. Now, do you have a way to reproduce this? Can you send the full output of the tool? Right now I have no way of knowing what goes...

I think originally I was only checking whether the content contains "" but people had issues with that, see https://github.com/arthaud/git-dumper/pull/13 @DashLt do you know what was the issue with the...

That's also my conclusion. We would need a reference syntax checker. or we could just skip the verification on that file and fail later when we parse objects file (which...

What is a Bitbucket header?

I think #20 might fix this. If not, could you send me an example `.git/HEAD`?

Could you try again with master and send me the output?

Interestingly, there is no mention of IPv4 or IPv6 in the code. The server is handled by `http.server.HTTPServer`: https://github.com/NASA-SW-VnV/ikos/blob/72c70c79fdef482b78b131218d16c6c7aa82edd8/analyzer/python/ikos/scan.py#L631 The client is `urllib.request.urlopen`: https://github.com/NASA-SW-VnV/ikos/blob/72c70c79fdef482b78b131218d16c6c7aa82edd8/analyzer/python/ikos/scan.py#L592 As a quick fix, try using...

The problem is more clear with 79942e6469bbcbe8a9e0acaf651a65cba1653502: ``` test.cpp: In function 'main': test.cpp:6:17: warning: ignored side effect of call to extern function 'llvm.umul.with.overflow.i64'. Analysis might be unsound. int * arr...