Jeroen Ketema
|
30bdd25228
|
C++: Fix CWE-611 XXE query to work with use-use dataflow
|
2022-11-23 16:14:28 +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 |
|
Jeroen Ketema
|
5732c3bca0
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2022-11-07 15:03:26 +01:00 |
|
Tom Hvitved
|
a533c95640
|
C++: Update expected test output
|
2022-11-03 15:52:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
5d5c64a58b
|
C++: Accept test change.
|
2022-11-03 10:27:07 +00:00 |
|
Dave Bartolomeo
|
9d5e5e3ee7
|
${workspace} all the things
|
2022-11-01 13:29:05 -04:00 |
|
Mathias Vorreiter Pedersen
|
30f15473db
|
C++: Use 'max' instead of 'unique.'
|
2022-11-01 16:55:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
aa8214addf
|
C++: Simplify 'Buffer.qll' by avoiding 'asIndirectExpr'. This removes the flow from 'x' to 'x++', which makes the whole library a lot simpler.
|
2022-10-30 12:58:53 +01: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
|
4bcba16748
|
Merge pull request #10833 from MathiasVP/repair-badly-bounded-write-2
C++: Prepare `Buffer.qll` for IR-based use-use dataflow
|
2022-10-26 16:38:33 +02:00 |
|
Mathias Vorreiter Pedersen
|
2ba94f7c89
|
Merge pull request #10838 from MathiasVP/repair-cleartext-transmission-2
C++: Prepare `cpp/cleartext-transmission` for IR-based use-use dataflow
|
2022-10-26 13:43:56 +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
|
c8f81bc6b8
|
Merge branch 'replace-ast-with-ir-use-usedataflow' into repair-badly-bounded-write-2
|
2022-10-25 14:24:38 +02:00 |
|
Mathias Vorreiter Pedersen
|
39b268194a
|
C++: Accept test changes.
|
2022-10-25 14:10:51 +02:00 |
|
Mathias Vorreiter Pedersen
|
a7d6f4ff19
|
C++: Fix pointer/pointee conflation and handle flow through '++' when tracking indirect flow.
|
2022-10-24 14:23:43 +02:00 |
|
Mathias Vorreiter Pedersen
|
b1f93b07c9
|
C++: Repair the 'cpp/command-line-injection' query in preparation for IR-based use-use dataflow.
|
2022-10-14 15:11:41 +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
|
49f39d7602
|
C++: Accept test changes.
|
2022-10-14 12:35:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
4c5953fce0
|
C++: Accept query-test changes.
|
2022-10-14 10:14:52 +02:00 |
|
Geoffrey White
|
fd571538fb
|
Merge pull request #10706 from geoffw0/vaheuristic
C++: Tune cpp/unterminated-variadic-call
|
2022-10-10 13:39:40 +01:00 |
|
erik-krogh
|
66c9705502
|
fix some more style-guide violations in the alert-messages
|
2022-10-07 11:19:46 +02:00 |
|
Geoffrey White
|
3f78a244b9
|
C++: Make the tests use more repetitions.
|
2022-10-06 09:14:24 +01:00 |
|
Geoffrey White
|
9a365d83cf
|
C++: Tighten up the heuristic in cpp/unterminated-variadic-call.
|
2022-10-06 09:14:16 +01:00 |
|
erik-krogh
|
96b46de7c8
|
update alert-messages based on review feedback
|
2022-09-23 14:53:54 +02:00 |
|
erik-krogh
|
edd03020c2
|
fix the casing in the alert-message of cpp/unclear-array-index-validation
|
2022-09-23 14:48:01 +02:00 |
|
erik-krogh
|
9e4843d53e
|
update the alert-message of cpp/file-may-not-be-closed based on feedback
|
2022-09-23 14:46:00 +02:00 |
|
erik-krogh
|
2351884352
|
update some alert-messages based on review feedback
|
2022-09-23 14:45:59 +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 |
|
Robert Marsh
|
813a8548d7
|
C++: accept test changes for globals in data flow
|
2022-06-22 16:42:42 -04:00 |
|
Robert Marsh
|
048e5d8474
|
C++: IR data flow through global variables
|
2022-06-20 15:15:45 -04:00 |
|
Geoffrey White
|
3dddc560a1
|
C++: Add LSParser specific transformer.
|
2022-05-11 11:02:01 +01:00 |
|
Geoffrey White
|
e3be7749ea
|
C++: Repair the LSParser sinks.
|
2022-05-11 11:02:01 +01:00 |
|
Geoffrey White
|
8852043558
|
C++: Additional test cases.
|
2022-05-11 11:01:26 +01:00 |
|
Geoffrey White
|
6b5a1921dd
|
C++: Support the SAX2XMLReader interface.
|
2022-05-05 16:35:21 +01:00 |
|
Geoffrey White
|
c4bc7050a9
|
C++: Additional test cases.
|
2022-05-05 16:26:09 +01:00 |
|
Geoffrey White
|
5aa862acfd
|
C++: Fixup after merge.
|
2022-05-03 16:12:42 +01:00 |
|
Geoffrey White
|
fd5b4dfff2
|
Merge branch 'main' into xxe4
|
2022-05-03 16:08:54 +01:00 |
|
Geoffrey White
|
42a78a27e0
|
C++: Fixup spacing in tests.
|
2022-05-03 11:48:03 +01:00 |
|
Geoffrey White
|
9faa825304
|
C++: Add support for libxml2 in the query.
|
2022-05-03 11:19:13 +01:00 |
|
Geoffrey White
|
812a24fc18
|
C++: Add test cases for libxml2.
|
2022-04-29 13:23:29 +01:00 |
|
Geoffrey White
|
dd258781ed
|
C++: More test cases.
|
2022-04-29 10:38:31 +01:00 |
|