Mikhail Pyltsinandintellij-monorepo-bot c6ca035622 [java-inspections] IDEA-349198 IJ-CR-190983 Catch deconstruction on null value ...

- use dfa

GitOrigin-RevId: 19cdc3be30263c4b3dbbfff173c557c62c376d67

2026-02-11 14:51:17 +00:00

..

AccessingSameArrayElements.java

…

AccessorNullityUnderDefaultQualifier.java

…

AccessorPlusMutator.java

…

AdvancedArrayAccess.java

…

AIOOBETransfer.java

…

AllowRequireNonNullInCtor.java

…

AlwaysTrueSwitchLabel.java

…

AndAndLastOperand.java

…

AndEquals.java

…

AnnotatedTypeParameters.java

[java-dfa] Use 'non-null variable' instead of 'variable annotated as @NotNull'

2025-07-11 17:16:17 +00:00

AnnotationMethodNotNull.java

…

AnnReport.java

…

AnonymousFieldIndependence.java

…

AnonymousMethodIndependence.java

…

ArithmeticNoOp.java

…

ArrayAccessInTry.java

…

ArrayAccessWithCastInCountedLoop.java

…

ArrayAddedIntoCollection.java

…

ArrayBinarySearchNoWarningAtNeedle.java

…

ArrayComponentAndMethodAnnotationConflict.java

…

Arraycopy.java

…

ArrayElementLocality.java

…

ArrayElementWrappedInPureMethod.java

…

ArrayInitializerElementRewritten.java

…

ArrayInitializerLength.java

…

ArrayInitializersWithMethodCall.java

…

ArrayIntersectionType.java

…

ArrayLength.java

…

ArrayNegativeSize.java

…

ArraysAsList.java

…

ArraysCopyOf.java

…

ArraysEqualsPure.java

…

ArrayStoreProblems.java

…

ArrayTypeParameterInference.java

…

ArrayTypeParameterInferenceAmbiguous.java

…

ArrayWriteFlush.java

…

AssertAll.java

…

AssertFailInCatch.java

…

AssertInstanceOf.java

…

AssertJAssert.java

[java-dfa] Test for IDEA-369562 False positive from Nullability inspection

2025-06-13 13:56:22 +00:00

AssertNullEphemeral.java

…

AssertTestNg.java

…

AssertThat.java

…

AssertThrowsAssertionError.java

…

AssertTrueNotComplex.java

…

AssignAndReturnVolatile.java

…

AssigningClassLiteralToNullable.java

…

AssigningNullableToNotNull.java

[java-dfa] Use 'non-null variable' instead of 'variable annotated as @NotNull'

2025-07-11 17:16:17 +00:00

AssigningUnknownToNullable.java

…

AssignmentFieldAliasing.java

…

AssumeNotNull.java

…

AssumeThat.java

…

AvoidWarningAtNotInferredType.java

…

BackPropagation.java

…

BackPropagationMod.java

…

BigMethodNotComplex.java

…

BitwiseNegatedBoxed.java

…

BooleanMergeInLoop.java

…

BooleanOrEquals.java

…

BooleanPreconditions.java

…

BoxedBoolean.java

…

BoxedBooleanMethodWithCast.java

…

BoxedBooleanNullableTrue.java

…

BoxedDivisionComparison.java

…

BoxedNaN.java

…

BoxedRanges.java

…

BoxedTypeNullability.java

…

Boxing128.java

…

BoxingBoolean.java

…

BoxingImpliesNotNull.java

…

BoxingInArrayDeclaration.java

…

BoxingInConstructorArguments.java

…

BoxingIncorrectLiteral.java

…

BoxingIncrement.java

…

BoxingShortByte.java

…

BoxUnboxArrayElement.java

…

BreakContinueViaFinally.java

…

BuildRegexpNotComplex.java

…

ByteBufferGetter.java

…

CallsBeforeFieldInitializing.java

…

CanBeNullDoesntImplyIsNull.java

…

CapturedWildcardNotNull.java

…

CastInCatch.java

…

CastInstanceOf.java

…

CastIntersectionWithSerializable.java

[java-inspections] IDEA-383492 Wrong warning when casting to (Integer & Serializable)

2026-02-10 19:57:11 +00:00

CastToSealedInterface.java

…

CatchRuntimeException.java

…

CatchThrowable.java

…

CaughtNPE.java

…

CellsComplex.java

…

ChainedFinalFieldAccessorsDfa.java

…

