A lot of the PVS-Studio analyses are described in enough detail that if someone wanted to, they could implement them as clang checkers. clang is definitely open source, I don't know about "libre" though.