CastIntegerToAddressAtReturn
ctunullpointerOutOfMemory
knownConditionTrueFalse
memleakOnRealloc
noExplicitConstructor
normalCheckLevelMaxBranches
nullPointerOutOfMemory
redundantInitialization
varFuncNullUB