openide

AccessingSameArrayElements.java

…

AccessorPlusMutator.java

…

AndEquals.java

…

AnnotatedTypeParameters.java

…

AnnotationMethodNotNull.java

…

AnnReport.java

…

AnonymousFieldIndependence.java

…

AnonymousMethodIndependence.java

…

ArrayComponentAndMethodAnnotationConflict.java

array which elements are @NotNull -> array of @NotNull elements

2017-09-06 15:53:31 +07:00

ArrayInitializerLength.java

ControlFlowAnalyzer: fixed random activity test

2017-10-03 16:39:48 +07:00

ArrayLength.java

…

ArrayStoreProblems.java

DataFlowInspection: detect possible ArrayStoreException

2017-10-10 09:37:12 +07:00

AssertFailInCatch.java

…

AssertTestNg.java

…

AssertThat.java

…

AssertThrowsAssertionError.java

…

AssertTrueNotComplex.java

…

AssigningClassLiteralToNullable.java

…

AssigningNullableToNotNull.java

…

AssigningUnknownToNullable.java

…

AssumeThat.java

…

BigMethodNotComplex.java

…

BitwiseNegatedBoxed.java

…

BooleanPreconditions.java

…

BoxedNaN.java

…

Boxing128.java

…

BoxingImpliesNotNull.java

…

BreakContinueViaFinally.java

…

BuildRegexpNotComplex.java

…

ByteBufferGetter.java

…

CanBeNullDoesntImplyIsNull.java

…

CapturedWildcardNotNull.java

…

CastInstanceOf.java

DFA: Type cast processing fixes

2017-10-20 16:07:26 +07:00

CatchRuntimeException.java

…

CatchThrowable.java

…

ChainedFinalFieldAccessorsDfa.java

…

ChainedFinalFieldsDfa.java

…

CheckComplementarityWhenMerge.java

…

CheckEnumConstantConstructor.java

…

CheckFieldInitializers.java

…

ClosureVariableField.java

…

CompareToEnumConstant.java

…

ComparingIntToDouble.java

…

ComparingNullableToNullable.java

…

ComparingNullableToUnknown.java

…

ComparingNullToNotNull.java

…

ComparingToNotNullShouldNotAffectNullity.java

…

ComparingToNullableShouldNotAffectNullity.java

…

CompileTimeConstant.java

…

ComplexInitializer.java

DFA: united control flow for class initializer

2017-09-06 10:54:47 +07:00

ConstantConditionsWithAssignmentsInside.java

…

ConstantDoubleComparisons.java

…

ContinueFlushesLoopVariable.java

…

ContractAnnotation.java

…

ContractConstructor.java

…

ContractInapplicableComparison.java

…

ContractInferenceBewareOverriding.java

…

ContractInLoopNotTooComplex.java

…

ContractPreservesUnknownMethodNullability.java

…

ContractPreservesUnknownNullability.java

…

ContractSeveralClauses.java

…

ContractVarargs.java

…

ContractWithManyParameters.java

…

ContractWithNoArgs.java

…

ContractWithNotNull.java

…

ContractWithNullable.java

…

CovariantReturn.java

DfaTypeValue -> DfaFactMapValue followup fixes; better cast processing

2017-10-20 15:45:54 +07:00

CustomContracts.java

…

CustomDefaultInEnums.java

…

CustomTypeQualifierDefault.java

…

DecrementAnotherObjectField.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

…

DoubleCCEWarning.java

…

DoubleNaN.java

…

EffectivelyUnqualified.java

…

EmptyCallDoesNotMakeNullable.java

…

EmptySingletonMap.java

…

EnumConstantNotNull.java

…

EqualsConstant.java

…

EqualsEnumConstant.java

…

EqualsHasNoSideEffects.java

…

EqualsImpliesNotNull.java

…

EqualsNotNull.java

DFA: skipConstantConditionReporting/silenceConstantCondition removed

2017-09-19 18:16:40 +07:00

ExceptionFromFinally.java

…

ExceptionFromFinallyNesting.java

…

ExplicitlyNullableLocalVar.java

…

FalseForConditionNoInitialization_after.java

…

FalseForConditionNoInitialization.java

…

FalseForConditionWithInitialization_after.java

…

FalseForConditionWithInitialization.java

…

FalseGetters.java

…

FieldAssignedNegative.java

DfaMemoryStateImpl#resolveVariableValue: filter special fields

2017-09-08 14:29:32 +07:00

FieldChangedBetweenSynchronizedBlocks.java

…

FieldInAnonymous.java

…

FieldInitializerInAnonymous.java

…

FieldUsedBeforeInitialization.java

DFA: united control flow for class initializer

2017-09-06 10:54:47 +07:00

FinalFieldDuringInitialization.java

…

