Mathias Vorreiter Pedersen
|
b092da485d
|
C++: Accept more test changes.
|
2023-08-30 11:26:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
e4a11b86d9
|
Merge branch 'main' into reuse-even-more-nodes
|
2023-08-29 15:08:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
99cc4171f8
|
C++: Fix FPs by making 'isArgumentOfCallable' more robust.
|
2023-08-29 14:12:09 +01:00 |
|
Alex Eyers-Taylor
|
8b1b1618c4
|
CPP: Add tests for false positive in memory vulnerability queries.
|
2023-08-29 11:17:44 +01:00 |
|
Alex Eyers-Taylor
|
3b344c3578
|
CPP: Handle cases where the deallocator function is determined dynamically.
|
2023-08-29 11:17:44 +01:00 |
|
Alex Eyers-Taylor
|
689fda43ed
|
CPP: Add delete/delete[] calls to the IR.
|
2023-08-29 11:17:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
d14ad92dbd
|
Merge pull request #14006 from MathiasVP/promote-invalid-pointer-deref-out-of-experimental
C++: Promote `cpp/invalid-pointer-deref` out of experimental
|
2023-08-29 09:38:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
f3a77c6006
|
Merge pull request #14060 from MathiasVP/fix-compare-where-assign-meant-fp
C++: Fix FP in `cpp/compare-where-assign-meant`
|
2023-08-29 09:38:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
dbdb433957
|
Merge pull request #14058 from alexet/delete-or-delete-array
CPP: Add parent class for delete and delete[]
|
2023-08-29 09:38:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
f65fe34513
|
C++: Add false positive caused by flowing back into a function after doing reverse reads.
|
2023-08-28 14:45:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
bb1712b489
|
Merge branch 'main' into reuse-even-more-nodes
|
2023-08-26 18:08:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
104416cc59
|
C++: Accept test changes.
|
2023-08-25 16:40:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
759f939edd
|
C++: Add false positive.
|
2023-08-25 16:38:48 +01:00 |
|
Alex Eyers-Taylor
|
d699201ad0
|
CPP: Add a test demonstating when a deallocator call exists.
|
2023-08-25 15:45:50 +01:00 |
|
Alex Eyers-Taylor
|
a3711e1df0
|
CPP: Replace getAllocatorCall with getDeallocator call.
|
2023-08-25 15:45:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
b948ed9045
|
C++: Accept test changes and add a few non-field flow tests to make up for the fact that we're no longer using field flow in the query.
|
2023-08-25 15:18:15 +01:00 |
|
Alex Eyers-Taylor
|
9f8fbf8a1a
|
CPP: Update tests for argv change
|
2023-08-25 13:05:10 +01:00 |
|
Jeroen Ketema
|
f996fa2f8b
|
Merge pull request #14043 from jketema/ir-regres
C++: Add IR test case that shows regression after frontend update
|
2023-08-24 09:23:58 +02:00 |
|
Jeroen Ketema
|
c882945e30
|
C++: Add IR test case that shows regression after frontend update
|
2023-08-24 08:36:22 +02:00 |
|
Alex Eyers-Taylor
|
7d99d61662
|
CPP: Convert SQL tainted to IR dataflow.
|
2023-08-23 13:39:29 +01:00 |
|
Jeroen Ketema
|
6566b91355
|
C++: Add indication that the test result is good
|
2023-08-22 16:38:46 +02:00 |
|
Jeroen Ketema
|
1e8daff02a
|
C++: Add cpp/non-constant-format test
|
2023-08-22 16:23:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
ef9d342a99
|
C++: Accept more test changes.
|
2023-08-21 14:02:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
c46f9e4572
|
C++: Don't consider additional loads when reusing dataflow operands.
|
2023-08-21 12:51:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
50190efe1c
|
C++: Don't limit instruction and operand reuse to those cases where we have a result for 'isUseImpl'.
|
2023-08-21 12:51:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
4daabdae2b
|
C++: Promote 'cpp/invalid-pointer-deref' out of experimental.
|
2023-08-21 10:23:22 +01:00 |
|
Jonas Jensen
|
a002f59f58
|
C++: Undo BadlyBoundedWrite change from #13929
This rolls back the query change, ensuring that there is no need for a
change note.
|
2023-08-18 13:48:58 +02:00 |
|
Jonas Jensen
|
cd1f196848
|
C++: Accept regression in test after evaluator fix
|
2023-08-18 13:30:20 +02:00 |
|
Mathias Vorreiter Pedersen
|
5f5a87e2c7
|
C++: Add false positive.
|
2023-08-17 12:13:16 +01:00 |
|
Jeroen Ketema
|
591565a0db
|
Merge pull request #13971 from jketema/float
C++: Update test after float128 related extractor changes
|
2023-08-16 13:11:35 +02:00 |
|
Mathias Vorreiter Pedersen
|
986aa74db7
|
Merge pull request #13972 from MathiasVP/range-analysis-for-sub-expr
C++: Support subtraction in the new range analysis
|
2023-08-16 11:51:11 +01:00 |
|
Jeroen Ketema
|
4ada83c0ba
|
C++: Update test after float128 related extractor changes
|
2023-08-15 22:10:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
49a5a39395
|
C++: Accept test changes.
|
2023-08-15 16:49:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
e145b81f58
|
C++: Accept test changes.
|
2023-08-15 16:12:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
3fb024164b
|
C++: Add a FP caused by bad range analysis for subtraction.
|
2023-08-15 16:00:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
f662cceb0b
|
C++: Use value numbering to better detect whether a write is certain.
|
2023-08-15 11:07:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
9359bea7b5
|
Merge pull request #13725 from MathiasVP/fix-barriers-in-invalid-pointer-deref
C++: Fix barriers in invalid pointer deref
|
2023-08-14 14:29:12 +01:00 |
|
Henry Mercer
|
1213eba630
|
Merge branch 'main' into post-release-prep/codeql-cli-2.14.2
|
2023-08-11 13:54:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
2164069eda
|
C++: Add another testcase.
|
2023-08-11 12:00:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
3d5b1986c9
|
C++: Fix a bug where 'boundedImpl' could give back multiple deltas.
|
2023-08-11 11:46:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
c0a54e90c9
|
C++: Fix an inequality that should be strict, but wasn't.
|
2023-08-11 11:43:55 +01:00 |
|
Jeroen Ketema
|
e04d30a676
|
C++: Update expected test changes due to the line in test2.cpp having shifted
|
2023-08-09 15:50:07 +02:00 |
|
Mathias Vorreiter Pedersen
|
8a490775d8
|
Merge branch 'main' into fix-barriers-in-invalid-pointer-deref
|
2023-08-09 14:32:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
cb1076c335
|
Revert "Merge pull request #13783 from MathiasVP/type-bounds-for-new-range-analysis"
This reverts commit e9750af89f, reversing
changes made to 37a546253e.
|
2023-08-09 13:02:54 +01:00 |
|
Jeroen Ketema
|
d0e7354a1b
|
C++: Only consider the maximum buffer size for badly bounded write
|
2023-08-09 12:30:00 +02:00 |
|
Jeroen Ketema
|
9572b9d308
|
C++: Add test where buffer initialized with literal is reassigned an allocation
|
2023-08-09 12:26:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
e9750af89f
|
Merge pull request #13783 from MathiasVP/type-bounds-for-new-range-analysis
C++: Constant type-bounds in the new range analysis
|
2023-08-07 15:20:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
467231e469
|
Merge pull request #13887 from jketema/float128x
C++: Remove support for `_Float128x` which is not actually supported by gcc
|
2023-08-07 13:42:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
af07efe14f
|
C++: Accept test changes.
|
2023-08-05 21:59:08 +02:00 |
|
Mathias Vorreiter Pedersen
|
835b5e349b
|
C++: Accept test changes.
|
2023-08-05 21:56:51 +02:00 |
|