Commits

History for

oncodeql-cli/v2.16.2

Commits on Jan 23, 2024

Fix tests and add notification sink kind to model verification
joefarebrother
committed
0acb647

Commits on Jan 16, 2024

Merge pull request #15244 from Marcono1234/marcono1234/regex-flags
atorralba
authored
2246c96

Commits on Jan 10, 2024

Update test expectations
owen-mc
committed
3767348
Test summary models and neutral models, manual and generated
owen-mc
committed
370a32d

Commits on Jan 6, 2024

Java: Improve Regex flag parsing
Marcono1234
committed
3edfdc5

Commits on Dec 10, 2023

Java: Use `FlowSummaryImpl` from `dataflow` pack
hvitved
committed
f9dbf67

Commits on Dec 4, 2023

Merge pull request #14913 from jcogs33/jcogs33/unsafe-url-forward_path-inj-related_cve-2019-3799
jcogs33
authored
6516539

Commits on Nov 30, 2023

Update test expectations re: record-pattern type accesses
smowton
committed
cc68169
Fix hasBranchEdge for switch exprs with an internal CFG and incoming edges from a passing case guard
smowton
committed
b33dc38
Remove fall-through CFG edge for exhaustive switch statements
smowton
committed
aa5f735
Fix pretty-printing `case null, default`
smowton
committed
d99a005
Fix record pattern and pretty-printing
smowton
committed
4bff795
Add test ensuring read steps via record patterns lead to type filtering
smowton
committed
419d530
Adjust test expectations
smowton
committed
087be2c
Fixup pretty-printer and add test
smowton
committed
a11c5c7
Cast back to Object in advance of returning, to ensure the test doesn't mask a shortcoming of type pruning by pruning at the return site
smowton
committed
47e3d7d
Expose that case guard test controls its case body
smowton
committed
f0144d6
Note that binding variables may be casting nodes
smowton
committed
da62a04
Note we can't prove certain unreachable callables when 'case null' is present
smowton
committed
c11a260
Allow case null, default to be the first switch case
smowton
committed
6b3080a
Fix switchCaseControls and hasBranchEdge to account for mixed patterns and constant cases
smowton
committed
668f445
Restrict pattern type guards to account for nested record matching failures
smowton
committed
6583c72
First stab at implementing negative type-test logic for pattern-case
smowton
committed
0bb051e
Remove needless test options
smowton
committed
d7a517a
autoformat
smowton
committed
480781b
Add test for ObjFlow over binding patterns
smowton
committed
011eb22
Add test for virtual-dispatch flow through binding patterns
smowton
committed
4cf511e
Add test for typeflow propagation through instanceof and pattern-case
smowton
committed
43c9350
Update test expectation
smowton
committed
e5fdf4d
autoformat ql
smowton
committed
330a5b8
Add test for record-pattern instanceof
smowton
committed
32416f0
Add missing test Java files
smowton
committed
e41da3b
Implement dataflow for record patterns
smowton
committed
20b97af
Adapt control-flow graph to record patterns
smowton
committed
05addde
Basic extraction of record patterns
smowton
committed
daccd04