ChainedFinalFieldsDfa.java

…

ChangeFieldUsedInPureMethod.java

…

CharacterMethods.java

…

CheckComplementarityWhenMerge.java

…

CheckEnumConstantConstructor.java

…

CheckerDefaultQualifier.java

…

CheckerLocalVariableOverridesDefault.java

…

CheckFieldInitializers.java

[java-dfa] Use 'non-null variable' instead of 'variable annotated as @NotNull'

2025-07-11 17:16:17 +00:00

ChronoRange.java

…

ClassCastExceptionDispatch.java

…

ClassEqualityCornerCase.java

…

ClassFileGetter.java

…

ClassInsideLambda.java

…

ClassMethodsInlining.java

…

ClearZeroesSize.java

…

ClosureInConstructor.java

…

ClosureVariableField.java

…

CollectionAddRemove.java

…

CollectionRemoveIf.java

…

CollectionToArray.java

…

CollectionViewsSize.java

…

ComparatorComparingContract.java

[java-inspections] IDEA-379697 False warning about Comparator.nullsLast/nullsFirst passing null to comparator argument

2025-09-29 12:37:10 +00:00

CompareEqualObjectWithNull.java

…

CompareMethods.java

…

CompareToEnumConstant.java

…

ComparingIntToDouble.java

…

ComparingNullableToNullable.java

…

ComparingNullableToUnknown.java

…

ComparingNullToNotNull.java

…

ComparingToNotNullShouldNotAffectNullity.java

…

ComparingToNullableShouldNotAffectNullity.java

…

CompileTimeConstant.java

…

CompletableFutureWhenComplete.java

…

ComplexInitializer.java

…

CompoundAssignment.java

…

ConflictsInInferredTypes.java

…

ConstantConditionsWithAssignmentsInside.java

…

ConstantDescAsWrapperSupertype.java

…

ConstantDoubleComparisons.java

…

ConstantInClosure.java

…

ConstantMethods.java

…

ConstructorMethodReferenceNullability.java

…

ConsumedStream.java

…

ConsumedStreamDifferentMethods.java

…

ConsumedStreamWithoutInline.java

…

ContinueFlushesLoopVariable.java

…

ContractAnnotation.java

…

ContractConstructor.java

…

ContractInapplicableComparison.java

…

ContractInferenceBewareOverriding.java

…

ContractInLoopNotTooComplex.java

…

ContractPreservesUnknownMethodNullability.java

…

ContractPreservesUnknownNullability.java

…

ContractReturnValues.java

…

ContractSeveralClauses.java

…

ContractVarargs.java

…

ContractWithManyParameters.java

…

ContractWithNoArgs.java

…

ContractWithNotNull.java

…

ContractWithNullable.java

…

CountedLoopWithOverflow.java

…

CovariantReturn.java

…

CustomContracts.java

…

CustomDefaultInEnums.java

…

CustomStreamImplementation.java

…

CustomTypeQualifierDefault.java

…

DateContracts.java

…

DateTimeComparing.java

…

DeconstructionNullability.java

…

DecrementAnotherObjectField.java

…

DefaultAnnotationForLoopParameter.java

…

DefaultConstructor.java

…

DefaultLabelElementInSwitch.java

…

DelegateClassTypeParameter.java

[java-inspections] part of IDEA-380832

2025-11-20 08:44:21 +00:00

DereferenceInThrowMessage.java

…

DifferentTypesButNullable.java

…

DivisionByZero.java

…

DontFlushVariablesUsedInClosures.java

…

DontForgetEqInfoWhenMergingByType.java

…

DontForgetInstanceofInfoWhenMerging.java

…

DontLoseInequalityInformation.java

…

DontMakeNullableAfterInstanceof.java

…

DontMakeUnrelatedVariableFalseWhenMerging.java

…

DontMakeUnrelatedVariableNotNullWhenMerging.java

…

DontSaveTypeValue.java

…

DontShadowFinalReassignment.java

…

DontSimplifyAssignment.java

…

DontSuggestToMakeLambdaNullable.java

…

DontWidenPlusInLoop.java

…

DoubleArrayDiff.java

…

DoubleCCEWarning.java

…

DoubleNaN2.java

…

DoubleNaN.java

…

DuplicatedByPointlessBooleanInspection.java

…

EclipseDefaultOptionalOrElse.java

…

EclipseDefaultTypeUse.java

…

EffectivelyUnqualified.java

…

EmptyCallDoesNotMakeNullable.java

…