FinalFieldDuringSuperInitialization.java

…

FinalFieldInCallBeforeInitialization.java

…

FinalFieldInConstructorAnonymous.java

…

FinalFieldNotDuringInitialization.java

…

FinalFieldsDifferentInstances.java

…

FinalFieldsInitializedByAnnotatedParameters.java

…

FinalFieldsInitializedNotNull.java

…

FinalGetter.java

…

FinalLoopVariableInstanceof.java

…

FinallyNotComplex.java

…

FloatComparisons.java

…

FloatEquality.java

…

FlushFurtherUnusedVariables.java

…

FlushVariableOnStackToNotNullType.java

…

ForEachOverEmptyCollection.java

…

ForeachOverWildcards.java

…

GeneratedEquals.java

…

GenericParameterNullity.java

…

GetterOfNullableFieldIsNotAnnotated.java

data flow inspection: getters without explicit nullable annotation are nullable if their fields are nullable

2017-09-22 11:38:32 +03:00

GetterOfNullableFieldIsNotNull.java

data flow inspection: getters without explicit nullable annotation are nullable if their fields are nullable

2017-09-22 11:38:32 +03:00

GetterResultsNotSame.java

…

GettersAndPureNoFlushing.java

…

GoogleTruth.java

…

GreaterIsNotEquals.java

…

GuavaCheckNotNull.java

…

HonorGetterAnnotation.java

DFA: united control flow for class initializer

2017-09-06 10:54:47 +07:00

IDEA84489.java

…

IfConditionsWithAssignmentInside.java

…

IgnoreAssertions.java

…

IgnoreNullabilityOnPrimitiveCast.java

…

ImmutableClassNonGetterMethod.java

…

ImplicitlyInitializedField.java

…

IncrementParenthesized.java

…

InferNestedForeachNullability.java

a rough fix for dfa false positive with nested for loop over a reassigned array variable (IDEA-CR-25468)

2017-10-14 07:53:14 +02:00

InherentNumberRanges.java

…

InnerClass.java

IDEA-178944 No warning on inner class creation from nullable reference

2017-09-14 12:22:34 +07:00

InternedStringConstants.java

…

IntersectionTypeInstanceof.java

…

IteratePositiveCheck.java

DfaMemoryStateImpl#isSuperStateOf is more precise now

2017-09-11 13:37:54 +07:00

Junit5Assert.java

…

LambdaInlining.java

ControlFlowAnalyzer: store lambda return val to variable when inlining block

2017-09-18 14:45:40 +07:00

LambdaParametersWithDefaultNullability.java

…

LargeIntegersAreNotEqualWhenBoxed.java

…

LastConstantConditionInAnd.java

…

LiteralDoWhileCondition_after.java

…

LiteralDoWhileCondition.java

…

LiteralDoWhileConditionWithBreak.java

…

LiteralIfCondition.java

…

LiteralWhileCondition_after.java

…

LiteralWhileCondition.java

…

LocalClass.java

…

LongCircuitOperations.java

…

LongDisjunctionsNotComplex.java

…

LongRangeAnnotation.java

DfaFactType: fixed default range for float/double; tests

2017-10-06 11:38:50 +07:00

LongRangeBasics.java

…

LongRangeKnownMethods.java

…

LongRangeLoop.java

…

ManyContinuesNotComplex.java

…

ManyDisjunctiveFieldAssignmentsInLoopNotComplex.java

…

ManyDistinctPairsNotComplex.java

…

ManySequentialIfsNotComplex.java

…

ManySequentialInstanceofsNotComplex.java

…

MapGetWithNotNullKeys.java

hardcode Map#get as having unknown nullity (IDEA-176626)

2017-10-12 20:02:39 +02:00

MergeByNullability.java

…

MethodCallFlushesField.java

…

MethodParametersCanChangeNullability.java

…

MethodReferenceConstantValue.java

…

MethodReferenceOnNullable.java

…

MethodVsExpressionTypeAnnotationConflict.java

…

MultiCatch.java

…

MutableNotAnnotatedFieldsTreatment.java

…

MutableNullableFieldsTreatment.java

…

MutableVolatileNullableFieldsTreatment.java

…

NestedFinally.java

…

NestedTryInWhileNotComplex.java

…

NoConfusionWithAnonymousConstantInitializer.java

…

NoGenericCCE.java

…

NoNonSensicalFixesOnCastedNull.java

…

NoParenthesesWarnings.java

…

NotEqualsDoesntImplyNotNullity.java

…

NotEqualsTypo.java

…

NotGreaterIsNotEquals.java

…

NotNullAfterDereference.java

…

NotNullCatchParameter.java

…

NotNullLambdaParameter.java

…

NotNullOnSuperParameter.java

…

NotNullOptionalLambdaParameter.java

