 peter
|
046b657318
|
IDEA-111456 An inspection to check method contract well-formedness
|
2013-08-07 20:25:51 +02:00 |
|
|
peter
|
012d1147d4
|
dfa inspection CCE analyzer should check erasures only
|
2013-08-05 16:39:28 +02:00 |
|
|
peter
|
e8ee43cdee
|
disable constant value warnings in complex assignments (IDEA-111478)
|
2013-08-05 13:44:51 +02:00 |
|
|
peter
|
ee51eccbf3
|
dfa should box primitive values coerced into Object (IDEA-111445)
|
2013-08-02 15:55:03 +02:00 |
|
|
peter
|
9329331182
|
IDEA-104754 Good code yellow: Unboxing
|
2013-07-31 17:49:44 +02:00 |
|
|
peter
|
96d78ee5e8
|
dfa: suggest to replace variable with int constant (IDEA-111178)
|
2013-07-29 19:51:56 +02:00 |
|
|
peter
|
d0e4d4fd1b
|
support multi-clause contracts (IDEA-93372)
|
2013-07-23 13:16:23 +02:00 |
|
|
peter
|
fd800a7537
|
add @Contract annotation (IDEA-93372)
|
2013-07-23 12:04:54 +02:00 |
|
|
peter
|
7226ea7d0c
|
no non-physical elements in dfa inspection
|
2013-07-16 09:48:49 +02:00 |
|
|
peter
|
4774b1e0e2
|
suggest to replace with constant reference rather than its value
|
2013-07-15 16:42:36 +02:00 |
|
|
peter
|
f982bfccb5
|
"replace with constant value" works with string and enum constants (EA-47692)
|
2013-07-15 15:20:36 +02:00 |
|
|
peter
|
18b1df7dbb
|
IDEA-110398 Catch NullPointerException is "not null" while throwing null is false
|
2013-07-12 14:28:46 +02:00 |
|
|
peter
|
e5c829c66b
|
IDEA-69573 ConstantConditions - Warn when reading a variable that is guaranteed to be null
|
2013-07-09 16:12:33 +02:00 |
|
|
peter
|
97e82d7a5d
|
IDEA-109222 Nullity is not inferred correctly.
|
2013-07-04 19:55:10 +02:00 |
|
|
peter
|
9d1f0d801e
|
IDEA-107071 Incorrect "Condition '...' is always 'false'" inspection result
|
2013-06-24 18:24:31 +02:00 |
|
|
peter
|
a467d40a35
|
IDEA-108814 Assertion is considered active code by code inspections, yields bogus inspections
|
2013-06-18 18:57:17 +02:00 |
|
|
peter
|
1d19b2d96f
|
IDEA-106884 Detect that string concatenation produces not-null result
|
2013-05-22 18:09:00 +02:00 |
|
|
peter
|
ca9680c16c
|
IDEA-107195 Methods returning primitive types should be treated as @Nonnull
|
2013-05-22 18:08:59 +02:00 |
|
|
peter
|
2cda0cd109
|
dfa: avoid false positives when method calls change state (IDEA-107604)
|
2013-05-22 18:08:59 +02:00 |
|
|
peter
|
61fcaa5361
|
dfa: method can still return unknown value if its arguments satisfy nullity conditions (IDEA-106205)
|
2013-05-06 19:07:56 +02:00 |
|
|
peter
|
98ffff43d6
|
IDEA-103146 Java: Invalid "Condition is always true" warning for nested functions
|
2013-03-26 18:48:30 +01:00 |
|
|
peter
|
b982e93034
|
IDEA-103389 "Constant conditions and exceptions" inspection false positive
|
2013-03-26 18:48:29 +01:00 |
|
|
peter
|
6642046fb5
|
dfa analysis should be aware that super calls may change fields (IDEA-102126)
|
2013-02-28 18:02:06 +01:00 |
|
|
peter
|
fa92c26eae
|
Merge branch 'master' into customDfaAssert
|
2013-02-27 15:50:04 +01:00 |
|
|
peter
|
913554f408
|
IDEA-101689 incorrect control-flow analisys
|
2013-02-22 19:33:38 +01:00 |
|
|
peter
|
0e12be8b66
|
[Johnny Clasrk] IsNull IsNotNull True False Checks and Assertions (IDEA-35808)
|
2013-02-21 11:17:53 +01:00 |
|
|
peter
|
aa671e4c3f
|
let method calls on other instances not affect our fields (IDEA-92380)
|
2013-02-03 22:42:57 +01:00 |
|
|
peter
|
b418e60060
|
a consistent dfa treatment for plain fields assuming single-threaded context (IDEA-92380)
|
2013-02-03 22:42:56 +01:00 |
|
|
peter
|
7d5c3aeabc
|
check for being getter before parsing method body (IDEA-97762)
|
2013-02-03 22:42:55 +01:00 |
|
 Anna Kozlova
