CastIntegerToAddressAtReturn
constParameterPointer
constVariablePointer
knownConditionTrueFalse
memleakOnRealloc
noExplicitConstructor
normalCheckLevelMaxBranches
nullPointerArithmeticRedundantCheck
redundantInitialization
unusedStructMember
varFuncNullUB