Mathias Vorreiter Pedersen
|
9f89c63771
|
C++: Accept test changes.
|
2023-09-08 17:07:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
f5509da4bb
|
Merge pull request #14038 from alexet/delete-ir
CPP: Add delete/delete[] calls to the IR.
|
2023-08-31 09:22:34 +01:00 |
|
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 |
|
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
|
bb1712b489
|
Merge branch 'main' into reuse-even-more-nodes
|
2023-08-26 18:08:58 +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 |
|
Alex Eyers-Taylor
|
7d99d61662
|
CPP: Convert SQL tainted to IR dataflow.
|
2023-08-23 13:39:29 +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 |
|
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 |
|
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 |
|
Anders Schack-Mulligen
|
ae24d68b5d
|
C/C++/C#/Java/Python/Ruby/Swift: Adjust expected output.
|
2023-07-19 11:41:15 +02:00 |
|
Mingjie Shen
|
4b4c0cd563
|
C++: add testcases for UninitializedLocal.ql
|
2023-07-06 20:07:58 -04:00 |
|
Mathias Vorreiter Pedersen
|
95ddc01ccb
|
Merge pull request #13502 from rvermeulen/rvermeulen/compare-using-integer-precision
C++: Account for the signedness of the lesser operand in `cpp/comparison-with-wider-type`
|
2023-06-30 17:44:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
518a3729ca
|
C++: Accept test changes.
|
2023-06-30 12:51:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
97916407c2
|
C++: Accept test changes.
|
2023-06-29 16:51:08 +01:00 |
|
Kasper Svendsen
|
656b4fc1aa
|
Merge pull request #13574 from kaspersv/kaspersv/cpp-remaining-implicit-this
CPP: Enable implicit this warnings for remaining packs
|
2023-06-27 16:56:28 +02:00 |
|
Kasper Svendsen
|
d1979197c7
|
CPP: Enable implicit this warnings for remaining packs
|
2023-06-27 14:44:24 +02:00 |
|
Jeroen Ketema
|
458522a656
|
C++: Implement clearsContent for IR dataflow
|
2023-06-26 12:11:03 +02:00 |
|
Mathias Vorreiter Pedersen
|
79fb6a6079
|
C++: Accept test changes.
|
2023-06-22 19:34:05 +01:00 |
|
Remco Vermeulen
|
32d7faa3b8
|
Account for the signedness of the lesser operand
|
2023-06-19 16:57:36 -07:00 |
|
Mathias Vorreiter Pedersen
|
0dfc9b996d
|
C++: Promote 'cpp/overrun-write' out of experimental.
|
2023-05-23 14:57:42 -07:00 |
|
Mathias Vorreiter Pedersen
|
402212bab9
|
C++: Accept query test changes.
|
2023-05-16 18:35:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
7eee589304
|
Merge pull request #12569 from andersfugmann/andersfugmann/use_after_free
C++: Implement use-after-free and double-free queries using the new IR use-use dataflow
|
2023-04-17 08:01:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
3c88590df2
|
C++: Accept test changes for the new use-after-query.
|
2023-04-11 15:21:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
8fef101432
|
C++: Fix missing result and accept test changes.
|
2023-04-06 10:41:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
8014bdc993
|
C++: Add failing test for 'cpp/tainted-arithmetic'.
|
2023-04-06 10:39:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
2ce0d2b7ee
|
C++: Accept more test changes.
|
2023-03-21 10:07:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
8623d8eb8e
|
C++: Exclude unevaluated expressions from BufferAccess.
|
2023-03-21 09:48:09 +00:00 |
|
Mathias Vorreiter Pedersen
|
b37bb660c5
|
C++: Add FP caused by a BufferAccess inside an unevalauted context.
|
2023-03-21 09:37:18 +00:00 |
|
Jeroen Ketema
|
de97ae38dc
|
C++: C++: Use getAUse in getIRRepresentationOfIndirectOperand
|
2023-03-09 15:15:00 +01:00 |
|
Jeroen Ketema
|
a2248cb5a0
|
C++: Use getAUse in getIRRepresentationOfOperand
|
2023-03-09 09:45:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
b054b9c5cd
|
Merge pull request #12408 from jketema/merge-main
C++: use-use dataflow merge main
|
2023-03-07 13:05:30 +00:00 |
|
Jeroen Ketema
|
47930f94e2
|
Merge remote-tracking branch 'upstream/main' into merge-main
|
2023-03-06 15:20:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
d2d91cfb29
|
C++: Accept test changes.
|
2023-03-06 11:30:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
907e6299a4
|
C++: Convert 'ExecTainted' to use the new refactored dataflow library.
|
2023-03-03 14:41:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
04b84320c9
|
C++: Accept more query-test changes.
|
2023-02-28 00:06:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
7bb806563f
|
Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into no-taint-indirect-direct-conflation
|
2023-02-27 17:19:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
2a9133aae0
|
C++: Accept query-test changes.
|
2023-02-27 17:15:53 +00:00 |
|
Mathias Vorreiter Pedersen
|
354a12c906
|
C++: Fix queries. Since there's no longer indirect -> direct flow in
taint-tracking we need to make sure the affected sink definitions also
handle indirect flow.
|
2023-02-27 14:57:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
1e4caca23a
|
C++: Accept query changes. Nothing bad to see here.
|
2023-02-27 14:57:35 +00:00 |
|
Jeroen Ketema
|
9e462866a0
|
C++: Update test annotations for use-use dataflow
|
2023-02-14 14:48:08 +01:00 |
|
Jeroen Ketema
|
20ce4cdf91
|
C++: Map operand nodes that are only used once onto the related instruction node
|
2023-02-07 14:17:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
77250af444
|
Merge pull request #12050 from MathiasVP/flow-out-of-iterators-3
|
2023-02-03 18:43:37 +00:00 |
|