assertWithSideEffect
assignmentInAssert
normalCheckLevelMaxBranches
nullPointerArithmeticOutOfMemory
nullPointerOutOfMemory
redundantInitialization
unreadVariable
unusedStructMember