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 |