Mathias Vorreiter Pedersen
|
2062a774fc
|
C++: Add 'std::thread' test with missing flow.
|
2025-07-10 12:44:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
d198a964e0
|
C++: Add a model for 'pthread_create' and accept test changes.
|
2025-07-10 12:20:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
675a072639
|
C++: Add 'pthread_create' test with missing flow.
|
2025-07-10 12:16:23 +01:00 |
|
Jeroen Ketema
|
399967b507
|
C++: Do not alert on unreachable code in cpp/incorrect-string-type-conversion
|
2025-07-10 11:49:12 +02:00 |
|
Jeroen Ketema
|
2907861075
|
C++: Add cpp/incorrect-string-type-conversion test with unreachable code
|
2025-07-10 11:48:53 +02:00 |
|
Jeroen Ketema
|
acc06fab20
|
C++: Convert cpp/incorrect-string-type-conversion test to inline expectations
|
2025-07-10 11:48:18 +02:00 |
|
Jeroen Ketema
|
463ae4b1eb
|
C++: Address review comments
|
2025-07-04 23:13:37 +02:00 |
|
Jeroen Ketema
|
d010b6eb01
|
C++: Update expected test results
|
2025-07-04 14:28:17 +02:00 |
|
Jeroen Ketema
|
799f33eb3a
|
C++: Add more postfix-crement tests
|
2025-07-04 14:08:29 +02:00 |
|
Mathias Vorreiter Pedersen
|
24728a3417
|
C++: Accept test changes.
|
2025-07-04 00:03:42 +01:00 |
|
Jeroen Ketema
|
5b26a426dc
|
C++: Add test showing we miss the operands of postfix crement in dataflow
|
2025-07-03 16:49:37 +02:00 |
|
Mathias Vorreiter Pedersen
|
76678ef3d2
|
C++: Accept test changes.
|
2025-07-02 14:24:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
5684ca5d51
|
C++: Add tests with 'CreateProcess' and fiends demonstrating missing flow.
|
2025-07-02 14:18:34 +01:00 |
|
REDMOND\brodes
|
d32e09ac37
|
Crypto: Misc. cleanup and completed model refactor for Mac. Passing tests for openssl, refactor still required for JCA.
|
2025-07-01 10:37:09 -04:00 |
|
Jeroen Ketema
|
02e5541953
|
Merge branch 'main' into patch-1
|
2025-07-01 15:58:48 +02:00 |
|
idrissrio
|
62e55edbad
|
C++: accept new test results after changes
|
2025-06-30 17:11:59 +02:00 |
|
Jeroen Ketema
|
6ae1656ec4
|
Merge pull request #17581 from jketema/loc-table-merge
C++: Merge the location tables
|
2025-06-30 10:33:46 +02:00 |
|
Mrigank Pawagi
|
809d1d55a8
|
remove cases involving sizeof
|
2025-06-28 17:16:04 +00:00 |
|
REDMOND\brodes
|
97cd083f65
|
Merge branch 'operation_step_refactor' into openssl_padding_refactor
# Conflicts:
# cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/AlgToAVCFlow.qll
# cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/PaddingAlgorithmInstance.qll
|
2025-06-27 09:42:06 -04:00 |
|
Jeroen Ketema
|
99a24f9650
|
C++: Fix macro handling after extractor changes
|
2025-06-27 14:42:33 +02:00 |
|
Jeroen Ketema
|
b4caba7c0e
|
C++: Merge the location tables
|
2025-06-27 14:42:08 +02:00 |
|
Nicolas Will
|
976364fcaa
|
Merge branch 'main' into operation_step_refactor
|
2025-06-27 12:05:14 +02:00 |
|
Jeroen Ketema
|
0996e6083e
|
C++: Pretty print MaD ids in test output
|
2025-06-26 23:38:32 +02:00 |
|
REDMOND\brodes
|
505d8806c7
|
Crypto: Add key input support for the graph for key generation operations.
|
2025-06-26 11:51:49 -04:00 |
|
Nicolas Will
|
c54e68c855
|
Merge branch 'main' into pr/19880
|
2025-06-26 16:47:38 +02:00 |
|
Eric Bickle
|
3083bdb0b4
|
C++: Update MaD line numbers in flow.expected
|
2025-06-26 06:47:24 -07:00 |
|
REDMOND\brodes
|
6e5734adca
|
Crypto: Fix openssl padding to propery link async padding to hashing configs.
|
2025-06-26 09:18:30 -04:00 |
|
Jeroen Ketema
|
a5737dded3
|
Merge branch 'main' into feature/oracle-model
|
2025-06-26 12:48:55 +02:00 |
|
Nicolas Will
|
6571c11eb7
|
Merge branch 'main' into operation_step_refactor
|
2025-06-25 20:38:11 +02:00 |
|
REDMOND\brodes
|
93bad3c799
|
Crypto: Misc bug fixes and updated expected files.
|
2025-06-25 11:02:30 -04:00 |
|
Jeroen Ketema
|
fff23040b3
|
C++: Update test results
|
2025-06-25 08:14:22 +02:00 |
|
Jeroen Ketema
|
8f249c77bc
|
C++: Support more complex 16-bit float types
|
2025-06-24 16:56:34 +02:00 |
|
Geoffrey White
|
c2b317783f
|
C++: Fix for SQL query.
|
2025-06-24 09:29:46 +01:00 |
|
Jeroen Ketema
|
ca961386b2
|
C++: Handle Arm SVE in the IR
|
2025-06-23 12:33:42 +02:00 |
|
Eric Bickle
|
32464a8995
|
C++: Support SQL Injection sinks for Oracle Call Interface (OCI)
|
2025-06-20 06:05:24 -07:00 |
|
Jeroen Ketema
|
17ce5f42e6
|
C++: Update expected test results after extractor changes
|
2025-06-20 13:51:36 +02:00 |
|
Jeroen Ketema
|
2e5d52e7e8
|
Merge pull request #19792 from jketema/sve
C++: Add Arm scalable vector type QL classes
|
2025-06-18 17:01:29 +02:00 |
|
Nicolas Will
|
16c6411cf2
|
Merge pull request #19705 from bdrodes/pawel_signatures_conversion
Quantum: Add OpenSSL signature models
|
2025-06-18 15:32:15 +02:00 |
|
Jeroen Ketema
|
25149e7ec2
|
C++: Update expected test results
|
2025-06-18 13:41:33 +02:00 |
|
Idriss Riouak
|
eff1fbab0f
|
Merge pull request #19805 from github/idrissrio/namespace-attributes
C++: fix typedef resolution in `ArrayType`
|
2025-06-18 10:21:21 +02:00 |
|
idrissrio
|
72559d5198
|
C++: move resolveTypedefs tests to dedicated directory
|
2025-06-18 10:11:55 +02:00 |
|
Ben Rodes
|
b2765a2ff7
|
Merge branch 'main' into pawel_signatures_conversion
|
2025-06-17 14:52:41 -04:00 |
|
idrissrio
|
6ffba11f13
|
C++: accept new test results after changes
|
2025-06-17 18:51:43 +02:00 |
|
idrissrio
|
3f595fdd03
|
C++: add tests for ArrayType typedef resolution
|
2025-06-17 18:47:42 +02:00 |
|
Idriss Riouak
|
a702f7a45e
|
Merge pull request #19773 from github/idrissrio/namespace-attributes
C++: Retrieve namespace attributes
|
2025-06-17 12:03:55 +02:00 |
|
idrissrio
|
9fb47cc125
|
C++: add tests for attribute extraction on namespace
|
2025-06-17 10:52:27 +02:00 |
|
Mathias Vorreiter Pedersen
|
9f3569b980
|
C++: Accept test changes.
|
2025-06-16 17:53:35 +01:00 |
|
Jeroen Ketema
|
4228828b66
|
C++: Address review comments
|
2025-06-16 15:02:08 +02:00 |
|
Nicolas Will
|
f975428243
|
Merge branch 'main' into pawel_signatures_conversion
|
2025-06-16 14:57:53 +02:00 |
|
Jeroen Ketema
|
9d6a1a9885
|
C++: Generate SEH edges for pointer dereference loads in __try blocks
|
2025-06-16 12:39:53 +02:00 |
|