EmptyCollection.java

…

EmptySingletonMap.java

…

EnumConstantNotNull.java

…

EnumName.java

…

EnumNullability.java

…

EnumOrdinal.java

…

EnumValues.java

…

EphemeralDefaultCaseVisited.java

…

EphemeralInIfChain.java

…

EqualityLongInteger.java

…

EqualsConstant.java

…

EqualsEnumConstant.java

…

EqualsHasNoSideEffects.java

…

EqualsImpliesNotNull.java

…

EqualsInLoopNotTooComplex.java

…

EqualsNotNull.java

…

EqualsTwoFields.java

…

EqualsWithItself.java

…

EscapeAnalysis.java

…

EscapeAnalysisLambdaInConstructor.java

…

ExactInstanceOf.java

…

ExceptionFromFinally.java

…

ExceptionFromFinallyNesting.java

…

ExplicitBoxing.java

…

ExplicitlyNullableLocalVar.java

…

ExternalTypeParameterAnnotations.java

[java-inspections] part of IDEA-380832

2025-11-20 08:44:21 +00:00

FalseForConditionNoInitialization_after.java

…

FalseForConditionNoInitialization.java

…

FalseForConditionWithInitialization_after.java

…

FalseForConditionWithInitialization.java

…

FalseGetters.java

…

February31.java

…

FieldAliasing.java

…

FieldAssignedNegative.java

…

FieldChangedBetweenSynchronizedBlocks.java

…

FieldInAnonymous.java

…

FieldInInstanceInitializer.java

…

FieldInitializerInAnonymous.java

…

FieldLocalNoAliasing.java

…

FieldRewrittenInInner.java

…

FieldUpdateViaSetter.java

…

FieldUsedBeforeInitialization.java

…

FieldWriteInLambda.java

…

FinalFieldDuringInitialization.java

…

FinalFieldDuringSuperInitialization.java

…

FinalFieldInCallBeforeInitialization.java

…

FinalFieldInConstructorAnonymous.java

…

FinalFieldNotDuringInitialization.java

…

FinalFieldsDifferentInstances.java

…

FinalFieldsInitializedByAnnotatedParameters.java

…

FinalFieldsInitializedNotNull.java

…

FinalGetter.java

…

FinalGettersForFinalFields.java

…

FinalLoopVariableInstanceof.java

…

FinallyEphemeralNpe.java

…

FinallyNotComplex.java

…

FinalStaticFields.java

…

FlatMapSideEffect.java

…

FloatComparisons.java

…

FloatEquality.java

…

FloatingPointCasts.java

…

FloatingPointConstantMath.java

…

FloatingPointMaxLoop.java

…

FloatingPointRanges.java

…

FloatLoop.java

…

FlushedNullableOnUnknownCall.java

…

FlushFurtherUnusedVariables.java

…

FlushVariableOnStackToNotNullType.java

…

ForeachCollectionElement.java

…

ForEachOverEmptyCollection.java

…

ForeachOverWildcards.java

…

ForEachPattern.java

…

FunctionType.java

…

GeneratedEquals.java

…

GenericParameterNullity.java

…

GenericVarargNullability.java

[java-dfa] Test for IDEA-375523 False positive "Argument might be null" with Guava Streams

2025-09-29 09:18:43 +00:00

GetClass.java

…

GetTernary.java

…

GetterNullityAfterCheck.java

…

GetterOfNullableFieldIsNotAnnotated.java

[java-dfa] Use 'non-null variable' instead of 'variable annotated as @NotNull'

2025-07-11 17:16:17 +00:00

GetterOfNullableFieldIsNotNull.java

…

GetterResultsNotSame.java

…

GettersAndPureNoFlushing.java

…

GetterVsDirectAccess.java

…

GetterVsDirectAccessNonFinal.java

…

GetterVsDirectAccessObjectEquals.java

…

GetterVsDirectAccessRecordOverriddenGetter.java

…

GoogleTruth.java

…

GreaterIsNotEquals.java

…

GuavaCheckNotNull.java

…

GuavaFunction.java

…

GuavaIterablesProblems.java

[java-psi] IDEA-379921 Guava. False positive NPE when return value from an unknown list

2025-09-30 08:46:32 +00:00

HardcodedContractNotNullOverride.java

…

HashMapImplementation.java

…

HonorGetterAnnotation.java

…

HugeMethodFlow.java

[java-dfa] PlainDescriptor: use identityHashCode

2025-06-30 12:27:19 +00:00

