 peter
|
aad6407ebf
|
dfa: fix too complex assertTrue (added state defensive copying)
|
2014-06-11 21:00:32 +02:00 |
|
 Anna Kozlova
|
236752eb3b
|
unused library: use existing graph instead of custom dependency analysis
|
2014-06-09 19:18:13 +04:00 |
|
|
Anna Kozlova
|
9853fb62e7
|
suspicious removeAll: compare type arguments, not qualifiers
|
2014-06-09 15:32:51 +04:00 |
|
|
peter
|
bc12a14cb9
|
extract contract checking to a separatate inspection
|
2014-06-06 21:53:58 +02:00 |
|
|
Anna Kozlova
|
8f10d715d3
|
option to warn about members in deprecated classes (IDEA-112084)
|
2014-06-05 20:03:26 +04:00 |
|
|
peter
|
5d8ee45b19
|
IDEA-112222 Validate @Contract annotation is related to the code
|
2014-06-01 17:20:57 +02:00 |
|
|
Anna Kozlova
|
6b5c924a4e
|
suspicious collections call: process removeAll (IDEA-108755)
|
2014-05-31 20:36:02 +04:00 |
|
|
peter
|
a30a74e846
|
fix dfa contract believing that nullable is always null
|
2014-05-29 21:55:46 +02:00 |
|
|
peter
|
9c29b9548a
|
fix dfa contract IOOBE with varargs
|
2014-05-29 21:55:45 +02:00 |
|
 Dmitry Batkovich
|
2d0aa2ae3a
|
BlockMarkerCommentsInspection changes after review
|
2014-05-29 18:04:04 +04:00 |
|
|
Dmitry Batkovich
|
cef9a6c36e
|
IDEA-71997
|
2014-05-28 15:26:11 +04:00 |
|
|
peter
|
6b46fcf21b
|
dfa: contracts validation should not exclude notnull validation
|
2014-05-27 19:20:38 +02:00 |
|
|
peter
|
68f7fad1c5
|
IDEA-125248 Incorrect simplify for float
|
2014-05-23 17:45:57 +02:00 |
|
|
peter
|
33929c5eab
|
don't use checker.xml for dfa (but leave it there for a while, IDEA-125426)
|
2014-05-23 15:43:09 +02:00 |
|
|
peter
|
83a2697042
|
IDEA-125194 Strange control-flow inspection
|
2014-05-16 16:51:39 +02:00 |
|
|
Anna Kozlova
|
0feba8319e
|
warn about raw arrays passed to varargs method (IDEA-16977)
|
2014-05-13 18:04:57 +04:00 |
|
|
Anna Kozlova
|
6e2082426e
|
capitalization
|
2014-05-06 12:32:20 +04:00 |
|
|
peter
|
5348fc61c9
|
IDEA-124644 Comparison of negative zero with positive zero incorrectly marked as always false
|
2014-05-05 18:11:00 +02:00 |
|
|
Anna Kozlova
|
78e9bb7840
|
type parameters should not cause deprecated constructor warning to appear (IDEA-124689)
|
2014-05-05 17:12:16 +04:00 |
|
|
Anna Kozlova
|
91f63083c7
|
redundant suppressions: take into account alternative ids (IDEA-124690)
|
2014-05-05 17:12:15 +04:00 |
|
|
Anna Kozlova
|
e4a77b6a34
|
check suspicious ConcurrentHashMap.contains (IDEA-124698)
|
2014-05-05 17:12:11 +04:00 |
|
|
peter
|
78dafa03c5
|
dfa: just don't assume initialized final fields are notnull, it doesn't help, but hurts and slows things down (IDEA-124323)
|
2014-04-24 17:56:38 +02:00 |
|
|
peter
|
0bd06e5e39
|
More on comparison that is always false due to being out of type range on implicit type conversion (IDEA-124210)
|
2014-04-22 14:34:31 +02:00 |
|
|
peter
|
3af306c66e
|
IDEA-55556 Inspection suggestion: Comparison that is always false due to being out of type range on implicit type conversion
|
2014-04-18 22:37:32 +02:00 |
|
|
peter
|
29fec2258a
|
IDEA-123948 Constant condition and exceptions: false positive on MappedByteBuffer.getInt
|
2014-04-18 22:37:31 +02:00 |
|
|
peter
|
019a68bcc8
|
IDEA-123289 Infer nullability of 'for each' variable from type annotations of the collection parameter
|
2014-04-18 22:37:31 +02:00 |
|
|
Anna Kozlova
|
f20f1bb8cf
|
redundant cast: nested casts with outer primitive (IDEA-119857)
|
2014-04-14 18:51:29 +02:00 |
|
|
peter
|
b5df84e66b
|
IDEA-123850 incorrect "Condition is always false" warning in GemRequirementsChangeWatcher.updateAndAttach()
|
2014-04-12 16:38:17 +02:00 |
|
|
peter
|
7ddbfd5eed
|
dfa: don't suggest to replace reference qualifiers with null
|
2014-04-09 12:56:20 +02:00 |
|
|
peter
|
3a0093d463
|
fix AIOOBE in dfa contract processing
|
2014-04-03 13:10:54 +02:00 |
|
|
peter
|
6b91f55eb7
|
IDEA-122414 Boolean expression simplification changes behavior of the code
|
2014-03-28 19:30:28 +01:00 |
|
|
peter
|
6d2412b599
|
dfa: a variable can't be null after dereference (IDEA-122215)
|
2014-03-28 19:12:00 +01:00 |
|
|
peter
|
87a2944e37
|
IDEA-122624 @Contract fails on vararg methods
|
2014-03-28 19:12:00 +01:00 |
|
|
peter
|
3627c465e4
|
dfa: treat different constants with same values as same (IDEA-121837)
|
2014-03-07 19:41:30 +01:00 |
|
|
peter
|
ba09765e0a
|
missing test data
|
2014-03-05 22:30:11 +01:00 |
|
|
peter
|
76591fdeca
|
dfa: comparison with other variables shouldn't affect a variable's nullability status
|
2014-03-05 22:19:28 +01:00 |
|
|
peter
|
6166a0e4fb
|
don't flush fields for pure method and getter calls (IDEA-117449)
|
2014-03-05 22:19:28 +01:00 |
|
 Alexey Kudravtsev
