Jules Villard

The macos tests on GitHub are failing: https://github.com/facebook/infer/actions/runs/3039326327/jobs/4894127613 ``` [*ERROR**][82386] ./lib/Framework.java:30: error: cannot find symbol [*ERROR**][82386] String content = new String(inputStream.readAllBytes(), StandardCharsets.UTF_8); [*ERROR**][82386] ^ [*ERROR**][82386] symbol: method readAllBytes() [*ERROR**][82386] location:...

I get more errors in the test, and they are reported inside infer-out/ for some reason! ``` diff --git a/mnt/btrfs/trunk-git-infer-38-1665654773/infer/tests/codetoanalyze/java/dependencies/issues.exp b/mnt/btrfs/trunk-git-infer-38-1665654773/infer/tests/codetoanalyze/java/dependencies/issues.exp.test index 65c0e8821f..485fb40455 100644 --- a/mnt/btrfs/trunk-git-infer-38-1665654773/infer/tests/codetoanalyze/java/dependencies/issues.exp +++ b/mnt/btrfs/trunk-git-infer-38-1665654773/infer/tests/codetoanalyze/java/dependencies/issues.exp.test @@ -1...

Thanks @archerD!

Thank you @glacambre, good catch!

I think this is because you are using an old version of infer. In the latest version the cost is `O(list.length(u))` as expected.

This is very strange! I just tried and get the right complexity. What's your version of Java? `javac -version` Mine is Java 8. It could be that the models don't...

Thank you for your PR, this looks great. Let me know if you have issues with signing the CLA. I don't think we need the extra files in models/ for...

This looks good overall but the changes in the biabduction models had surprising effects on other analyses, we're trying to figure out if we could limit these effects to the...

Hi @yuske, as you have observed only biabduction has a way to resolve dynamic dispatch at the moment. We plan to add this capability to Pulse as well but haven't...

Infer uses clang to parse C code and I am not sure how well the Linux kernel builds with clang these days. You can skip unknown options by passing the...