IDEA84489.java

…

IfConditionsWithAssignmentInside.java

…

IgnoreAssertions.java

…

IgnoreNullabilityOnPrimitiveCast.java

…

ImmutableClassNonGetterMethod.java

…

ImplicitlyInitializedField.java

…

ImplicitUnboxingExtendsInteger.java

…

ImplicitUnboxingInMethodReference.java

…

ImplicitUnboxingOnCast.java

…

ImpossibleType.java

…

IncompleteArrayAccessInLoop.java

…

IncompleteLoop.java

…

IncompleteSwitchEnum.java

…

IncrementParenthesized.java

…

InferenceForNonStableParameters.java

…

InferenceInPrivateOrLocalClass.java

…

InferenceNullityMismatch.java

…

InferNestedForeachNullability.java

…

InherentNumberRanges.java

…

InitArrayInConstructor.java

…

InitializedViaSuperCall.java

…

InlineLambdaFromLocal.java

…

InlineSimpleMethods.java

…

InnerClass.java

…

Instanceof.java

…

InstanceOfForUnknownVariable.java

…

InstanceofFromBoxedObjectToPrimitive.java

…

InstanceofFromObjectToPrimitive.java

…

InstanceofFromPrimitiveToObject.java

…

InstanceofFromPrimitiveToPrimitive.java

…

InstanceOfPattern.java

…

InstanceOfPatternAffectNullity.java

…

InstanceOfTernary.java

…

InstanceOfUnresolved.java

…

InstanceOfUnresolvedType.java

…

InstanceOfWidening.java

…

InstanceQualifiedStaticMember.java

…

InternedStringConstants.java

…

IntersectionTypeInstanceof.java

…

IntLongTypeConversion.java

…

IoContracts9.java

…

IoContracts.java

…

IteratePositiveCheck.java

…

IteratorHasNextModifiesPrivateField.java

…

JetBrainsNotNullByDefault.java

[java-psi] PsiLiteralExpressionImpl: return mandated not-null type

2025-10-06 11:23:47 +00:00

JmhParamRange.java

…

JoinConstantAndSubtype.java

…

JSpecifyArrayNullability.java

[java-inspections] IDEA-380526 Jspecify. False positive. Non-null type argument is expected for Array type

2025-11-07 03:31:56 +00:00

JSpecifyCallExplicitTypeParameters.java

[java-dfa] Support type hierarchy for parameters

2025-05-14 15:30:12 +00:00

JSpecifyGetOrDefault.java

…

JSpecifyIntersectionBound.java

[java-analysis] Remove old algorithm for determining type nullability

2025-07-04 15:05:13 +00:00

JSpecifyLambdaTernary.java

[java-analysis] Pass nullability in PsiConditionalExpressionImpl::getType and in PsiCorrectedClassType

2025-07-03 17:08:20 +00:00

JSpecifyListOfNullable.java

[java-analysis] IDEA-375487 Nullability doesn't work for captured wildcard type

2025-07-04 15:05:13 +00:00

JSpecifyLocalWithGenerics.java

…

JSpecifyLocalWithGenericsWithVar.java

[java-inspections] IDEA-381019 Invalid local variable type inference in JSpecify mode with generic functions

2025-10-28 19:20:57 +00:00

JSpecifyNullMarkedLocals.java

…

JSpecifyNullUnmarkedOverNullMarked.java

[java-analysis] IDEA-375799 Container nullability annotation on the method has no effect on method return type

2025-07-11 17:16:17 +00:00

JSpecifyReturnFromGenericFunctions.java

[java-analysis] Use type nullability in DFA

2025-06-12 12:11:23 +00:00

JSpecifyReturnFromParameterized.java

…

JSpecifySuperBound.java

[java-dfa] IDEA-377694 Nullable incompatibilities (not sure). Calls with nullable supertypes

2025-10-06 11:23:47 +00:00

JSpecifyUnboxingInLambda.java

…

JSpecifyUpperBound.java

…

Jsr305CheckForNullAsQualifierNickname.java

…

Jsr305NicknameAsTypeAnnotation.java

[java-dfa] Support annotation nicknames in getAnnotationNullability()

2025-05-15 16:11:33 +00:00

Jsr305TypeUseNoLocal.java

…

Junit5Assert.java

…

KeepComments_after.java

…

KeepComments.java

…

LambdaAfterNullCheck.java

…

LambdaAutoCloseable.java

…

LambdaInlineReassignReturnWithDeeperEquality.java

