CastIntegerToAddressAtReturn
constParameterPointer
constVariablePointer
knownConditionTrueFalse
memleakOnRealloc
noExplicitConstructor
normalCheckLevelMaxBranches
redundantInitialization
varFuncNullUB