Jeroen Ketema
|
2908570ce9
|
C++: Do not consider expression results discardable when there is a conversion
|
2025-07-04 14:10:34 +02:00 |
|
Jeroen Ketema
|
b185cc8b95
|
C++: Factor out transparent conversions in their own predicate
|
2025-07-04 14:09:34 +02:00 |
|
Jeroen Ketema
|
e68d10119b
|
C++: Fix typo in comment
|
2025-07-04 14:09:09 +02:00 |
|
Mathias Vorreiter Pedersen
|
e89662beb7
|
C++: Add glibc flow summaries.
|
2025-07-03 18:53:18 +01:00 |
|
Jeroen Ketema
|
a4de3110ae
|
Merge pull request #15233 from jketema/uncomment-function-kind
C++: Uncomment cases in the dbscheme
|
2025-07-03 13:37:55 +02:00 |
|
Jeroen Ketema
|
3c73f141c4
|
C++: Update stats file
|
2025-07-02 21:46:14 +02:00 |
|
Jeroen Ketema
|
2697798f05
|
C++: Add upgrade and downgrade scripts
|
2025-07-02 21:46:12 +02:00 |
|
Jeroen Ketema
|
eede720aa8
|
C++: Uncomment cases in the dbscheme
|
2025-07-02 21:46:09 +02:00 |
|
Mathias Vorreiter Pedersen
|
f825904ee0
|
C++: Add flow models for 'CreateProcess' and friends.
|
2025-07-02 14:18:36 +01:00 |
|
Jeroen Ketema
|
1103644737
|
C++: Add upgrade and downgrade scripts
|
2025-07-01 23:38:24 +02:00 |
|
Jeroen Ketema
|
3418451bee
|
C++: Update stats file
|
2025-07-01 23:16:26 +02:00 |
|
Jeroen Ketema
|
65b21286a1
|
C++: Move builtin function identification to its own table
|
2025-07-01 18:00:44 +02: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
|
f3c5870d44
|
C++: Update stats file
|
2025-07-01 10:21:51 +02:00 |
|
Jeroen Ketema
|
8ac69b9116
|
C++: Add upgrade and downgrade scripts
|
2025-07-01 10:17:43 +02:00 |
|
Jeroen Ketema
|
7779f14654
|
C++: Remove unused external_package tables from the dbscheme
|
2025-07-01 10:13:04 +02:00 |
|
Jeroen Ketema
|
a791640b52
|
Merge pull request #19935 from jketema/sync-dbscheme-cpp
C++: synchronize dbscheme
|
2025-07-01 09:51:29 +02:00 |
|
Jeroen Ketema
|
d5c7905009
|
Merge pull request #19907 from github/idrissrio/no-string-representation
C++: fix `(no string representation)` for `ConstructorInit`
|
2025-07-01 08:13:31 +02:00 |
|
REDMOND\brodes
|
8b64a72fe1
|
Crypto: Initial sketch for refactoring MAC and signatures to account for APIs having one function to do both. Incomplete. Work in progress.
|
2025-06-30 15:36:55 -04:00 |
|
Jeroen Ketema
|
98798b6f73
|
C++: Update stats file
|
2025-06-30 20:12:49 +02:00 |
|
Jeroen Ketema
|
1772193982
|
Merge pull request #19933 from jketema/arm-change
C++: Add Arm64 change note
|
2025-06-30 19:19:32 +02:00 |
|
Jeroen Ketema
|
44523aeec4
|
C++: Add Arm64 change note
|
2025-06-30 18:01:03 +02:00 |
|
idrissrio
|
6a291cc474
|
C++: fix (no string representation) for ConstructorInit
|
2025-06-30 17:11:58 +02:00 |
|
REDMOND\brodes
|
e6b363b81b
|
Crypto: fix Ql-for-QL alerts.
|
2025-06-30 11:08:30 -04:00 |
|
Jeroen Ketema
|
3a3c222e46
|
C++: Add upgrade and downgrade scripts
|
2025-06-30 15:28:55 +02:00 |
|
Jeroen Ketema
|
617edf0b70
|
C++: synchronize dbscheme
|
2025-06-30 15:28:45 +02:00 |
|
Jeroen Ketema
|
23b9db8f6f
|
Merge pull request #19904 from jketema/ffbl
C++: Sync the product-flow field flow branch limits with the default one
|
2025-06-30 11:17:55 +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 |
|
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
|
89c91cc1a2
|
C++: Add change note
|
2025-06-27 15:06:03 +02:00 |
|
Jeroen Ketema
|
99a24f9650
|
C++: Fix macro handling after extractor changes
|
2025-06-27 14:42:33 +02:00 |
|
Jeroen Ketema
|
bf131dc84b
|
C++: Update stats file
|
2025-06-27 14:42:32 +02:00 |
|
Jeroen Ketema
|
7f47e31fb5
|
C++: Add upgrade and downgrade scripts
|
2025-06-27 14:42:20 +02:00 |
|
Jeroen Ketema
|
b4caba7c0e
|
C++: Merge the location tables
|
2025-06-27 14:42:08 +02:00 |
|
REDMOND\brodes
|
9f0c62b572
|
Crypto: Address PR comments.
|
2025-06-27 08:33:01 -04:00 |
|
Ben Rodes
|
122a004851
|
Update cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/MACAlgorithmInstance.qll
Co-authored-by: Nicolas Will <nicolaswill@github.com>
|
2025-06-27 08:28:05 -04:00 |
|
Jeroen Ketema
|
3e31cd3ce5
|
C++: Sync the product-flow field flow branch limits with the default one
|
2025-06-27 12:59:54 +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 |
|
Jeroen Ketema
|
ec09d36667
|
Merge pull request #19832 from ebickle/feature/oracle-model
C++: Support SQL Injection sinks for Oracle Call Interface (OCI)
|
2025-06-26 16:33:55 +02:00 |
|
REDMOND\brodes
|
6e5734adca
|
Crypto: Fix openssl padding to propery link async padding to hashing configs.
|
2025-06-26 09:18:30 -04:00 |
|
Nicolas Will
|
652e7ba15b
|
Merge branch 'main' into codescanning_fixes_cpp
|
2025-06-26 14:54:36 +02:00 |
|
Jeroen Ketema
|
a5737dded3
|
Merge branch 'main' into feature/oracle-model
|
2025-06-26 12:48:55 +02:00 |
|
REDMOND\brodes
|
7477471bc5
|
Crypto: Bug fix in output model
|
2025-06-25 15:25:51 -04:00 |
|
Nicolas Will
|
ad7358ac4f
|
Crypto: Deduplicate "GCM" mapping from OpenSSL modeling
|
2025-06-25 20:26:38 +02:00 |
|
Nicolas Will
|
8e6031df14
|
Crypto: Fix further acronym casing and remove unused field
|
2025-06-25 20:25:33 +02:00 |
|
Nicolas Will
|
b8097501b6
|
Update cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/KnownAlgorithmConstants.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-06-25 20:12:51 +02:00 |
|
Nicolas Will
|
14472bf744
|
Crypto: Refactor type name mapping and fix QL-for-QL alerts
|
2025-06-25 20:08:14 +02:00 |
|