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 |
|
Geoffrey White
|
8245e6c2b9
|
Swift: Fix unwanted flows.
|
2024-11-14 17:51:47 +00:00 |
|
Geoffrey White
|
e589b1fcd0
|
Swift: Fix query barriers.
|
2024-11-14 17:37:43 +00:00 |
|
Geoffrey White
|
6aa43e001d
|
Swift: Effect on other tests.
|
2024-11-14 17:29:17 +00:00 |
|
Geoffrey White
|
c2c23c872b
|
Swift: Address some modelling issues for Swift 6.
|
2024-11-14 17:22:15 +00:00 |
|
Geoffrey White
|
570393fe2b
|
Swift: Additional test cases.
|
2024-11-14 17:17:00 +00:00 |
|
Mathias Vorreiter Pedersen
|
6e7256f9d4
|
C++: Delete unused predicates.
|
2024-11-14 16:46:19 +00:00 |
|
Geoffrey White
|
f0dc4f5ec3
|
Swift: Convert the dataflow-taint-core-conversions test to labelled sources.
|
2024-11-14 16:34:16 +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 |
|
Jeroen Ketema
|
20685918bd
|
C++: Silence ql-for-ql warning
|
2024-11-14 13:10:20 +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 |
|
Jeroen Ketema
|
b581723a63
|
C++: Ignore complex guards and the comma operator
|
2024-11-14 12:53:54 +01:00 |
|
Jeroen Ketema
|
176acabd9d
|
C++: Ignore free calls that are macro defined or #if/#ifdef guarded
|
2024-11-14 12:51:04 +01:00 |
|
Jeroen Ketema
|
a31e983e9e
|
C++: Also allow single statement blocks in cpp/guarded-free
|
2024-11-14 12:47:29 +01:00 |
|
Jeroen Ketema
|
c86bbbb063
|
C++: Fix cpp/guarded-free FPs when there are other blocks depending on the guard
|
2024-11-14 11:48:17 +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 |
|
Kevin Stubbings
|
a94ba25ebe
|
Apply suggestions from code review
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
|
2024-11-13 14:45:45 -08:00 |
|
Dave Bartolomeo
|
df3b30489b
|
Add --search-path in test workflow
|
2024-11-13 13:50:41 -05:00 |
|
Dave Bartolomeo
|
be8a49228f
|
Delete dbscheme
Update after merge
|
2024-11-13 13:42:57 -05:00 |
|
Dave Bartolomeo
|
14119c7d84
|
Merge remote-tracking branch 'origin/master' into dbartol/move-to-codeql
|
2024-11-13 13:28:00 -05: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 |
|