Граф коммитов

72033 Коммитов

Автор SHA1 Сообщение Дата
Mathias Vorreiter Pedersen 442968c3c2 C++: Properly restrict 'unary_simple_comparison_eq'. 2024-11-14 16:29:49 +00:00
Mathias Vorreiter Pedersen db38069290 C++: Use value numbering in IRGuards. 2024-11-14 16:29:48 +00:00
Mathias Vorreiter Pedersen a40c1d50b8 C++: Add FP tests. 2024-11-14 16:13:46 +00:00
Napalys Klicius 6fa3ff39a0 Merge branch 'main' into napalys/toSpliced-support 2024-11-14 16:56:32 +01:00
Owen Mansel-Chan ba239a1be0
Add change note 2024-11-14 15:02:21 +00:00
Owen Mansel-Chan bf0fba6c49
Refactor UnreachableBasicBlock to make it clearer 2024-11-14 14:53:12 +00:00
Owen Mansel-Chan efb34aea45
Fix bug in UnreachableBlocks 2024-11-14 14:50:25 +00:00
Napalys Klicius c8c15a0899
Merge pull request #17910 from Napalys/napalys/matchAll-support
JS: Support for matchAll
2024-11-14 15:36:20 +01:00
Napalys b333f523df JS: Fix: now one can determine regex via Array.prototype.toSpliced function call. 2024-11-14 15:35:03 +01:00
Napalys 2b0def1ed3 JS: Add: Test case for checking if regex via using toSpliced 2024-11-14 15:31:38 +01:00
Napalys 52330e834c JS: Add: Test case for checking if regex via using splice 2024-11-14 15:29:05 +01:00
Cornelius Riemenschneider 3fdd35cfdc
Merge pull request #17976 from github/criemen/rust-3rdparty
Rust: Vendor build files for 3rdparty dependencies.
2024-11-14 12:58:00 +01:00
Owen Mansel-Chan 4ca6c80eb5
Merge pull request #17973 from github/workflow/coverage/update
Update CSV framework coverage reports
2024-11-14 10:19:41 +00:00
Tamas Vajk 0fa3ba6b4d Code quality improvements 2024-11-14 10:45:54 +01:00
Tamas Vajk 90579947cf Move all classes to the Semmle.Extraction.CSharp namespace 2024-11-14 09:13:03 +01:00
Napalys Klicius 97de35c689
Merge pull request #17965 from Napalys/napalys/immutable-array-operations
JS: Added support for toSorted and toReversed
2024-11-14 06:59:38 +01:00
github-actions[bot] 788a88aaca Add changed framework coverage reports 2024-11-14 00:20:18 +00:00
Napalys 84234d59b9 JS: Fix: Ensure toSpliced with spread operator is flagged 2024-11-13 17:21:34 +01:00
Napalys 8512cb44ff JS: Add: Test cases for toSpliced with spread operator 2024-11-13 17:18:09 +01:00
Napalys cf90430ec0 JS: Add: Missing test case for splice spread operator 2024-11-13 17:07:17 +01:00
Simon Friis Vindum d3f5b479f6 Merge branch 'main' into rust-df-patterns 2024-11-13 16:22:07 +01:00
Napalys 2df3d1b251 JS: Fix: Ensure toSpliced is flagged by taint tracking in test suite (ed44358143) 2024-11-13 15:58:20 +01:00
Tamas Vajk a0cac46b46 Merge the two CachedEntityFactory classes 2024-11-13 15:53:49 +01:00
Napalys ed44358143 Added toSpliced test cases for mutation arrays 2024-11-13 15:51:00 +01:00
Tamas Vajk 02bd204111 Move more classes to the Semmle.Extraction.CSharp namespace 2024-11-13 15:27:48 +01:00
Tamas Vajk 46da5960ee Move extraction context classes to the Semmle.Extraction.CSharp namespace 2024-11-13 14:28:04 +01:00
Tamas Vajk b7098b72a4 Move location-like entities to the Semmle.Extraction.CSharp namespace 2024-11-13 14:24:08 +01:00
Tom Hvitved 2bb5603b30
Merge pull request #17949 from paldepind/rust-async-blocks
Rust: Handle async blocks in CFG and SSA
2024-11-13 13:51:20 +01:00
Tamas Vajk e7844e2855 C#: Remove Semmle.Extraction project and move content to Semmle.Extraction.CSharp 2024-11-13 13:47:40 +01:00
Napalys df4b596180 Added toSpliced as part ArraySliceStep and ArraySpliceStep, fixed tests from 2d9bc43506 2024-11-13 13:47:34 +01:00
Cornelius Riemenschneider a66f8209f9 Rust: Vendor 3rdparty dependencies.
We've been observing some performance issues using crate_universe on CI.
Therefore, we're moving to vendor the auto-generated BUILD files
in our repository. This should provide a nice speed boost, while
getting rid of the complexity of the "rust cache" job we've been using
when we had a lot of git dependencies.

