Porcupiney Hairs
e768e2e5fe
Include changes from review
2024-09-16 05:17:11 +05:30
Porcupiney Hairs
a7cdf0e2fd
CPP: Disabled SSL certificate verification
...
Disable SSL certificate verification can expose the communication to MITM attacks.
This PR adds a query to detect the same. This also include the tests and qhelp for the same.
2024-06-23 14:27:04 +05:30
Jeroen Ketema
4c4c15b425
C++: Remove unneeded options from tests
2024-06-20 14:21:34 +02:00
Paolo Tranquilli
919ddccfdb
C++/Java: Accept new warning format in ql tests
2024-06-19 09:13:18 +02:00
Jeroen Ketema
14b5114aa6
C++: Add more tests that show we do not properly deduplicate attributes
2024-06-14 17:44:05 +02:00
Jeroen Ketema
7d97463e4d
C++: Add test that show that routine attributes are not fully de-duplicated
2024-06-14 16:43:29 +02:00
Mathias Vorreiter Pedersen
4bbeda08d6
C++: Fix change note naming.
2024-06-13 11:10:00 +01:00
Mathias Vorreiter Pedersen
83108e3e25
C++: Add change note.
2024-06-13 11:03:52 +01:00
Mathias Vorreiter Pedersen
bcabc88649
C++: Accept test changes.
2024-06-13 10:59:46 +01:00
Mathias Vorreiter Pedersen
4079de125f
C++: Fix FP by also excluding indirections of array expressions.
2024-06-13 10:59:39 +01:00
Mathias Vorreiter Pedersen
eec259279a
C++: Add another FP test. We already have tests for this, but it doesn't hurt to have another one, I guess.
2024-06-13 10:57:49 +01:00
Mathias Vorreiter Pedersen
3351b9547d
Merge branch 'rc/3.14' into rc-3.14-mergeback
2024-06-11 16:21:08 +01:00
Mathias Vorreiter Pedersen
6a6978398a
C++: Add file QLDoc.
2024-06-11 15:39:45 +01:00
Mathias Vorreiter Pedersen
333df03f64
C++: Cache more things.
2024-06-11 15:39:43 +01:00
github-actions[bot]
8a25081a0e
Post-release preparation for codeql-cli-2.17.5
2024-06-10 15:33:08 +00:00
github-actions[bot]
877bfa2468
Release preparation for version 2.17.5
2024-06-10 13:40:39 +00:00
Mathias Vorreiter Pedersen
c3bba38950
C++: Fix QLDoc.
2024-06-10 13:39:34 +01:00
Mathias Vorreiter Pedersen
1aea120e89
C++: Add change note.
2024-06-10 13:01:01 +01:00
Mathias Vorreiter Pedersen
b0c4fcec57
C++: Cleanup.
2024-06-10 12:53:07 +01:00
Mathias Vorreiter Pedersen
9e088f3e4a
C++: Accept test changes.
2024-06-10 12:53:06 +01:00
Mathias Vorreiter Pedersen
84c1341b62
C++: Support builtin expect in IRGuards.
2024-06-10 12:53:04 +01:00
Mathias Vorreiter Pedersen
d76700497b
C++: Add testcases using the builtin expect operation.
2024-06-10 12:47:45 +01:00
Mathias Vorreiter Pedersen
9c98652116
C++: Handle 'unlikely' in IRGuards.
2024-06-10 12:47:44 +01:00
Jeroen Ketema
000a81fd29
Merge pull request #16690 from MathiasVP/better-guards
...
C++: Fix missing results for `comparesEq` in `IRGuardCondition`
2024-06-10 13:32:10 +02:00
Mathias Vorreiter Pedersen
7819cc1c36
C++: Add more QLDoc.
2024-06-10 10:58:52 +01:00
Mathias Vorreiter Pedersen
7f62085be5
C++: Delete unused predicate.
2024-06-07 09:13:29 +01:00
Mathias Vorreiter Pedersen
ed525fce70
C++: Accept test changes.
2024-06-06 20:38:31 +01:00
Mathias Vorreiter Pedersen
b5a3575130
C++: Make proper use of barrier guards in test.
2024-06-06 20:38:17 +01:00
Jeroen Ketema
4488518838
C++: Update expected test results
2024-06-06 21:12:34 +02:00
Jeroen Ketema
5ae8fe502a
C++: Correctly identify orphaned variables as static
2024-06-06 20:35:26 +02:00
Jeroen Ketema
798357ffc6
C++: Add test case that shows that __func__ is not considered static
2024-06-06 20:31:45 +02:00
Mathias Vorreiter Pedersen
7b92554cf2
Merge branch 'main' into better-guards
2024-06-06 19:22:10 +01:00
Mathias Vorreiter Pedersen
9f4c1380e5
Merge pull request #16677 from MathiasVP/phi-input-nodes
...
C++: Extend barrier guards to handle phi inputs
2024-06-06 19:21:30 +01:00
Mathias Vorreiter Pedersen
9564ae1ca4
C++: Accept more test changes.
2024-06-06 17:04:48 +01:00
Mathias Vorreiter Pedersen
528afba919
C++: Accept test changes.
2024-06-06 16:32:29 +01:00
Mathias Vorreiter Pedersen
36aac3ffd8
C++: Get rid of 'relevantUnaryComparison' since it was excluding too much. The performance is most likely fine with that restriction.
2024-06-06 16:32:16 +01:00
Mathias Vorreiter Pedersen
703832f5a1
C++: Remove a column from a few predicates.
2024-06-06 16:30:32 +01:00
Mathias Vorreiter Pedersen
0298755975
C++: Add a test.
2024-06-06 16:22:23 +01:00
Mathias Vorreiter Pedersen
8aaa2a1079
C++: Improve comment.
2024-06-06 15:58:52 +01:00
Mathias Vorreiter Pedersen
f7b2d98c6e
C++: Add tests to demonstrate that it's not barrier guard that's buggy. Rather, it's the GuardCondition library.
2024-06-06 15:35:16 +01:00
Mathias Vorreiter Pedersen
fa09d21c32
C++: Simplify. No need for the 'PhiInputNodeExt' class.
2024-06-06 15:33:38 +01:00
Mathias Vorreiter Pedersen
5deb9002bf
Merge pull request #16665 from geoffw0/yml
...
C++: Support for extension models (.yml)
2024-06-06 14:21:42 +01:00
Geoffrey White
8acb11924d
C++: Remove redundant import.
2024-06-06 13:39:10 +01:00
Geoffrey White
7aec488d8a
C++: Permit ':' in models-as-data namespaces.
2024-06-06 12:53:42 +01:00
Geoffrey White
894497218d
Shared: Recognize 'remote-sink' in ModelValidation.qll.
2024-06-06 12:49:13 +01:00
Geoffrey White
f9ef72eca6
C++: Fix typos.
2024-06-06 12:31:44 +01:00
Mathias Vorreiter Pedersen
31bc4263e7
C++: Fix QLDoc.
2024-06-06 10:52:37 +01:00
Mathias Vorreiter Pedersen
bd9ece0bd3
C++: Add dataflow through '__builtin_bit_cast'.
2024-06-06 10:00:18 +01:00
Mathias Vorreiter Pedersen
48f2fd0460
C++: Accept IR changes.
2024-06-06 09:52:35 +01:00
Mathias Vorreiter Pedersen
d6352b47a1
C++: Fix IR generation for builtin operations.
2024-06-06 09:52:20 +01:00
