Very frequent false negatives in RacerD

False Negative: NULL_DEREFERENCE missing when preceded by a useless if-else branch on a constant non-null check

Building Infer on OCaml 5.4.x for benchmarking

Security

False Positive: INFINITE_EXECUTION_TIME incorrectly reported for simple terminating while-loop

Infer shows “There was nothing to analyze” for STM32 (arm-none-eabi-gcc) firmware build

--skip-analysis-in-path doesn't work

Infer configure scripts are unable to find the oUnit library even though it is installed

Build fails on Fedora 42 with [ERROR] Package llvm has no version 20-static-infer

call to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<bool>' is not a constant expression