Jeroen Ketema
|
dc78330529
|
C++: Update expected test results
|
2025-09-02 12:29:00 +02:00 |
|
Jeroen Ketema
|
60845001dd
|
C++: Add sizeof VLA IR test cases
|
2025-09-02 12:28:56 +02:00 |
|
Jeroen Ketema
|
b361b0f3c3
|
Merge pull request #20310 from MathiasVP/add-comptr-model-now-with-more-models
C++: Add `ComPtr` conversion operators
|
2025-08-29 16:45:39 +02:00 |
|
Jeroen Ketema
|
6b580ac12d
|
C++: Update expected test results
|
2025-08-29 10:57:03 +02:00 |
|
Jeroen Ketema
|
a145e52faf
|
C++: Add uninitialized local test
|
2025-08-29 10:55:10 +02:00 |
|
Jeroen Ketema
|
b8917c8c19
|
Merge branch 'main' into add-comptr-model-now-with-more-models
|
2025-08-28 17:15:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
ddf0f37dac
|
C++: Accept test changes.
|
2025-08-28 16:58:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
f135ed957d
|
C++: Add testcases with missing model.
|
2025-08-28 16:54:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
4116292888
|
C++: Accept test changes.
|
2025-08-28 12:13:19 +02:00 |
|
Mathias Vorreiter Pedersen
|
d0e766da3e
|
C++: Add a testcase with invalid IR.
|
2025-08-28 12:06:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
bebfe03166
|
C++: Add missing model and accept test changes.
|
2025-08-27 15:15:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
8c07a3e552
|
C++: Add testcase with missing model.
|
2025-08-27 15:12:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
7c05622a91
|
C++: Add missing type and accept test changes.
|
2025-08-27 14:41:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
9e9f6dd11a
|
C++: Accept test changes.
|
2025-08-27 14:18:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
6f64129b04
|
C++: Add ComPtr tests.
|
2025-08-27 14:05:13 +02:00 |
|
REDMOND\brodes
|
938b47c2ad
|
Crypto: Debug missing hashes associated with HMAC. EVP_PKEY_get1_RSA is now just a passthrough, it is not a known implicit operation call. Some final operations generating null outputs are now removed from possible final operartions (typically used to determine buffer lenghth and not actually performing the operation). Misc. false positive/error fixes and code clean up, and added missing models.
|
2025-08-26 16:07:04 -04:00 |
|
REDMOND\brodes
|
5d29240f27
|
Crypto: OperationStep overhaul to account for errors and missing interproc flow.
|
2025-08-25 16:59:09 -04:00 |
|
Jeroen Ketema
|
0752c07bc1
|
C++: Update expected test results after extractor changes
|
2025-08-25 15:56:00 +02:00 |
|
REDMOND\brodes
|
b7ceeb399f
|
Crypto: nodes.expected update and removed dead code from Language.qll
|
2025-08-22 14:50:31 -04:00 |
|
REDMOND\brodes
|
ec7e41cb30
|
Crypto: Fixed issues in CBOM representations (gaps in the underlying model) and simplified unit tests in terms of the graph complexity to aid visual assessments of model correctness.
|
2025-08-21 15:05:45 -04:00 |
|
Mathias Vorreiter Pedersen
|
dfda5a0793
|
Merge pull request #20249 from MathiasVP/type-tracking-for-cpp-3
C++: Use the shared type-tracking library for virtual dispatch resolution
|
2025-08-21 11:14:12 +02:00 |
|
Ben Rodes
|
65ff72719e
|
Merge branch 'main' into signature_model_refactor
|
2025-08-20 12:34:06 -04:00 |
|
Mathias Vorreiter Pedersen
|
0631bd7466
|
C++: Add object/flow conflation for unions when resolving function pointers.
|
2025-08-19 13:57:13 +02:00 |
|
Mathias Vorreiter Pedersen
|
16508b1800
|
C++: Fix off-by-one error in getType on 'FinalGlobalValue' nodes and accept test changes.
|
2025-08-19 13:57:11 +02:00 |
|
Mathias Vorreiter Pedersen
|
302d35bedc
|
C++: Accept test changes.
|
2025-08-19 13:57:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
c1b91db37a
|
C++: Add more virtual dispatch tests.
|
2025-08-19 12:32:09 +02:00 |
|
Mathias Vorreiter Pedersen
|
af00e46fc8
|
C++: Mark fprintf and friends as a partial write of the stream argument.
|
2025-08-18 18:15:14 +02:00 |
|
Mathias Vorreiter Pedersen
|
6a57da79de
|
C++: Add a test with missing flow.
|
2025-08-18 18:12:52 +02:00 |
|
Ian Lynagh
|
fd020b52e4
|
Merge pull request #20232 from igfoo/igfoo/SloppyGlobal
C++: SloppyGlobal: Don't alert on template instantiations, only the template
|
2025-08-18 11:39:30 +01:00 |
|
Ian Lynagh
|
3157fcdf79
|
C++: Add some BAD annotations to SloppyGlobal test
|
2025-08-15 12:07:09 +01:00 |
|
Ian Lynagh
|
bfd4c41ed9
|
C++: SloppyGlobal: Accept test changes
We no longer alert on template instantiations, just the template.
|
2025-08-15 11:24:19 +01:00 |
|
Ian Lynagh
|
0b68c1c974
|
C++: Add some more tests for SloppyGlobal
|
2025-08-15 11:20:31 +01:00 |
|
Nora Dimitrijević
|
43e99d0872
|
[TEST] C++: CleartextSqliteDatabase: add new test
|
2025-08-15 12:00:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
39f5e33dea
|
C++: Accept more test changes.
|
2025-08-13 17:46:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
e6cd27a992
|
C++: Skip non-Boolean instructions in the new inference step.
|
2025-08-13 16:20:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
e67b6d6c9a
|
C++: Add another inference step.
|
2025-08-13 16:20:19 +02:00 |
|
Mathias Vorreiter Pedersen
|
a27135495c
|
C++: Add tests.
|
2025-08-13 12:54:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
caa935d011
|
C++: Update the tests for guard conditions so that the tests print more detailed location information.
|
2025-08-13 09:41:28 +02:00 |
|
Jeroen Ketema
|
f9f99a043c
|
Merge pull request #20126 from MathiasVP/fix-missing-global-flow
C++: Fix missing global variable flow
|
2025-08-11 11:54:35 +02:00 |
|
Mathias Vorreiter Pedersen
|
851cb04d36
|
Merge pull request #20193 from MathiasVP/fix-fp-in-overflow-buffer
C++: Fix FP in `cpp/overflow-buffer`
|
2025-08-11 10:45:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
ccfcd90f08
|
Merge pull request #20156 from MathiasVP/value-numbering-for-noop-casts
C++: Value numbering for casts that only modify specifiers
|
2025-08-11 10:33:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
56aacb1e55
|
Merge pull request #20145 from MathiasVP/fix-type-error-in-ir
C++: Fix missing `bool` -> `int` conversions in C code
|
2025-08-11 10:26:54 +02:00 |
|
Mathias Vorreiter Pedersen
|
0c9d14f417
|
C++: Accept test changes.
|
2025-08-08 15:14:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
26be9839df
|
C++: Add FP.
|
2025-08-08 15:10:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
851c498b37
|
C++: Accept test changes. This is a FP that's been present since we put the IR into production in #2851.
|
2025-08-03 12:17:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
b807ee4718
|
C++: Accept test changes.
|
2025-08-03 12:17:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
fca49dde92
|
C++: Accept test changes.
|
2025-08-02 16:43:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
34c1ec73c2
|
C++: Add tests with missing flow through globals.
|
2025-08-02 16:38:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
1aa8adb472
|
C++: Add test.
|
2025-08-02 13:00:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
14345a8288
|
C++: Accept test changes.
|
2025-08-01 16:09:44 +01:00 |
|