Jules Villard
Jules Villard
Apologies, we've had some conversations offline about this but I forgot the status of this PR. Are you still interested in getting this merged?
Thanks @xi-liu-ds! Just FYI I've made minor changes to simplify some of the boolean logic and ran `make fmt` before pushing.
Are the biabduction changes relevant to you? If not it would be simpler to drop them to avoid breaking something there by accident. We don't have large-scale tests for biabduction...
Thanks @MaelCravero!
Hi @xi-liu-ds, sorry for the delay. It looks like this duplicates more code still from InferAnalyze.ml. Would that duplication still be needed if parsing the json was done in a...
thanks @xi-liu-ds, very happy to have finally merged this! :tada: I also merged InferAnalyzeJson into CaptureSILJson in e6809d9b5196311d6cc68eb409313645da63ef81
Infer does find all the null dereference here but some of them are filtered out. You can see them with `-F`. As an aside, the new pulse analysis (`--pulse`) also...
PR has been closed, issue seems resolved.
You need to build infer in bytecode mode first. `make byte` will do that for you.
You're right, `make byte` doesn't produce something that `ocamldebug` can consume anymore, I think since 786a72574fc6943c5635f3cb1a7abb417013c9b5 so that way of debugging infer is not available anymore.