idrissrio
|
e6f118374f
|
C++: add predicate to Namespace class to retrieve associated attributes
|
2025-06-16 14:34:05 +02:00 |
|
idrissrio
|
b112b93d75
|
C++: add namespaceattributes table to store namespace attributes
|
2025-06-16 14:34:04 +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
|
1882db7d86
|
Crypto: EVP Signature Operation cleanup.
|
2025-06-13 12:07:03 -04: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
|
400424f13c
|
C++: Add change note
|
2025-06-13 16:30:24 +02:00 |
|
Jeroen Ketema
|
6f41d3c4e3
|
C++: Use SEH exception edges for functions that unconditionally throw those
|
2025-06-13 16:30:23 +02:00 |
|
Jeroen Ketema
|
0038d0f17c
|
C++: Deprecate ThrowingFunction and no longer use in IR
|
2025-06-13 16:30:20 +02:00 |
|
Mathias Vorreiter Pedersen
|
c14a4a66d5
|
C++: Accept test changes. Nothing exciting here.
|
2025-06-13 11:41:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
458a9b0359
|
C++: Add change note.
|
2025-06-13 11:06:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
e72fe9b88b
|
C++: Generate lots of new models.
|
2025-06-13 10:57:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
b02d859216
|
C++: Add lots of MaD model generation targets.
|
2025-06-13 10:56:19 +01:00 |
|
idrissrio
|
7af828720a
|
C++: address review comments
|
2025-06-13 09:44:27 +02:00 |
|
idrissrio
|
ac1824aba7
|
C++: update stats file
|
2025-06-13 09:44:26 +02:00 |
|
idrissrio
|
7152e68a4d
|
C++: add upgrade and downgrade scripts
|
2025-06-13 09:44:25 +02:00 |
|
idrissrio
|
e6faebf850
|
C++: add change note for LeaveStmt
|
2025-06-13 09:44:14 +02:00 |
|
idrissrio
|
a6b3310f77
|
C++: test new class LeaveStmt
|
2025-06-13 09:44:03 +02:00 |
|
idrissrio
|
f6fa707770
|
C++: Add LeaveStmt class
|
2025-06-13 09:44:01 +02:00 |
|
idrissrio
|
7a4de55ac2
|
C++: Add leave statement to dbscheme
|
2025-06-13 09:44:00 +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 |
|
Jeroen Ketema
|
7d8d596a35
|
Merge pull request #19686 from github/idrissrio/lambdaparams
C++: Add boolean for explicit lambda parameter lists
|
2025-06-11 23:53:00 +02: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 |
|
Nora Dimitrijević
|
4dd07f475b
|
C++: mass enable diff-informed data flow
An auto-generated patch that enables diff-informed data flow in the obvious cases.
Builds on https://github.com/github/codeql/pull/18342 and https://github.com/github/codeql-patch/pull/88
|
2025-06-11 18:51:01 +02:00 |
|
idrissrio
|
645ce5bbda
|
C++: update change note after review comments
|
2025-06-11 11:41:51 +02:00 |
|
idrissrio
|
2bae21cbcd
|
C++: address review comments
|
2025-06-11 11:41:50 +02:00 |
|
idrissrio
|
f759550e5a
|
C++: update stats file
|
2025-06-11 11:41:49 +02:00 |
|
idrissrio
|
e4a9a5aee8
|
C++: add upgrade and downgrade scripts
|
2025-06-11 11:41:48 +02:00 |
|
idrissrio
|
b0c0fb9699
|
C++: Add change node
|
2025-06-11 11:41:47 +02:00 |
|
idrissrio
|
cb17a35cbd
|
C++: Add test to check lambda parameters emptyness
|
2025-06-11 11:41:46 +02:00 |
|
idrissrio
|
6c9959d8bc
|
C++: Add predicates for lambda parameter list
|
2025-06-11 11:41:45 +02:00 |
|
idrissrio
|
3ecc4c9ad7
|
C++: Adapt existing code to use the new layout of the underlying lambda table
|
2025-06-11 11:41:44 +02:00 |
|
idrissrio
|
9ac9607cb7
|
C++: Add boolean for explicit lambda parameter list
|
2025-06-11 11:41:43 +02:00 |
|
Paolo Tranquilli
|
fbcd9eaf09
|
Merge pull request #19674 from github/redsun82/mad
Rust: regenerate MaD files using DCA
|
2025-06-11 11:10:08 +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 |
|
Paolo Tranquilli
|
0d036992e0
|
Merge branch 'main' into redsun82/mad
|
2025-06-10 13:39:10 +02:00 |
|
Paolo Tranquilli
|
bcfc009228
|
Merge branch 'main' into redsun82/mad
|
2025-06-10 10:53:52 +02:00 |
|