Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions change-notes/1.19/analysis-java.md
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,11 @@ to run queries and explore the data flow in results.

## Changes to QL libraries

* The class `ControlFlowNode` (and by extension `BasicBlock`) has until now
been directly equatable to `Expr` and `Stmt`. Exploiting these equalities,
for example by using casts, is now deprecated, and the conversions
`Expr.getControlFlowNode()` and `Stmt.getControlFlowNode()` should be used
instead.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is it worth including an example of before and after, or is this obvious to users?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is mostly a warning about a breaking change we've agreed to put in 1.20, which we've convinced ourselves hopefully won't affect too many. The easiest is to just ignore the 1.19 deprecation and fix any compile errors when upgrading to 1.20, so we'll add more information in the 1.20 change notes.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Okay - makes sense. I've raised https://jira.semmle.com/browse/SD-2920 for the changes required to publish this change for 1.19.

* The default set of taint sources in the `FlowSources` library is extended to
cover parameters annotated with Spring framework annotations indicating
remote user input from servlets. This affects all security queries, which
Expand Down