…

LambdaInlining.java

…

LambdaParametersWithDefaultNullability.java

…

LambdaReturnFromTypeUse.java

…

LambdaWritesArrayInTry.java

…

LargeIntegersAreNotEqualWhenBoxed.java

…

LastConstantConditionInAnd.java

…

LessThanRelations.java

…

LiteralDoWhileCondition_after.java

…

LiteralDoWhileCondition.java

…

LiteralDoWhileConditionWithBreak.java

…

LiteralIfCondition.java

…

LiteralWhileCondition_after.java

…

LiteralWhileCondition.java

…

LocalClass.java

…

LocalityAndConditionalExpression.java

…

LongCircuitOperations.java

…

LongDisjunctionsNotComplex.java

…

LongMinValue.java

…

LongRangeAnnotation.java

…

LongRangeBasics.java

…

LongRangeDiff.java

…

LongRangeDivShift.java

…

LongRangeKnownMethods.java

…

LongRangeLoop.java

…

LongRangeMod.java

…

LongRangeMul.java

…

LongRangePlusMinus.java

…

LoopDoubleComparisonNotComplex.java

…

ManyAdditionsDoNotCauseExponentialBlowUp.java

…

ManyBooleans.java

…

ManyContinuesNotComplex.java

…

ManyDisjunctiveFieldAssignmentsInLoopNotComplex.java

…

ManyDistinctPairsNotComplex.java

…

ManyNestedOptionals.java

…

ManyObjectEquals2.java

…

ManyObjectEquals.java

…

ManySequentialIfsNotComplex.java

…

ManySequentialInstanceofsNotComplex.java

…

MapGetWithValueNullability.java

…

MapUpdateInlining.java

…

MatchExceptionDoubleNestedDeconstruction.java

[java-inspections] IDEA-349198 IJ-CR-190983 Catch deconstruction on null value

2026-02-11 14:51:17 +00:00

MatchExceptionNestedDeconstruction.java

[java-inspections] IDEA-349198 IJ-CR-190983 Catch deconstruction on null value

2026-02-11 14:51:17 +00:00

MatchExceptionNestedSealedClass.java

[java-inspections] IDEA-349198 IJ-CR-190983 Catch deconstruction on null value

2026-02-11 14:51:17 +00:00

MatchExceptionSealedClass.java

[java-inspections] IDEA-349198 IJ-CR-190983 Catch deconstruction on null value

2026-02-11 14:51:17 +00:00

MaxLoop.java

…

MergeByNullability.java

…

MergedInitializerAndConstructor.java

…

MethodCallFlushesField.java

…

MethodParametersCanChangeNullability.java

…

MethodReferenceBoundToNullable.java

…

MethodReferenceConstantValue.java

…

MethodReferenceNullableToNotNull.java

…

MethodReferenceOnNullable.java

…

MethodReturnTypeUnmodifiableAnnotation.java

…

MethodVsExpressionTypeAnnotationConflict.java

…

ModifyListInLambda.java

…

ModPlus.java

…

ModRange.java

…

ModSpecialCase.java

…

MultiCatch.java

…

MultiDimensionalArrays.java

…

MutabilityBasics.java

…

MutabilityInferred.java

…

MutabilityJdk9.java

…

MutabilityJdk21.java

[java-dfa] Simplify Mutability computation using external annotations

2025-06-16 15:03:39 +00:00

MutabilityJdk.java

…

MutableNotAnnotatedFieldsTreatment.java

…

MutableNullableFieldsTreatment.java

…

MutableVolatileNullableFieldsTreatment.java

…

MutationContractFromSource.java

…

MutationContractInFlush.java

…

NanComparisonWrong.java

…

NestedFinally.java

…

NestedRecordPatterns.java

…

NestedScopeComplexity.java

…

NestedTryInWhileNotComplex.java

…

NestedUnrolledLoopNotComplex.java

…

NestedVersusSuper.java

…

NewBoxedNumberEquality.java

…

NewCollectionAliasing.java

…

NewExpressionAnnotations.java

…

NewMethodReferenceMustBeNonNull.java

…

NewStringWrongEquals.java

…

NoConfusionWithAnonymousConstantInitializer.java

…

NoGenericCCE.java

…

NoMatchExceptionDoubleNestedDeconstructionWithDominated.java

[java-inspections] IDEA-349198 IJ-CR-190983 Catch deconstruction on null value

2026-02-11 14:51:17 +00:00