This PR includes a vendor script, and I'll put up a CI job internally
that runs that vendor script on Cargo.toml and Cargo.lock changes, to check
that the vendored files are in sync.
2024-11-13 13:22:14 +01:00
Calum Grant 67684d1813
Merge pull request #17948 from github/revert-17694-multiple-entry-point
Revert "C++: Do not generate IR for functions with multiple entry points"
2024-11-13 12:11:02 +00:00
Napalys 2d9bc43506 Added tests for arrays toSpliced with pop 2024-11-13 12:58:24 +01:00
Napalys b4c84d3d3c Added taint step for toSpliced, handles test from a65f80ef76 2024-11-13 12:41:41 +01:00
Napalys a65f80ef76 Added basic taint tracking test for Array.prototype.toSpliced() 2024-11-13 12:28:14 +01:00
Napalys Klicius ef18a6e562
Remove toReversed and toSorted func prototypes from extern.js. 2024-11-13 08:29:18 +01:00
Simon Friis Vindum 78edafc94c Rust: Include patterns as data flow nodes 2024-11-12 18:43:06 +01:00
Esben Sparre Andreasen 570260b4dc
Merge pull request #17963 from github/esbena/actions/artifact-v4
chore(actions): bump to artifacts@v4
2024-11-12 15:51:14 +01:00
Taus 1ca2590146
Merge pull request #16764 from github/redsun82/python-match-fps
Python: tests with false positives around `match`
2024-11-12 15:43:32 +01:00
Esben Sparre Andreasen a70438b72c chore(action): ruby-dataset-measure w artifacts@v4 2024-11-12 13:58:02 +01:00
Arthur Baars 3b2262be3a Update ruby-dataset-measure.yml 2024-11-12 12:52:09 +00:00
Esben Sparre Andreasen 2f50d25aaa feat(actions/qhelp-preview): unique artifact names 2024-11-12 13:29:09 +01:00
Esben Sparre Andreasen 351daaac8b feat(actions/MAD): matrix-unique artifact names 2024-11-12 13:29:01 +01:00
Esben Sparre Andreasen b3fff05e7d chore(actions): most workflows onto artifacts@v4
`ruby-dataset-measure.yml` is not updated yet as it requires aid from the language team.
We can presumably disable the workflow during the brownout periods, but a fix will have to be present before the full deprecation happens
2024-11-12 13:26:38 +01:00
Simon Friis Vindum 274d9421a7 Rust: Cache `getEnclosingCfgScope` 2024-11-12 13:15:20 +01:00
Anders Schack-Mulligen d7fbf68a59
Merge pull request #17597 from aschackmull/java/chararraywriter-tostring
Java: Add model for CharArrayWriter.toString().
2024-11-12 12:55:44 +01:00
Calum Grant 1a688456f6
Merge pull request #17892 from github/calumgrant/telemetry
C++: Initial telemetry queries
2024-11-12 11:51:37 +00:00
Owen Mansel-Chan 44e865114a
Add change note 2024-11-12 11:37:07 +00:00
Owen Mansel-Chan d31700cf92
Accept changes in models in .expected files 2024-11-12 11:34:29 +00:00
Owen Mansel-Chan dfd8e7d397
Set subtypes column to True in models
This is almost always what we want.
2024-11-12 11:21:52 +00:00