Geoffrey White
|
0344381120
|
Merge remote-tracking branch 'upstream/main' into docsforautofix
|
2024-07-10 11:17:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5d04f2f4c
|
C++: Add a 'cpp/unsafe-strncat' FP.
|
2024-07-08 15:13:00 +01:00 |
|
Geoffrey White
|
0288499801
|
C++: Rephrase the alert message for cpp/wrong-type-format-argument to be less prescriptive.
|
2024-07-08 14:31:59 +01:00 |
|
Jeroen Ketema
|
c8fec336ce
|
C++: Fix typo in cpp/network-to-host-function-as-array-bound
|
2024-05-21 10:29:17 +02:00 |
|
Jeroen Ketema
|
1a60c01723
|
C++: Add memcmp test for cpp/network-to-host-function-as-array-bound
|
2024-05-21 10:27:38 +02:00 |
|
Geoffrey White
|
f4e4e238ba
|
C++: Add test cases for IncorrectNotOperatorUsage.ql.
|
2024-05-02 17:17:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
58832a546a
|
C++: Accept test changes.
|
2024-04-18 12:33:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
fb9fc14f3d
|
C++: Accept test changes in paths.
|
2024-04-16 11:09:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
f3a5ce5efc
|
C++: Accept more test changes.
|
2024-04-13 11:03:15 +01:00 |
|
Anders Schack-Mulligen
|
c355737d30
|
C++: Update expected output.
|
2024-04-12 09:20:16 +02:00 |
|
Mathias Vorreiter Pedersen
|
0ef8c7d87f
|
C++: Accept test changes.
|
2024-03-20 18:05:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
d1c253b519
|
C++: Accept test changes.
|
2024-03-13 22:41:32 +00:00 |
|
Mathias Vorreiter Pedersen
|
ab6e2f9364
|
C++: Accept test regression.
|
2024-03-12 15:04:49 +00:00 |
|
Mathias Vorreiter Pedersen
|
f97b6e2848
|
C++: Stop conflating pointers and indirections in the query.
|
2024-03-11 18:48:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
a548316747
|
C++: Accept test changes.
|
2024-03-07 13:55:31 -08:00 |
|
Mathias Vorreiter Pedersen
|
2eb8d13439
|
C++: Accept test changes.
|
2024-03-01 09:25:25 +00:00 |
|
Ben Rodes
|
47f94e2ebe
|
Merge branch 'main' into cpp-non-constant-format-as-path-query
|
2024-02-22 06:24:18 -08:00 |
|
Mathias Vorreiter Pedersen
|
b927968e88
|
Merge pull request #15516 from microsoft/51-2cppnon-constant-format-alter-not-const-source
C++: Change sources in `NonConstantFormat.ql`
|
2024-02-17 00:01:58 +01:00 |
|
Benjamin Rodes
|
d6b0746b30
|
The non-constant format query is now a path query. Minor changes to the output alert to be more precise on what is being alerted. Minor changes to the query itself to avoid redundancies with argv.
|
2024-02-15 12:14:52 -05:00 |
|
Benjamin Rodes
|
9e50fc6893
|
Updating tests to account for removing const char* heuristic.
|
2024-02-15 09:54:03 -05:00 |
|
Benjamin Rodes
|
caf2ee27fa
|
Adding false negative tests for future work.
|
2024-02-15 09:43:26 -05:00 |
|
Anders Schack-Mulligen
|
7eb5e1833d
|
C++: Add empty provenance column to expected files.
|
2024-02-09 11:32:08 +01:00 |
|
Benjamin Rodes
|
9fc2405681
|
Updating non-const source logic and associated tests and expected files.
|
2024-02-07 13:54:56 -05:00 |
|
Benjamin Rodes
|
80bf38d8cc
|
Initial working draft of non-const source refactor.
|
2024-02-06 14:20:01 -05:00 |
|
Benjamin Rodes
|
9577c35d85
|
Incremental update to NonConstantFormat.ql
|
2024-02-02 16:06:59 -05:00 |
|
Mathias Vorreiter Pedersen
|
a8020f4f78
|
C++: Add barrier to prevent duplication.
|
2023-12-05 09:14:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
c1561e8675
|
Merge branch 'main' into reduce-duplication-from-operators
|
2023-11-30 14:30:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
401a378598
|
C++: Accept test changes.
|
2023-11-23 14:12:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
640e2f56d5
|
C++: Accept test changes.
|
2023-11-22 15:43:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
a80dbc5200
|
C++: Accept test changes.
|
2023-11-21 17:50:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
2b8b5cf1b8
|
C++: Accept test changes.
|
2023-11-15 11:52:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
118d50236f
|
C++: Add failing tests.
|
2023-11-15 11:48:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
d2bb73ba1f
|
C++: Use the index to to get the 'most converted' and 'least converted' instruction in a bunch of places.
|
2023-09-01 13:47:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
16d62186c0
|
C++: Use this new predicate everywhere we need to convert an instruction to an expression.
|
2023-09-01 13:32:25 +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 |
|
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
|
fd2f0257b6
|
C++: Accept query changes.
|
2023-04-28 10:25:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
c230de86b4
|
C++: Accept test changes.
|
2023-04-13 17:28:07 +01:00 |
|
Jeroen Ketema
|
9e462866a0
|
C++: Update test annotations for use-use dataflow
|
2023-02-14 14:48:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
a7aa1a7d8b
|
C++: Accept more test changes
|
2022-12-16 16:04:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
45f69be94c
|
C++: Accept test changes
|
2022-12-16 14:14:58 +00:00 |
|
Jeroen Ketema
|
18dea55071
|
C++: Fix cpp/alloca-in-loop regressions with use-use dataflow
|
2022-12-12 19:15:50 +01:00 |
|
Jeroen Ketema
|
4731f9222c
|
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2022-11-22 10:53:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
d1274e2769
|
C++: Accept more test changes.
|
2022-11-21 18:33:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
ef6b85fa77
|
C++: Accept test changes.
|
2022-11-18 16:43:30 +00:00 |
|
Jeroen Ketema
|
0d27d63984
|
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2022-11-09 14:28:47 +01:00 |
|
Geoffrey White
|
d72ea52f68
|
C++: More accurate test tags.
|
2022-11-07 16:32:46 +00:00 |
|
Geoffrey White
|
55a7adff20
|
C++: Make the message clearer.
|
2022-11-07 16:32:45 +00:00 |
|