NoMatchExceptionMostNestedDeconstruction.java

[java-inspections] IDEA-349198 IJ-CR-190983 Catch deconstruction on null value

2026-02-11 14:51:17 +00:00

NoMatchExceptionNestedDeconstructionWithDefault.java

[java-inspections] IDEA-349198 IJ-CR-190983 Catch deconstruction on null value

2026-02-11 14:51:17 +00:00

NoMatchExceptionSealedClassDataFlow.java

[java-inspections] IDEA-349198 IJ-CR-190983 Catch deconstruction on null value

2026-02-11 14:51:17 +00:00

NoMatchExceptionSealedClassWithDominated.java

[java-inspections] IDEA-349198 IJ-CR-190983 Catch deconstruction on null value

2026-02-11 14:51:17 +00:00

NoMatchExceptionSealedClassWithNullDefault.java

[java-inspections] IDEA-349198 IJ-CR-190983 Catch deconstruction on null value

2026-02-11 14:51:17 +00:00

NonNullWhenUnknown.java

…

NoNonSensicalFixesOnCastedNull.java

…

NoParenthesesWarnings.java

…

NotEqualsDoesntImplyNotNullity.java

…

NotEqualsTypo.java

…

NotGreaterIsNotEquals.java

…

NotNullAfterDereference.java

…

NotNullAnonymousConstructor.java

…

NotNullCatchParameter.java

…

NotNullLambdaParameter.java

…

NotNullOnSuperParameter.java

…

NotNullOptionalLambdaParameter.java

…

NotNullOverridesNullable.java

…

NotNullPrimitive.java

…

NullabilityAfterCastAndInstanceOf.java

…

NullabilityAnnotationOnModule.java

…

NullabilityBasics.java

…

NullabilityDefaultVsMethodImplementing.java

…

NullabilityInEnumSwitch.java

…

NullabilityJdk11.java

…

NullableAliasing.java

…

NullableAnonymousMethod.java

…

NullableAnonymousParameter.java

…

NullableAnonymousVolatile.java

…

NullableAnonymousVolatileNotNull.java

[java-dfa] Use 'non-null variable' instead of 'variable annotated as @NotNull'

2025-07-11 17:16:17 +00:00

NullableArray.java

…

NullableArrayComponent.java

…

NullableBoolean.java

…

NullableCallWithPrecalculatedValueAndSpecialField.java

…

NullableField.java

…

NullableForeachVariable.java

…

NullableGetterInLoop.java

…

NullableMethodReturningNotNull.java

…

NullableNotNullAssignmentInReturn.java

…

NullableOnSuperParameter.java

…

NullableReturn.java

…

NullableTernaryInConstructor.java

…

NullableVoidLambda.java

…

NullArgumentButParameterIsReassigned.java

…

NullArgumentIfMethodExecutionFailsAnyway.java

…

NullArgumentIsFailingMethodCall.java

…

NullArgumentIsNotFailingMethodCall.java

…

NullCheckDoesntAffectUncheckedCast.java

…

NullFlushed.java

…

NullLiteralAndInferredMethodContract.java

…

NullLiteralArgumentDoesntReportedWhenMethodOnlyThrowAnException.java

…

NullLiteralArgumentValueUsedAsReturnValue.java

…

NullWarningAfterInstanceofAndNullCheck.java

…

NullWarningAfterInstanceofCheck.java

…

NumberComparisonsWhenValueIsKnown.java

…

NumericCast.java

…

ObjectLocality.java

…

ObjectsEquals.java

…

ObjectsNonNullWithUnknownNullable.java

…

ObjectsRequireNonNullElse.java

…

ObjectUtilsNullMethods.java

[java-dfa] Native support of ObjectUtils.{all,any}[not]Null methods

2025-06-10 11:20:40 +00:00

OmnipresentExceptions.java

…

OptionalAsQualifier.java

…

OptionalInference.java

IDEA-382900 [java-dfa] False positive null check inspection for Optional

2026-01-23 17:19:03 +00:00

OptionalInlining.java

…

OptionalIntSwitch.java

…

OptionalIsPresent.java

…

OptionalOfNullable.java

…

OptionalOrElse.java

…

OptionalStreamInlining.java

…

OptionalThis.java

…

OptionalTooComplex.java

…

OptionalValueTracking.java

…

OrWithAssignment.java

…

OtherCallMayChangeFields.java

…

OverridingInferredNotNullMethod.java

…

OverwrittenParameter.java

…