…

NotNullOverridesNullable.java

…

NotNullPrimitive.java

…

NullabilityDefaultVsMethodImplementing.java

…

NullableAnonymousMethod.java

…

NullableAnonymousParameter.java

…

NullableAnonymousVolatile.java

…

NullableAnonymousVolatileNotNull.java

…

NullableArray.java

…

NullableArrayComponent.java

…

NullableBoolean.java

…

NullableField.java

DfaTypeValue -> DfaFactMapValue followup fixes; better cast processing

2017-10-20 15:45:54 +07:00

NullableForeachVariable.java

…

NullableMethodReturningNotNull.java

…

NullableVoidLambda.java

…

NullArgumentButParameterIsReassigned.java

…

NullArgumentIfMethodExecutionFailsAnyway.java

…

NullArgumentIsFailingMethodCall.java

…

NullArgumentIsNotFailingMethodCall.java

…

NullCheckBeforeInstanceof.java

…

NullCheckDoesntAffectUncheckedCast.java

…

NullLiteralAndInferredMethodContract.java

…

NullLiteralArgumentDoesntReportedWhenMethodOnlyThrowAnException.java

…

NullLiteralArgumentValueUsedAsReturnValue.java

…

NumberComparisonsWhenValueIsKnown.java

…

OmnipresentExceptions.java

…

OptionalGetWithoutIsPresent.java

…

OptionalInlining.java

IDEA-179383 Warning that method is too complex even if method is very simple

2017-09-22 12:29:31 +07:00

OptionalIsPresent.java

…

OptionalOfNullable.java

…

OptionalOrElse.java

…

OptionalThis.java

…

OtherCallMayChangeFields.java

…

OverridingInferredNotNullMethod.java

…

ParametersAreNonnullByDefault.java

…

ParanoidMode.java

…

PassingNullableIntoVararg.java

…

PreserveNullableOnUncheckedCast.java

…

PrimitiveCastMayChangeValue.java

…

PrimitiveInVoidLambda.java

…

QualifiedThis.java

…

QualifierEquality.java

…

RememberLocalTransientFieldState.java

…

ReportConstantReferences_after.java

…

ReportConstantReferences_OverloadedCall_after.java

…

ReportConstantReferences_OverloadedCall.java

…

ReportConstantReferences.java

…

ReportConstantReferencesAfterFinalFieldAccess.java

…

ReturningConstantExpression.java

…

ReturningNullConstant.java

…

ReturningNullFromTypeAnnotatedNullableMethod.java

…

ReturningNullFromVoidMethod.java

…

ReturnNullInLambdaExpression.java

…

ReturnNullInLambdaStatement.java

…

RootThrowableCause.java

…

SameComparisonTwice.java

…

SkipAssertions.java

…

SpringAssert.java

…

StaticFieldsWithNewObjects.java

DFA: make distinct static fields initialized with new objects

2017-09-05 14:06:19 +07:00

StreamComparatorInlining.java

StreamInlining split into two tests (IDEA-CR-24483)

2017-09-15 10:35:03 +07:00

StreamInlining.java

StreamInlining split into two tests (IDEA-CR-24483)

2017-09-15 10:35:03 +07:00

StreamKnownSource.java

…

StringConcatAlwaysNotNull.java

…

StringTernaryAlwaysTrue.java

…

SuperCallMayChangeFields.java

…

SuppressStaticFlags.java

…

SwitchEnumConstant.java

…

SwitchOnNullable.java

…

SymmetricUncheckedCast.java

…

SynchronizingOnNullable.java

…

TernaryInWhileNotComplex.java

…

ThisFieldGetters.java

…

ThrowNull.java

…

ThrowNullable.java

…

TransientFinalField.java

…

TrueOrEqualsSomething_after.java

…

TrueOrEqualsSomething.java

…

TryCatchInForNotComplex.java

…

TryFinallyInsideFinally.java

…

TryInAnonymous.java

…

TryReturnCatchInWhileNotComplex.java

…

TryWithResourceExpressions.java

ControlFlowAnalyzer: pop result of resource expression (Java 9)

2017-10-09 15:59:45 +07:00

TryWithResourcesInstanceOf.java

…

TryWithResourcesNullability.java

…

TypeQualifierNickname.java

…

UnboxingBoxingInLambdaReturn.java

…

UnboxingInMethodReferences.java

…

UnconditionalForLoop.java

…

UnknownFloatMayBeNaN.java

…

UnusedCallDoesNotMakeUnknown.java

…

UseInferredContracts.java

…

UsingInterfaceConstant.java

…

VarargNotNull.java

…

VariablesDiverge.java

…

VisitFinallyOnce.java

…

VolatileFieldNPEFixes.java

…

WhileNotComplex.java

…

Xor.java

…