|
76fd58b48c
|
dataflow: do not treat fields with qualified this as effectively unqualified (IDEA-99722)
|
2013-01-25 16:11:35 +04:00 |
|
|
peter
|
065f0bc7f8
|
IDEA-97977 Constant conditions & exceptions: instance check on Throwable are wrong
|
2013-01-14 19:07:42 +01:00 |
|
|
peter
|
5aebb2e977
|
light DataFlowInspectionFixtureTest
|
2013-01-14 19:07:41 +01:00 |
|
|
peter
|
4a3f20d72f
|
don't let null checks affect 'unchecked cast' analysis
|
2012-12-27 16:03:48 +01:00 |
|
|
peter
|
dc22cda945
|
a test for IDEA-98211 "Constant conditions & exceptions": warning about possible ClassCastException is shown in one case, but one in another similar one
|
2012-12-27 16:03:47 +01:00 |
|
|
peter
|
10221b9b7f
|
IDEA-97144 Constant conditions & inspections: transient final variables can be null after deserialization
|
2012-12-20 18:30:45 +01:00 |
|
|
peter
|
e9b67cad4c
|
IDEA-97313 @Nullable inspection does not warn on dereferencing @Nullable variable declared in foreach loop
|
2012-12-19 19:36:33 +01:00 |
|
|
peter
|
ea73902b92
|
IDEA-97017 Constant condition and expression does not recognize previous statments in anonymous inner class
|
2012-12-18 18:25:30 +01:00 |
|
 Roman Shevchenko
|
f25a27d043
|
Fix dataflow for unchecked exceptions in multi-catch
|
2012-11-21 15:47:25 +01:00 |
|
|
peter
|
501bac130e
|
IDEA-94181 Boolean truth inference
|
2012-11-09 13:36:01 +01:00 |
|
|
peter
|
0456d4d2f2
|
IDEA-94286 Constant conditons & exceptions wrt f == f
|
2012-11-08 20:07:34 +01:00 |
|
|
peter
|
38f38923bd
|
method call should always flush fields (IDEA-93168)
|
2012-11-08 12:02:46 +01:00 |
|
|
peter
|
f565a0b614
|
test expectations for IDEA-92380 "Constant Conditions & Exceptions": relax possible NPE reporting for fields (volatile fields)
|
2012-11-07 20:47:54 +01:00 |
|
|
peter
|
1341348316
|
test expectations for IDEA-92380 "Constant Conditions & Exceptions": relax possible NPE reporting for fields
|
2012-11-07 20:44:08 +01:00 |
|
|
peter
|
686c531d3a
|
IDEA-94068 False negative on boolean condition always-false inspection.
|
2012-11-02 19:10:19 +01:00 |
|
|
peter
|
88a4de0b53
|
IDEA-30498 Nullability not checked in initializer for static field
|
2012-10-31 20:06:45 +01:00 |
|
|
peter
|
2bad268da5
|
IDEA-40195 'constant expression' and @NotNull
|
2012-10-31 20:06:45 +01:00 |
|
|
Roman Shevchenko
|
2dac16268f
|
Fix test data
|
2012-10-30 17:01:18 +01:00 |
|
|
peter
|
8254d36493
|
IDEA-74934 "Constant conditions & exceptions": take type parameters into consideration, take 2 (fields)
|
2012-10-29 12:57:24 +01:00 |
|
|
peter
|
e82c7b2853
|
IDEA-74934 "Constant conditions & exceptions": take type parameters into consideration, take 1 (methods)
|
2012-10-29 12:57:23 +01:00 |
|
|
peter
|
5f6c927e1a
|
highlight not-null == null as always false (IDEA-88777)
|
2012-10-29 12:57:23 +01:00 |
|