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 |
|
Jeroen Ketema
|
3eb768c1e9
|
C++: Generate SEH edges for pointer dereference stores in __try blocks
|
2025-06-16 12:39:50 +02:00 |
|
Jeroen Ketema
|
67d623fb06
|
C++: Add __try with load test case
Fix some formatting while here.
|
2025-06-16 12:39:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
3d9d9fe9c0
|
Merge pull request #19746 from jketema/seh
C++: Use SEH exception edges in IR and generate SEH exception edges for calls in `__try` blocks
|
2025-06-16 10:53:54 +01:00 |
|
Nicolas Will
|
db0bc47495
|
Merge branch 'main' into pawel_signatures_conversion
|
2025-06-15 15:35:31 +02:00 |
|
Jeroen Ketema
|
1b2813dcf6
|
C++: Also generate an SEH edge for calls in initializers
|
2025-06-14 00:16:47 +02:00 |
|
Jeroen Ketema
|
815ae37a7e
|
C++: Add test case with call in initialization
Fix formatting while here.
|
2025-06-14 00:05:00 +02:00 |
|
Jeroen Ketema
|
4a42ca8c69
|
C++: Limit SEH exception edges to calls in __try blocks
|
2025-06-13 20:34:35 +02:00 |
|
Mathias Vorreiter Pedersen
|
d83cbde1cb
|
Merge pull request #19753 from MathiasVP/add-more-mad-summaries
C++: Add more MaD summaries
|
2025-06-13 18:23:11 +01:00 |
|
REDMOND\brodes
|
fb495bf665
|
Crypto: Update expected files. There are failures, but accepting them for now and noting the issue for a future PR.
|
2025-06-13 12:02:57 -04:00 |
|
REDMOND\brodes
|
cf2f0f16b8
|
Crypto: Initial model of signatures. Still incomplete for verification and correct handling of MACs.
|
2025-06-13 11:52:37 -04:00 |
|
Jeroen Ketema
|
c7a7447768
|
C++: Generate an SEH exception edge for each call inside a SEH block
|
2025-06-13 16:30:25 +02:00 |
|
Jeroen Ketema
|
6f41d3c4e3
|
C++: Use SEH exception edges for functions that unconditionally throw those
|
2025-06-13 16:30:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
c14a4a66d5
|
C++: Accept test changes. Nothing exciting here.
|
2025-06-13 11:41:01 +01:00 |
|
idrissrio
|
a6b3310f77
|
C++: test new class LeaveStmt
|
2025-06-13 09:44:03 +02:00 |
|
REDMOND\brodes
|
eb20955a54
|
Crypto: Further simplify test caes to only use edges/nodes/properties. Update model to account for MAC algorithms.
|
2025-06-12 15:36:59 -04:00 |
|
REDMOND\brodes
|
20e2c7cefd
|
Crypto: Overhaul/refactor of EVPInitialzers. Update cipher operation to disallow null key and IV on initializers (typically do not represent an actual key or IV).
|
2025-06-12 00:41:15 -04:00 |
|
REDMOND\brodes
|
8f25380655
|
Crypto: Consolidate tests to use node, edges, and properties.
|
2025-06-11 15:15:22 -04:00 |
|
REDMOND\brodes
|
d3cff2dff1
|
Crypto: Add support to trace keys, add support to find prior key gen properties that configure downstream operations. Add key size tests
|
2025-06-11 13:58:56 -04:00 |
|
idrissrio
|
2bae21cbcd
|
C++: address review comments
|
2025-06-11 11:41:50 +02:00 |
|
idrissrio
|
cb17a35cbd
|
C++: Add test to check lambda parameters emptyness
|
2025-06-11 11:41:46 +02:00 |
|
REDMOND\brodes
|
7d479940e5
|
Crypto: Nop out signature operations for now until complete. Minor model update. Remove setting RSA bits as an RSA algorithm. Fix bug in hash algorithm. Add missing PKey encryption to cipher ops. Consolidate ctx initializers. Add unit tests, and alter unit test directory structure to allow for application to other APIs. Update expected files for unit tests (not all updated yet, a work in progress).
|
2025-06-10 13:37:17 -04:00 |
|
Jeroen Ketema
|
a4be27659b
|
C++: Minor test case reformatting
|
2025-06-10 15:55:18 +02:00 |
|
Jeroen Ketema
|
7d1b5ce584
|
C++: Add basic Aarch64 Neon test
|
2025-06-10 15:34:06 +02:00 |
|
Jeroen Ketema
|
f910906965
|
C++: Update expected test results
|
2025-06-09 23:42:09 +02:00 |
|
REDMOND\brodes
|
4f2045bbdd
|
Crypto: CtxFlow now uses an interface for additional steps. Add CTX step to handle paramgen. Remove redundant test. Overhaul of EVP update/initializer/final mechanics. Misc. updates for new API and refactoring EVPKeyGenOperation. Clean up of keygen_operaitons.ql.
|
2025-06-09 15:07:00 -04:00 |
|
REDMOND\brodes
|
98aae6a7bf
|
Crypto: Add EVP key gen and signature operation (work in progress). Add initial signature tests (no expected files yet). Add new openssl .h stubs. Clean up of OperationBase and associated uses. Update test case stubs to be closer to the actual stubs. Fix unncessary instanceof check in signatures.
|
2025-06-05 16:43:58 -04:00 |
|
Mrigank Pawagi
|
114b46824a
|
update test
|
2025-06-05 15:56:35 +00:00 |
|