Commits

History for

oncodeql-cli/v2.13.5

Commits on Jun 5, 2023

Merge pull request #13374 from jketema/ptr-deref-min
jketema
authored
272ced6
Merge pull request #13355 from jketema/ptr-deref-forward
jketema
authored
93215ba
C++: Remove `cpp/invalid-pointer-deref` results duplicating ones with smaller `k`
jketema
committed
4a27028
C++: Add `cpp/invalid-pointer-deref` test case with almost duplicated results
jketema
committed
90f0209
C++: Update expected test results
jketema
committed
7f7b048
Merge pull request #12036 from nmouha/patch-1
MathiasVP
authored
52fb00c

Commits on Jun 2, 2023

C++: Ensure that the sink instruction occurs last in `cpp/invalid-pointer-deref`
jketema
committed
ac4933a

Commits on May 31, 2023

C++: Add `cpp/invalid-pointer-deref` FP test case
jketema
committed
ace7b6b

Commits on May 30, 2023

Commits on May 26, 2023

Merge pull request #13045 from rdmarsh2/rdmarsh2/cpp/improve-constant-off-by-one
Robert Marsh
authored
b2fb2aa
Merge pull request #13267 from MathiasVP/promote-overrun-write
jketema
authored
6365739

Commits on May 25, 2023

C++: Also add an out barrier on all sinks.
MathiasVP
committed
c3fdc83

Commits on May 24, 2023

Commits on May 23, 2023

C++: Promote 'cpp/overrun-write' out of experimental.
MathiasVP
committed
0dfc9b9
C++: add test comments

Robert Marsh
authored and
Robert Marsh
committed
86ab960
C++: Accept test changes.
MathiasVP
committed
b32d55a

Commits on May 22, 2023

C++: fix equality refinement in new range analysis

Robert Marsh
authored and
Robert Marsh
committed
6a997ab
Merge pull request #13237 from jketema/pointer-deref-fp
MathiasVP
authored
e3a5805
C++: Add `cpp/invalid-pointer-deref` false positives
jketema
committed
3f289b1

Commits on May 19, 2023

C++: fix cxartesian product in constant off-by-one query

Robert Marsh
authored and
Robert Marsh
committed
bf07b0f
C++: Add testcase with FP (and also fix an incorrect test annotation).
MathiasVP
committed
c15ebf8

Commits on May 17, 2023

Update test.cpp
nmouha
authored
187299f
Update IfStatementAdditionOverflow.expected
nmouha
authored
ef57861
Merge pull request #13200 from jketema/deref-subpath
jketema
authored
e3aecd3
Merge pull request #13197 from jketema/test-annotation
jketema
authored
e143002
C++: Update expected test results
jketema
committed
014eb25
C++: Add forgotten test annotation in for `cpp/invalid-pointer-deref` test
jketema
committed
b1c1513

Commits on May 16, 2023

Commits on May 12, 2023

C++: Add FP test case for `cpp/invalid-pointer-deref`
jketema
committed
eb493a1