Mathias Vorreiter Pedersen
|
4396e66f35
|
C++: Fix FP by providing an implementation of 'hasSocketInput'.
|
2026-05-15 21:12:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
eda33adafd
|
C++: Add FP.
|
2026-05-15 21:07:45 +01:00 |
|
Anders Schack-Mulligen
|
c2309442d5
|
C++: Accept qltest changes.
|
2025-03-14 10:51:28 +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
|
6f08790065
|
C++: Accept test changes.
|
2024-04-13 01:00:48 +01:00 |
|
Anders Schack-Mulligen
|
c355737d30
|
C++: Update expected output.
|
2024-04-12 09:20:16 +02:00 |
|
Mathias Vorreiter Pedersen
|
be54a41593
|
C++: Accept query test changes.
|
2024-02-16 15:01:50 +01:00 |
|
Anders Schack-Mulligen
|
7eb5e1833d
|
C++: Add empty provenance column to expected files.
|
2024-02-09 11:32:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
0c100eb122
|
C++: Accept test changes.
|
2023-12-14 14:44:58 +00:00 |
|
Mathias Vorreiter Pedersen
|
f1c4fa2345
|
C++: When we generate a string for the node we avoid multiple results by only using the 0'th result from the 'asExpr' predicate. However, when we want to convert between nodes and expressions we don't care about which one we get.
|
2023-09-01 14:04:52 +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
|
b092da485d
|
C++: Accept more test changes.
|
2023-08-30 11:26:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
bb1712b489
|
Merge branch 'main' into reuse-even-more-nodes
|
2023-08-26 18:08:58 +01:00 |
|
Alex Eyers-Taylor
|
9f8fbf8a1a
|
CPP: Update tests for argv change
|
2023-08-25 13:05:10 +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 |
|
Jeroen Ketema
|
de97ae38dc
|
C++: C++: Use getAUse in getIRRepresentationOfIndirectOperand
|
2023-03-09 15:15:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
04b84320c9
|
C++: Accept more query-test changes.
|
2023-02-28 00:06:35 +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 |
|
Jeroen Ketema
|
24891c3f43
|
C++: Fix missing subpaths when displaying dataflow paths
|
2023-01-31 10:57:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
7cc7675cdc
|
C++: Accept query changes. These are just deduplications.
|
2023-01-30 09:26:14 +00:00 |
|
Jeroen Ketema
|
f628152be1
|
C++: In dataflow use the AST representation of IR Instructions and Operands
|
2023-01-20 10:39:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
e453c7a36e
|
C++: Accept test changes.
|
2022-12-22 10:57:54 +00:00 |
|
Jeroen Ketema
|
0addae81cd
|
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2022-12-20 11:34:41 +01:00 |
|
Jeroen Ketema
|
7549915773
|
C++: Accept test changes
|
2022-12-19 12:52:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
2de2887ebb
|
C++: Accept test changes
|
2022-12-16 13:27:08 +00:00 |
|
Jeroen Ketema
|
3be0b3e6c7
|
C++: Recognize indirect argv accesses as flow sources for use-use dataflow
This fixes the test regression on `cpp/command-line-injection`.
|
2022-12-13 16:18:17 +01:00 |
|
Jeroen Ketema
|
b2091e8632
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2022-12-12 11:40:36 +01:00 |
|
Jeroen Ketema
|
ce92ba640a
|
C++: Accept test changes
|
2022-12-09 23:38:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
29f4b26280
|
Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-ssa-flow
|
2022-11-16 16:09:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
a9173727cf
|
Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-ssa-flow
|
2022-11-16 14:22:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
4f2c2e6d5e
|
C++: Accept test changes.
|
2022-11-16 14:05:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
2cebd5c51d
|
C++: Accept test changes.
|
2022-11-16 13:56:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
1f43a1a924
|
Merge branch 'replace-ast-with-ir-use-usedataflow' into merge-some-indirect-and-instruction-nodes
|
2022-11-15 16:00:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
16565401c7
|
C++: Reduce path duplication.
|
2022-11-14 15:29:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
0c7f57e0c4
|
C++: Accept test changes.
|
2022-11-11 11:09:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
2fc7e6159e
|
C++: Accept test changes.
|
2022-10-27 12:12:34 +02:00 |
|
Mathias Vorreiter Pedersen
|
562f052eb0
|
C++: Accept test changes.
|
2022-10-26 17:06:38 +02:00 |
|
Mathias Vorreiter Pedersen
|
1bd48f8d02
|
Merge branch 'replace-ast-with-ir-use-usedataflow' into repair-cleartext-transmission-2
|
2022-10-25 14:27:33 +02:00 |
|
Mathias Vorreiter Pedersen
|
00a25dbe45
|
C++: Accept test changes.
|
2022-10-14 15:01:31 +02:00 |
|
Mathias Vorreiter Pedersen
|
7ad781e91c
|
C++: Repair the 'cpp/cleartext-transmission' query in preparation for IR-based use-use dataflow.
|
2022-10-14 14:37:59 +02:00 |
|
Mathias Vorreiter Pedersen
|
4c5953fce0
|
C++: Accept query-test changes.
|
2022-10-14 10:14:52 +02:00 |
|
erik-krogh
|
33165f4f55
|
CPP: update expected output
|
2022-09-23 14:45:59 +02:00 |
|
Geoffrey White
|
946456acc2
|
C++: Apply the sanitizer improvement from cpp/cleartext-storage-buffer in cpp/cleartext-storage-file and cpp/cleartext-transmission.
|
2022-09-05 14:44:33 +01:00 |
|
Geoffrey White
|
04b8306f06
|
C++: Add some more patterns.
|
2022-04-04 16:57:00 +01:00 |
|
Geoffrey White
|
d42ee7d279
|
C++: Extend tests.
|
2022-04-04 16:46:56 +01:00 |
|
Geoffrey White
|
b296b0150a
|
C++: Some enhancements to SensitiveExprs.qll as well, inspired by csharp.
|
2022-03-31 10:24:17 +01:00 |
|
Geoffrey White
|
cf5c6baadd
|
C++: More test cases for salary.
|
2022-03-29 15:05:27 +01:00 |
|
Geoffrey White
|
b94ade3bdd
|
C++: Improve the regexps.
|
2022-03-29 10:03:58 +01:00 |
|
Geoffrey White
|
18f80eb3e3
|
C++: Loosen a few constraints slightly.
|
2022-03-28 11:16:57 +01:00 |
|