andlitho=mk_checker~long:"litho""Experimental checkers supporting the Litho framework"
andliveness=
mk_checker~long:"liveness"~default:true"the detection of dead stores and unused variables"
andownership=mk_checker~long:"ownership"~default:true "the detection of C++ lifetime bugs"
andownership=mk_checker~long:"ownership"~default:false "the detection of C++ lifetime bugs"
andprintf_args=
mk_checker~long:"printf-args"~default:true
"the detection of mismatch between the Java printf format strings and the argument types For, example, this checker will warn about the type error in `printf(\"Hello %d\", \"world\")`"