Commit Graph

25 Commits

Author SHA1 Message Date
Anna Kozlova
d8dd7e904c [java] inline local: incorporate CFG specifics with inner classes/lambdas in api
GitOrigin-RevId: efeb9380a0f158bca548b582a09da5fea033854e
2021-09-30 08:05:54 +00:00
Tagir Valeev
19141f3dbc [java-slices] Avoid walking through inheritance when starting from parameter (IDEA-154777)
GitOrigin-RevId: 327559f0649b3bb66b04b056627966b6a0e1618f
2021-05-28 10:51:17 +00:00
Tagir Valeev
a866093918 [java-slice] See through unmodifiable list and friends (IDEA-194774)
GitOrigin-RevId: bd16ad8947c86e8d2b17cc230544ca66203c1d2d
2021-04-12 10:56:58 +00:00
Tagir Valeev
aa5d05cb34 [java-slice] Support Optional tracking (IDEA-189788)
GitOrigin-RevId: b2df50d27bc69c3d01059a0fc2dba6fb1926891a
2021-04-12 10:56:56 +00:00
Tagir Valeev
ee5ba8d7f1 [dataflow-to-here] Support record components (IDEA-261644)
GitOrigin-RevId: 162d493282ffb8e55374935f5a2673a214c17c78
2021-02-12 10:05:51 +00:00
Tagir Valeev
5c63dd413a IDEA-246334 Dataflow to here: filtering long variable with <= 0 yields no results.
GitOrigin-RevId: 80981136f8e8541d4c5b872ccf851de9e550aa72
2020-07-22 04:08:51 +00:00
Tagir Valeev
7ef1e04f92 JavaSliceBuilder: avoid decrementing beyond zero
Fixes EA-232342 - assert: JavaSliceBuilder.<init>

GitOrigin-RevId: 3f33f778c90199e8b7745d2ac29022d2d4716b06
2020-06-19 08:01:14 +03:00
Tagir Valeev
2749718a47 StackFilter: minimal heuristic for bridge method support
GitOrigin-RevId: 781454bfaea0fb51298242582a352de7673833e3
2020-05-28 08:49:55 +03:00
Tagir Valeev
0c336ffda4 IDEA-240404 Analyze dataflow to here: stack-trace based scope
GitOrigin-RevId: 33b4b1cdf2198e9c15fc2d52e0113ffe97c3dde9
2020-05-25 12:59:28 +03:00
Tagir Valeev
c66e612649 Specific method call test
GitOrigin-RevId: 9d41843321968d4633ced2b838b1d8313ed59bd9
2020-05-25 12:59:18 +03:00
Tagir Valeev
a7f179e554 CommonDataflow: track both assertionEnabled and assertionDisabled modes; use in dataflow to here
GitOrigin-RevId: 31615f1351df48feb8df75ed9611997263f75af0
2020-05-19 07:46:29 +00:00
Tagir Valeev
7d4c5ea4d8 IDEA-240403 Analyze dataflow to here: perform backpropagation through simple expressions
GitOrigin-RevId: 6c7d2e9f30121748c624a20ab14cbcf7dd7c71ec
2020-05-15 11:16:42 +00:00
Tagir Valeev
7b3ce3097a IDEA-240402 Dataflow to here: narrow filters during the dataflow
GitOrigin-RevId: 3fb73062b31ec664aebe8bfe167726d421752cb2
2020-05-15 06:47:18 +00:00
Tagir Valeev
be0e0336bc Keep filtering on indexNesting increment/decrement
GitOrigin-RevId: e5a874102eadc538a6bc5a79150ddf423f314594
2020-05-14 08:14:59 +00:00
Tagir Valeev
39ca5a8e57 IDEA-227219 Dataflow to here: filter by target value
GitOrigin-RevId: 4509bbb852b61262ac4160bebe31fd93976da286
2020-05-05 04:30:49 +00:00
Tagir Valeev
dafe2e8918 StandardInstructionVisitor: kill instruction state on ArrayIndexOutOfBounds 2019-02-20 16:36:39 +07:00
Tagir Valeev
a93cb6b9a5 Java slicing: support -> this/-> paramN contracts
Fixes IDEA-121571 Feature request: A Contract Annotation that indicates that a method returns its argument
2018-05-08 11:53:19 +07:00
Alexey Kudravtsev
b346fc5e2e IDEA-169269 "Analyze dataflow to here" should process only implementations of current class when analyzing return values for a method call in instance method 2017-03-17 12:07:05 +03:00
Alexey Kudravtsev
ee62f51f3e IDEA-169542 'Analyze Dataflow to Here' misses assignment to variables passed to anonymous classes 2017-03-16 14:57:24 +03:00
Alexey Kudravtsev
da3d3a087e let "analyze dataflow to this" go through StringUtil.notNullize(String) 2017-03-13 13:57:42 +03:00
Alexey Kudravtsev
89b362ef96 IDEA-146946 2015-11-12 17:04:34 +03:00
Alexey Kudravtsev
48bfcde50a IDEA-126171 2014-07-02 13:29:29 +04: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
Alexey Kudravtsev
6bcad287da dataflow to/from containers support 2013-10-22 12:33:55 +04:00
Alexey Kudravtsev
2718da9fc7 more java tests moved to community 2010-06-25 12:46:40 +04:00