logifix
logifix copied to clipboard
Fixing static analysis violations in Java source code using Datalog
This applies to `simplify_code_using_map_computeifabsent` as well.
Since `simplify_code_using_streams` creates a lambda expression we need to check that the variables referenced in the lambda expression are effectively final.
* These are all pretty nice https://rules.sonarsource.com/java/RSPEC-4034 * Consider rule for flipping conditional branches - `!x ? a : b => x ? b : a` and `if (!x) a...
See e.g. https://sonarqube.ow2.org/project/issues?id=fr.inria.gforge.spoon%3Aspoon-core&open=AWtJlSdobu-R5OS58r2n&resolved=false&rules=java%3AS3824
Currently some nodes in switch expressions are not included in the ast.