This PR includes commits that fix correctness issues for various detectors -- I'll include test cases for the more esoteric issues, but these have been replicated via cargo-fuzz in any case.
I'm running fuzz tests against infer and have come against a few more issues, so I'll likely re-frame this PR to include commits across different detectors.
This PR includes commits that fix correctness issues for various detectors -- I'll include test cases for the more esoteric issues, but these have been replicated via
cargo-fuzz
in any case.