signed/unsigned mismatch
Add analysis build configuration
Protect bitvector operation with a std::mutex, else could fail spuriously