CastIntegerToAddressAtReturn
knownConditionTrueFalse
memleakOnRealloc
noExplicitConstructor
normalCheckLevelMaxBranches
redundantInitialization
varFuncNullUB