Mathias Vorreiter Pedersen
c61395b973
C++: Add implicit read of the 'm_strPath' member.
2024-11-27 16:41:37 +00:00
Mathias Vorreiter Pedersen
354361952a
C++: Add MaD model for 'CPathT'.
2024-11-27 16:41:36 +00:00
Mathias Vorreiter Pedersen
1a79290fd6
C++: Add failing tests with 'CPathT'.
2024-11-27 16:41:35 +00:00
Mathias Vorreiter Pedersen
5f05417890
C++: Add MaD model for 'CComSafeArray'.
2024-11-27 16:41:33 +00:00
Mathias Vorreiter Pedersen
e831cb5f26
C++: Add failing tests with 'CComSafeArray'.
2024-11-27 16:41:32 +00:00
Mathias Vorreiter Pedersen
948be09257
C++: Add an taint step from object to field for 'CComBSTR's.
2024-11-27 16:41:31 +00:00
Mathias Vorreiter Pedersen
9b004848a3
C++: Add MaD model for 'CComBSTR'.
2024-11-27 16:41:30 +00:00
Mathias Vorreiter Pedersen
68ee8da574
C++: Add failing tests with 'CComBSTR'.
2024-11-27 16:41:28 +00:00
Mathias Vorreiter Pedersen
2b8ef5a8c8
C++: Add MaD model for 'CAtlList'.
2024-11-27 16:41:27 +00:00
Mathias Vorreiter Pedersen
c604a93d16
C++: Add failing tests with 'CAtlList'.
2024-11-27 16:41:26 +00:00
Mathias Vorreiter Pedersen
0f8df1cd9f
C++: Add MaD model for 'CAtlArray'.
2024-11-27 16:41:24 +00:00
Mathias Vorreiter Pedersen
1cd426e9f9
C++: Add failing tests with 'CAtlArray'.
2024-11-27 16:41:23 +00:00
Mathias Vorreiter Pedersen
4f2cd81f9e
C++: Accept test changes.
2024-11-27 16:41:22 +00:00
Mathias Vorreiter Pedersen
c00f84d74a
C++: Work around the 'wrong' function name for conversion operators.
2024-11-27 16:41:20 +00:00
Mathias Vorreiter Pedersen
2c7d0dec7d
C++: Accept test changes.
2024-11-27 16:41:19 +00:00
Mathias Vorreiter Pedersen
763b991408
C++: Add models.
2024-11-27 16:41:18 +00:00
Mathias Vorreiter Pedersen
749602c982
C++: Add failing tests with CA2AEX and friends.
2024-11-27 16:41:17 +00:00
Mathias Vorreiter Pedersen
f688470324
C++: Since isConstructedFrom only holds for templates we need to explicitly handle the case where the function (or class) is not a template.
2024-11-27 16:41:16 +00:00
Mathias Vorreiter Pedersen
bf36f00bb0
C++: Add model. Observe that flow still fails.
2024-11-27 15:49:41 +00:00
Mathias Vorreiter Pedersen
16e5fa34d1
C++: Add failing tests with U_STRINGorID.
2024-11-27 15:49:39 +00:00
Mathias Vorreiter Pedersen
fe9feb900d
C++: We will need all these types.
2024-11-27 15:49:38 +00:00
Óscar San José
2bc89900fb
Update codespaces default config to ubuntu 24
2024-11-27 16:16:45 +01:00
Asger F
66d6bda716
Merge pull request #18044 from asgerf/js/shared-dataflow-bump
...
JS: Merge 'main' and implement 'speculativeTaintStep'
2024-11-27 15:43:27 +01:00
Paolo Tranquilli
5c2a6b8865
Merge pull request #18083 from github/redsun82/rust-canonical-enum
...
Rust: add extended canonical paths on enum variants
2024-11-27 15:22:07 +01:00
Paolo Tranquilli
a8188598b0
Merge branch 'main' into redsun82/rust-canonical-enum
2024-11-27 15:01:47 +01:00
Paolo Tranquilli
4e7115538b
Rust: move steps breakdown from JSON diagnostics to the DB
2024-11-27 14:55:46 +01:00
Simon Friis Vindum
d89678f49f
Rust: Data flow through tuple and struct fields
2024-11-27 14:53:01 +01:00
Paolo Tranquilli
5251dc2058
Rust: use check_diagnostics improvements
2024-11-27 13:36:27 +01:00
Mathias Vorreiter Pedersen
d86fea5ba5
Merge pull request #18114 from MathiasVP/actually-check-func-name-in-mad
...
C++: Actually check function names in MaD
2024-11-27 11:22:10 +00:00
Paolo Tranquilli
27738eaacc
Rust: reorganize perf diagnostics
2024-11-27 12:05:06 +01:00
Geoffrey White
c113a0b5a1
Rust: Fix typo.
2024-11-27 10:51:42 +00:00
Geoffrey White
60c212bb10
Rust: Update for changes on main.
2024-11-27 10:42:24 +00:00
Geoffrey White
ba560f2fe9
Rust: Model SQLx.
2024-11-27 10:31:05 +00:00
Geoffrey White
e96f15d9b4
Rust: Add a test exposing SQL Injection sinks directly.
2024-11-27 10:31:04 +00:00
Anders Schack-Mulligen
df2e2e503a
Merge pull request #17901 from aschackmull/java/allowlist-sanitizer
...
Java: Add a default taint sanitizer for contains-checks on lists of constants
2024-11-27 11:09:05 +01:00
Owen Mansel-Chan
c580046f8c
Merge pull request #18121 from github/workflow/coverage/update
...
Update CSV framework coverage reports
2024-11-27 09:37:19 +00:00
Simon Friis Vindum
9ec9d79b4f
Rust: Add additional tests for flow through structs
2024-11-27 10:10:49 +01:00
Simon Friis Vindum
46abb9083b
Merge pull request #18115 from paldepind/rust-rename-expr
...
Rust: Rename `expr` on `CallExpr` and `LetExpr`
2024-11-27 09:41:04 +01:00
Anders Schack-Mulligen
5ef496dd1b
Java: Add more qldoc.
2024-11-27 09:07:35 +01:00
Tom Hvitved
7402276ec7
Data flow: Move more logic into DataFlowImplCommon
2024-11-27 09:03:37 +01:00
Anders Schack-Mulligen
85778f7fea
Java: Fix semantic merge conflict in expected file.
2024-11-27 08:53:41 +01:00
Simon Friis Vindum
8f886c6603
Merge pull request #18088 from paldepind/rust-self-parameters
...
Rust: Handle `self` parameters in variables and SSA library
2024-11-27 08:42:58 +01:00
Ed Minnix
2b0c7a209b
Fix test results
2024-11-26 22:42:24 -05:00
Ed Minnix
a4b2ee1205
Fix generic
2024-11-26 22:42:13 -05:00
Ed Minnix
b820b324bd
Change note
2024-11-26 22:32:45 -05:00
Ed Minnix
216d298780
Microsoft.JSInterop models
2024-11-26 22:29:43 -05:00
github-actions[bot]
89b2a6b726
Add changed framework coverage reports
2024-11-27 00:21:55 +00:00
Owen Mansel-Chan
0e94ee81ae
Don't getUnderlyingType before looking through pointer type
...
If `T` is the type of an embedded field, it is invalid for `T` to be a
named type defined to be a pointer type (`type T *S`). It is also
invalid for `T` to be a type parameter. So this `getUnderlyingType()` is
redundant.
2024-11-26 22:25:56 +00:00
Owen Mansel-Chan
2cba97e87d
Small stylistic improvement
2024-11-26 22:25:55 +00:00
Owen Mansel-Chan
1bc1472b0b
Add change note
2024-11-26 22:25:53 +00:00