ParallelStreamThreadId.java

…

ParamContract.java

…

ParamContractBoolean.java

…

ParameterNullabilityFromSwitch.java

…

ParametersAreNonnullByDefault.java

…

ParanoidMode.java

…

PassingNullableIntoVararg.java

…

PassthroughGenericParameter.java

[java-analysis] Use type nullability in DFA

2025-06-12 12:11:23 +00:00

PatternInStreamNotComplex.java

…

Patterns.java

…

PatternsNullability.java

…

PolyadicEquality.java

…

PrecalculatedTrimValue.java

…

PredicateNot.java

…

PreserveNullableOnUncheckedCast.java

…

PresizedList.java

…

PrimitiveCastMayChangeValue.java

…

PrimitiveGetters.java

…

PrimitiveInVoidLambda.java

…

PrimitiveNull.java

…

PrimitiveOptional.java

…

PrimitiveTypeFieldInWrapper.java

…

PrivateFieldPureMethod.java

IDEA-381915 [java-dfa] False positive nullability warning on Nullable private field previously checked for null

2025-11-10 19:39:07 +00:00

PrivateMethodDoNotFlushFinalFields.java

…

ProtobufNotNullGetters.java

…

PureMethodReadsMutableArray.java

…

PureNoArgMethodAsVariable.java

…

QualifiedThis.java

…

QualifiedValueFromConstant.java

…

QualifierEquality.java

…

QueuePeek.java

…

ReadResolve2.java

…

ReadResolve.java

…

ReapplyTypeArguments.java

…

ReassignedAfterNullCheck.java

…

ReassignedVarInLoop.java

…

ReassignInConstructor.java

…

RecordAccessorContainerAnnotation.java

…

RecordAccessorStability.java

…

RecordComponentAnnotate_after.java

…

RecordComponentAnnotate.java

…

RecordPatternAndWhen.java

…

RecordPatternNested.java

…

RecordPatterns.java

…

ReduceBinOpOnCast.java

…

RedundantAssignment_after.java

…

RedundantAssignment.java

…

RedundantSimplifyToFalseQuickFix.java

…

RelationsOnAddition.java

…

RememberLocalTransientFieldState.java

…

ReportAlwaysNull.java

…

ReportConstantReferences_after.java

…

ReportConstantReferences_OverloadedCall_after.java

…

ReportConstantReferences_OverloadedCall.java

…

ReportConstantReferences.java

…

ReportConstantReferencesAfterFinalFieldAccess.java

…

RequireNonNullMethodRef.java

[java-analysis] Use type nullability in DFA

2025-06-12 12:11:23 +00:00

ReturningConstantExpression.java

…

ReturningNonNullFromMethodWithNullableArrayInReturnType.java

…

ReturningNullConstant.java

…

ReturningNullFromTypeAnnotatedNullableMethod.java

…

ReturningNullFromVoidMethod.java

…

ReturnNullInLambdaExpression.java

…

ReturnNullInLambdaStatement.java

…

ReturnOrElseNull.java

…

RewiringSubclassMethod.java

…

RewriteFinal.java

…

RootThrowableCause.java

…

SameArguments.java

…

SameComparisonTwice.java

…

SealedClassCast.java

…

SetterAndGetter.java

[java-dfa] Use 'non-null variable' instead of 'variable annotated as @NotNull'

2025-07-11 17:16:17 +00:00

SideEffectNoBrace_after.java

…

SideEffectNoBrace.java

…

SideEffectReturn_after.java

…

SideEffectReturn.java

…

SideEffectWhile_after.java

…

SideEffectWhile.java

…

SimplifyConcatWithParentheses_after.java

…

SimplifyConcatWithParentheses.java

…

SkipAssertions.java

…

SkipSwitchExpressionWithThrow.java

…

SpotBugsDefaultAnnotation.java

…

SpringAssert.java

…

StaticConstantType.java

…

StaticEqualsContract.java

…

StaticFieldInAnonymous.java

…

StaticFieldsWithNewObjects.java

…

StreamAnyMatchIsNull.java

…

StreamCollectInlining.java

…

StreamCollector10Inlining.java

…

StreamCollectorInlining.java

…

StreamComparatorInlining.java

…

StreamCustomSumMethod.java

…

StreamFindFirstExpectNotNull.java

…

StreamFlatMapOptional.java

…

StreamGroupingBy.java

…

StreamInlining.java

…

StreamKnownSource.java

…

StreamNestedIncomplete.java

…