|
c7b78f76a2
|
IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface
|
2014-02-18 13:55:52 +04:00 |
|
|
peter
|
581d2b73aa
|
IDEA-120586 @ParametersAreNonnullByDefault support broken
|
2014-02-11 15:31:13 +01:00 |
|
|
peter
|
750013c064
|
parameter nullity annotation should have higher-priority than package-level ones
|
2014-02-10 18:34:10 +01:00 |
|
|
peter
|
4757fc901f
|
fixture-based NullableStuffInspectionTest
|
2014-02-10 18:34:10 +01:00 |
|
|
Alexey Kudravtsev
|
ce5e01266b
|
IDEA-119617
|
2014-01-23 14:13:27 +04:00 |
|
|
peter
|
404f4e3fca
|
IDEA-119663 false positive Constant conditions & exceptions: "Argument ... might be null"
|
2014-01-23 09:53:53 +01:00 |
|
|
peter
|
9ffaba9293
|
IDEA-65566 Allow 'NotNull' as the default element behavior for a given class or package
|
2014-01-17 17:25:13 +01:00 |
|
|
peter
|
0c0e8867b1
|
dfa: don't walk equals() method argument twice (IDEA-118971)
|
2014-01-08 18:13:25 +01:00 |
|
|
peter
|
1dd46651c9
|
dfa: don't grow stack infinitely on &= (IDEA-118522)
|
2013-12-22 10:39:55 +01:00 |
|
|
Anna Kozlova
|
fb53d06dfd
|
can be final: ensure non final for base of anonymous class (IDEA-118493)
|
2013-12-20 16:53:03 +04:00 |
|
|
peter
|
57cf9cefb6
|
control flow: visit assignment lValue only once (EA-51083 - ESE: Stack.pop)
|
2013-12-18 17:25:49 +01:00 |
|
|
peter
|
746901e8c5
|
IDEA-116947 Unqualified call NPE false positive with contracts
|
2013-12-18 17:25:49 +01:00 |
|
|
peter
|
d255c5b10c
|
dfa: make state merging result predictable
when removing a!=b and a!=c && b==c, don't restore a!=c
|
2013-12-18 14:42:54 +01:00 |
|