From 8996662d7e35f87d500ed27b4670bba9e35d6d96 Mon Sep 17 00:00:00 2001 From: Tom Hvitved Date: Fri, 20 Dec 2024 11:04:29 +0100 Subject: [PATCH] Ruby: Add change note --- ruby/ql/lib/change-notes/2024-12-20-data-flow-types.md | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 ruby/ql/lib/change-notes/2024-12-20-data-flow-types.md diff --git a/ruby/ql/lib/change-notes/2024-12-20-data-flow-types.md b/ruby/ql/lib/change-notes/2024-12-20-data-flow-types.md new file mode 100644 index 000000000000..d47b8b77e7e1 --- /dev/null +++ b/ruby/ql/lib/change-notes/2024-12-20-data-flow-types.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* Types are now being tracked in data flow, but only when the type of an object is obvious from the context. For example, `C.new` has guaranteed type `C`, while in `def add(x, y) { x + y }` we cannot assign a type to `x + y` (it could, for instance, be both `String` and `Integer`). Tracking types allows us to remove false-positive results when type incompatibility can be established. \ No newline at end of file