api modeling checkers should be enabled in all profiles
api modelling checker do some background modelling
which information is required for the other checkers
they should be enabled
"alpha.unix.PthreadLock" : ["sensitive", "extreme"],
"alpha.unix.SimpleStream" : ["sensitive", "extreme"],
"alpha.unix.Stream" : ["sensitive", "extreme"],
- "apiModeling.google.GTest" : ["default", "sensitive", "extreme"],
- "apiModeling.StdCLibraryFunctions" : ["default", "sensitive", "extreme"],
+ "apiModeling.google.GTest" : ["default", "security", "portability", "sensitive", "extreme"],
+ "apiModeling.TrustNonnull" : ["default", "security", "portability", "sensitive", "extreme"],
+ "apiModeling.StdCLibraryFunctions" : ["default", "security", "portability", "sensitive", "extreme"],
"core.builtin.BuiltinFunctions" : ["default", "sensitive", "extreme"],
"core.builtin.NoReturnFunctions" : ["default", "sensitive", "extreme"],
"core.CallAndMessage" : ["default", "sensitive", "extreme"],
