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

71994 Коммитов

Автор SHA1 Сообщение Дата
Mathias Vorreiter Pedersen 19d53fba8c C++: Exclude guards in static local or global initializers. 2024-11-17 19:51:35 +00:00
Owen Mansel-Chan 06b72e5782
Update models in test expectation files 2024-11-16 19:44:32 +00:00
Owen Mansel-Chan 5745969462
Set subtypes=false when it has no meaning 2024-11-16 19:34:23 +00:00
Mathias Vorreiter Pedersen 409f2c1251 C++: Make the formatting of conjunct when using 'getDualValue' consistent. 2024-11-15 15:20:04 +00:00
Mathias Vorreiter Pedersen 459bb6ed04
Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
2024-11-15 14:43:04 +00:00
Mathias Vorreiter Pedersen 5f9d3d7b09 C++: Rename 'ScrutineeValueNumber' to 'SwitchConditionValueNumber'. 2024-11-15 14:28:56 +00:00
Mathias Vorreiter Pedersen feea29b8fe C++: Move classes. 2024-11-15 14:21:18 +00:00
Mathias Vorreiter Pedersen c80bea33e5 C++: Stylistic fixes. 2024-11-15 14:20:12 +00:00
Tamás Vajk e081b9a420
Merge pull request #17984 from tamasvajk/fix/tech-debt-01
Merge `Semmle.Extraction` into `Semmle.Extraction.CSharp`
2024-11-15 14:27:57 +01:00
Simon Friis Vindum 7cb9d07f59 Rust: Fix default source and sink in inline flow test 2024-11-15 11:59:48 +01:00
Ian Lynagh b1ac02795b
Merge pull request #17991 from igfoo/igfoo/redundant
Go: Remove a redundant override
2024-11-15 10:55:56 +00:00
Napalys bed1f25b3f JS: Fix: Now Array.prototype.with is properly flagged as taint step 2024-11-15 10:35:34 +01:00
Napalys f04fd5cdcc JS: Add: Test case for Array.protype.with taint step 2024-11-15 10:27:44 +01:00
Tamas Vajk e3b83bb4b4 Undo accidental comment removal 2024-11-15 10:19:33 +01:00
Simon Friis Vindum 9bf53f50fa Rust: Get CFG scope and update expected results 2024-11-15 10:00:43 +01:00
Napalys 631a3770ec JS: Add: change notes 2024-11-15 09:16:21 +01:00
Tamas Vajk da5573203e C#: Consider the extraction of empty binlog files acceptable 2024-11-15 08:35:21 +01:00
Mathias Vorreiter Pedersen 42c1937776
Update IRGuards.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
2024-11-14 21:28:54 +00:00
Mathias Vorreiter Pedersen 229d40ad8b
Update IRGuards.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
2024-11-14 21:28:43 +00:00
Mathias Vorreiter Pedersen b10696c155
Update IRGuards.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
2024-11-14 21:28:33 +00:00
Ian Lynagh 50b9702afd Go: Remove a redundant override 2024-11-14 21:19:29 +00:00
Mathias Vorreiter Pedersen 6e7256f9d4 C++: Delete unused predicates. 2024-11-14 16:46:19 +00:00
Mathias Vorreiter Pedersen bb85aa2fc9 C++: Accept test changes. 2024-11-14 16:29:51 +00:00
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