Asger F
|
f2cc0da936
|
JS: Add upgrade/downgrade scripts but with 'partial' compatibility
|
2026-03-02 11:09:19 +01:00 |
|
Ian Lynagh
|
bd0d69ffca
|
C++: Add up/downgrade scripts
|
2026-02-27 22:00:01 +00:00 |
|
Ian Lynagh
|
97ed67e284
|
C++ overlay: Update stats
|
2026-02-27 21:40:01 +00:00 |
|
Mathias Vorreiter Pedersen
|
db33dadb8e
|
C++: Add QLDoc. Also actually implement 'uninitializedNode' since there's no reason not to do so.
|
2026-02-27 17:36:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
1139059d77
|
C++: Fix imports.
|
2026-02-27 17:12:00 +00:00 |
|
Mathias Vorreiter Pedersen
|
92f26027e1
|
C++: Remove outdated comment.
|
2026-02-27 16:32:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
85875c2879
|
C++: Remove unnecessary recursion through Node.toString.
|
2026-02-27 16:32:01 +00:00 |
|
Mathias Vorreiter Pedersen
|
17e6fd2fe9
|
C++: Disable magic to prevent re-evaluation.
|
2026-02-27 16:31:58 +00:00 |
|
Mathias Vorreiter Pedersen
|
5d75b255a8
|
C++: Remove IR re-evaluation.
|
2026-02-27 16:31:56 +00:00 |
|
Mathias Vorreiter Pedersen
|
26e8701ae3
|
C++: Fix a few qualifiers.
|
2026-02-27 16:22:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
cdb41588a9
|
C++: Fix some imports.
|
2026-02-27 16:22:49 +00:00 |
|
Mathias Vorreiter Pedersen
|
1eccb8ea93
|
C++: Add a cache module to taint-tracking and ensure they happen in the same stage as the dataflow stage.
|
2026-02-27 16:22:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
66611323e2
|
C++: No need to keep this in its own module now.
|
2026-02-27 16:22:44 +00:00 |
|
Mathias Vorreiter Pedersen
|
d804fc5168
|
C++: Remove the 'ExprFlowCached' module. Instead we have a single cached module.
|
2026-02-27 16:22:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
f223c957ba
|
C++: Cache 'toString' and 'getLocation'.
|
2026-02-27 16:22:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
86bd0c0dc3
|
C++: Move a bunch of newtypes and predicates into a cached module.
|
2026-02-27 16:22:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
6e0c5615fe
|
C++: Move a bunch non-public dataflow node subtypes.
|
2026-02-27 16:22:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
edde4149aa
|
C++: Move 'Node' into the public module.
|
2026-02-27 16:22:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
87478d016a
|
C++: Move 'FieldAddress' and 'conversionFlow'.
|
2026-02-27 16:22:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
09d74a3b3e
|
C++: Move 'CanonicalField' stuff.
|
2026-02-27 16:22:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
271a759490
|
C++: Move 'TIRDataFlowNode'.
|
2026-02-27 16:22:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
b9595d985e
|
C++: Create a new file.
|
2026-02-27 16:22:19 +00:00 |
|
Anders Schack-Mulligen
|
ab94524328
|
Cfg: Address review comments.
|
2026-02-27 16:35:25 +01:00 |
|
Ian Lynagh
|
155e21e729
|
C++ overlays: Tweak dbscheme
|
2026-02-27 15:28:15 +00:00 |
|
Asger F
|
d440b5fa85
|
JS: Update TRAP files
|
2026-02-27 14:15:34 +01:00 |
|
Asger F
|
47895b3334
|
JS: Update test for UniquePropertyNames test
This query now reports the alert previously found by DuplicateProperty
|
2026-02-27 13:37:29 +01:00 |
|
Asger F
|
71fb6bf915
|
JS: Mark corresponding lost result for the getter
|
2026-02-27 13:35:43 +01:00 |
|
Asger F
|
c673bd9151
|
JS: Document a missing alert due to limitation in structural comparison
|
2026-02-27 13:34:55 +01:00 |
|
Asger F
|
0f2de46648
|
JS: Emit variable bindings for 'this' expressions
|
2026-02-27 11:44:54 +01:00 |
|
Asger F
|
f0f58dacb3
|
JS: Also emit 'this' variable for class scopes
|
2026-02-27 11:44:31 +01:00 |
|
Asger F
|
4a3b86c652
|
JS: Update test output
|
2026-02-27 11:13:50 +01:00 |
|
yoff
|
600f585a31
|
Merge pull request #21296 from yoff/python/bool-comparison-guards
Python: Handle guards being compared to boolean literals
|
2026-02-26 21:13:51 +01:00 |
|
Geoffrey White
|
062fbf2b3c
|
Rust: Accept consistency check changes from CI.
|
2026-02-26 15:45:40 +00:00 |
|
Tom Hvitved
|
4280d35bf3
|
Merge pull request #21366 from hvitved/rust/type-inference-unify-method-resolution
Rust: Unify logic in `MethodResolution`; remove `TypeQualifierIsInstantiationOfImplSelf` logic
|
2026-02-26 14:38:35 +01:00 |
|
Tom Hvitved
|
11a726d1b4
|
Address review comments
|
2026-02-26 14:23:41 +01:00 |
|
Geoffrey White
|
ec0b90f4b4
|
Rust: Simplify with the Copilot suggestions.
|
2026-02-26 13:00:07 +00:00 |
|
Geoffrey White
|
96a06bed8d
|
Rust: Accept consistency check changes.
|
2026-02-26 12:41:17 +00:00 |
|
Geoffrey White
|
f2dc585751
|
Rust: Convert split_off QL-defined barrier to a neutral model (which was always the intent).
|
2026-02-26 12:25:23 +00:00 |
|
Geoffrey White
|
478f56b82f
|
Rust: Move the existing 'alloc' neutral models into alloc.model.yml.
|
2026-02-26 12:25:10 +00:00 |
|
yoff
|
89e5a9bd72
|
Update python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll
Co-authored-by: Taus <tausbn@github.com>
|
2026-02-26 13:14:26 +01:00 |
|
yoff
|
cfbae50845
|
Python: convert barrier guard to MaD
|
2026-02-26 13:12:34 +01:00 |
|
Geoffrey White
|
78f855d7e3
|
Rust: Make the manual model for Option::map more accurate.
|
2026-02-26 11:34:30 +00:00 |
|
Geoffrey White
|
75ffb5fc4c
|
Rust: Change note.
|
2026-02-26 10:59:48 +00:00 |
|
Geoffrey White
|
75fea4245a
|
Rust: Add neutral models of From::from (corresponding with existing generated sink models).
|
2026-02-26 10:00:30 +00:00 |
|
Geoffrey White
|
5c108e5c12
|
Rust: Add a manual model for flow through Option::map.
|
2026-02-26 09:12:33 +00:00 |
|
Geoffrey White
|
53e886380c
|
Rust: Add a neutral model of Option::map (so that we don't use the generated models).
|
2026-02-26 08:36:28 +00:00 |
|
Geoffrey White
|
97f7a26e11
|
Rust: Add test cases for log injection + uncontrolled allocation size with from.
|
2026-02-25 19:12:06 +00:00 |
|
yoff
|
9b9c9304c7
|
Python: simplify logic, suggested in review
|
2026-02-25 18:16:38 +01:00 |
|
yoff
|
c4f8748a42
|
Python: simplify barrier guard
|
2026-02-25 18:03:40 +01:00 |
|
Geoffrey White
|
5523b5e25f
|
Merge pull request #21271 from geoffw0/neutralmodels
Rust: Add support for neutral models.
|
2026-02-25 16:15:55 +00:00 |
|