StreamReduceLogicalAnd.java

…

StreamSingleElementReduce.java

[java-psi] PsiLiteralExpressionImpl: return mandated not-null type

2025-10-06 11:23:47 +00:00

StreamToCollectionInlining.java

…

StreamToMapInlining2.java

…

StreamToMapInlining.java

…

StreamTypeAnnoInlining.java

…

StringBuilderLengthReturn.java

…

StringConcat.java

…

StringConcatAlwaysNotNull.java

…

StringContains.java

…

StringEquality.java

…

StringEqualityNewStringInMethod.java

…

StringIndexOfRelation.java

[java-dfa] IDEA-373973 Wrong inspection on String.isEmpty()

2025-07-21 10:14:00 +00:00

StringSubstring.java

…

StringTemplates.java

…

StringTernaryAlwaysTrue.java

…

StringToCharArray.java

…

SuperCallMayChangeFields.java

…

SuppressConstantBooleans.java

…

Suppression.java

…

SuppressStaticFlags.java

…

SuppressZeroReport.java

…

SuspiciousLabelElements.java

…

SuspiciousLabelElementsJava19.java

…

SuspiciousLabelElementsJava20.java

…

SwitchBooleanWhen.java

…

SwitchEnumConstant.java

…

SwitchExpressionAndLambdaInlining.java

…

SwitchExpressions.java

…

SwitchExpressionsNullability.java

…

SwitchLabelNull.java

…

SwitchNoUnreachableBranchesDueToUnresolvedType.java

[java-dfa] Switching on expression of unknown type should not mark branches as unreachable

2025-05-23 16:06:16 +00:00

SwitchNullability.java

…

SwitchOnNullable.java

…

SwitchPatternInGuard.java

…

SwitchStatements.java

…

SwitchStatementUnreachableBranches.java

…

SwitchWhenReturnBoolean.java

…

SwitchWithPrimitive.java

…

SymmetricUncheckedCast.java

…

SynchronizingOnNullable.java

…

SystemOutNullSource.java

…

TakeWhileUpdate.java

[java-dfa] StreamChainInliner: support takeWhile and dropWhile

2025-07-09 19:21:12 +00:00

TempVarsInContracts.java

…

TernaryExpressionNumericType.java

…

TernaryInWhileNotComplex.java

…

TernaryNullability.java

…

ThisAsVariable.java

…

ThisFieldGetters.java

…

ThisInEnumSubclass.java

…

ThrowNull.java

…

ThrowNullable.java

…

TransformMethod.java

…

TransientFinalField.java

…

TrueOrEqualsSomething_after.java

…

TrueOrEqualsSomething.java

…

TryCatchInForNotComplex.java

…

TryFinallyInsideFinally.java

…

TryFinallySimple.java

…

TryInAnonymous.java

…

TryReturnCatchInWhileNotComplex.java

…

TryWithResourceExpressions.java

…

TryWithResourcesCloseException.java

…

TryWithResourcesCloseThrows.java

…

TryWithResourcesInstanceOf.java

…

TryWithResourcesNullability.java

…

TwoArraysDiff.java

…

TwoFlagsMixed.java

…

TypeParameterAsSuperClass.java

…

TypeQualifierNickname.java

…

TypeUseAmbiguousArrayReturn.java

…

TypeUseInferenceInsideRequireNotNull.java

…

TypeUseLambdaReturn.java

…

TypeUseVarArg.java

…

UnaryPlusMinus.java

…

UnboxingBoxingInLambdaReturn.java

…

UnboxingInMethodReferences.java

…

UnboxingWithConversionCalls.java

…

UnconditionalForLoop.java

…

UnknownComparedToNullable.java

…

UnknownFloatMayBeNaN.java

…

UnknownNullability.java

…

UnknownOnStack.java

…

UnnamedPatterns.java

…

UnnamedPatternsJava22.java

…

UnusedCallDoesNotMakeUnknown.java

…

UseInferredContracts.java

…

UsingInterfaceConstant.java

…

VarargConstructorNoArgs.java

…

VarargNotNull.java

…

VariablesDiverge.java

…

VisitFinallyOnce.java

…

VoidIsAlwaysNull.java

…

VolatileFieldNPEFixes.java

…

WhenPatterns.java

…

WhileNotComplex.java

…

WideningToDouble.java

…

WidenMismatch.java

…

WidenMulInLoop.java

…

WidenPlusInLoop.java

…

Xor.java

…

XorNullity.java

…