peter 2eee8cdfbc dfa live var analysis: flush variables when they are assigned and not when the value to be assigned it pushed onto the stack (IDEA-131659)

2014-10-21 18:52:50 +02:00

..

AlexBug

adapt dfa testAlexBug to jdk notnull inference

2014-07-10 10:35:54 +02:00

andEq

…

ArrayAccessDoesntCancelAnalysis

…

ArrayAccessNPE

…

autoboxing

…

boxingBoolean

dfa: don't forget facts coming from boxed booleans after they're flushed

2014-09-23 18:42:57 +02:00

BoxingNaN

…

caseAndNpe

dfa: take into account known variable values when handling number comparisons (IDEA-126446)

2014-07-18 09:14:06 +02:00

CatchParameterCantBeNull

…

cce

…

CheckedExceptionDominance

dfa: support contracts with no args (IDEA-127768)

2014-07-29 19:33:15 +02:00

compileTimeConst

…

ConditionFalseAndNPE

…

constantExpr

…

ConstantsDifferentTypes

…

contractCheck

contract checker: relax fail result validation to accept every call as a potential hazard, and don't continue with dfa

2014-10-01 20:09:11 +02:00

exceptionCFG

…

FieldsFlashing

…

finalFields

…

fixture

dfa live var analysis: flush variables when they are assigned and not when the value to be assigned it pushed onto the stack (IDEA-131659)

2014-10-21 18:52:50 +02:00

ForeachFlow

…

ForEachNPE

…

GenericInstanceof

…

IDEA1840

…

IDEADEV1575

…

IDEADEV2605

…

IDEADEV10489

dfa: support contracts with no args (IDEA-127768)

2014-07-29 19:33:15 +02:00

IDEADEV11033

…

IDEADEV13153

…

IDEADEV13156

…

IDEADEV15583

…

IDEADEV74518

…

IDEADEV74518_2

…

IDEADEV77819

…

IDEADEV78370

…

inst

…

Instanceof

…

NotNullable

…

NotNullableParameter

…

NotNullableParameter2

…

NotNullArray

…

NotNullLocalVariable

…

npe1

…

Nullable

…

nullableField

…

NullableLocalVariable

…

NullableProblemThroughCast

…

NullableReturn

…

NullableReturn1

…

NullableThroughCast

…

NullableThroughVariable

…

NullableThroughVariableShouldNotBeReported

…

orBug

…

PlusOnStrings

…

RegressionByPti

…

SCR13626

…

SCR13702

…

SCR13871

…

SCR14314

…

SCR14819

…

SCR15162

…

SCR15406

uncomment and fix one dfa test

2012-10-11 20:21:49 +02:00

SCR18186

…

SCR39950

…

scrIDEA1

…

StrangeArrayIndexOutOfBounds

…

SwitchEnumCases

…

SwitchQualifierProducesNPE

…

thisInstanceof

…

unboxingNPE

immutable DfaVariableState, for faster copying and less memory usage

2013-09-23 16:30:25 +02:00

wrongEqualTypes

…

xor

…

YoleBug

…