REDMOND\brodes
|
790a60784e
|
Crypto: Acronym change from OpenSSL to OpenSsl, AVC to Avc and EVP to Evp.
|
2025-06-16 10:56:31 -04:00 |
|
REDMOND\brodes
|
90e480bbe8
|
Merge branch 'pawel_signatures_conversion' of https://github.com/bdrodes/codeql into pawel_signatures_conversion
|
2025-06-16 09:23:05 -04:00 |
|
REDMOND\brodes
|
45fa2c94da
|
Crypto: Code review cleanup.
|
2025-06-16 09:22:11 -04: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 |
|
idrissrio
|
09bc57a003
|
C++: update stats file
|
2025-06-16 14:34:08 +02:00 |
|
idrissrio
|
fc9e5bdbf7
|
C++: add upgrade and downgrade scripts
|
2025-06-16 14:34:07 +02:00 |
|
idrissrio
|
927c220ddc
|
C++: add change note for Namespace
|
2025-06-16 14:34:06 +02:00 |
|
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 |
|