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 |
|
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
|
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
|
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
|
e72fe9b88b
|
C++: Generate lots of new models.
|
2025-06-13 10:57:44 +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
|
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 |
|
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
|
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 |
|
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
|
d70282c322
|
C++: Update stats file
|
2025-06-09 23:42:52 +02:00 |
|
Jeroen Ketema
|
bff4213c62
|
C++: Add upgrade and downgrade scripts
|
2025-06-09 23:42:11 +02:00 |
|
Jeroen Ketema
|
691e462501
|
C++: Support the __mfp8 floating point type
|
2025-06-09 23:42:07 +02:00 |
|
REDMOND\brodes
|
729467ccd6
|
Crypto: Separate out CTX parameter initialization, and add additional initializer subclasses.
|
2025-06-09 16:49:54 -04: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 |
|
github-actions[bot]
|
21463a9653
|
Post-release preparation for codeql-cli-2.22.0
|
2025-06-09 18:50:20 +00:00 |
|
github-actions[bot]
|
88ba02edf8
|
Release preparation for version 2.22.0
|
2025-06-09 18:14:51 +00:00 |
|
Chuan-kai Lin
|
631502e129
|
Merge branch 'main' into cklin/rc-3.18-mergeback
|
2025-06-09 07:19:40 -07:00 |
|