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
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
37712d2e21
Added a new way to simulate CatastrophicError for integration-tests. In the future environmental variable, might be a more sustainable solution.
2024-11-13 08:58:54 +01:00
Napalys Klicius
ef18a6e562
Remove toReversed and toSorted func prototypes from extern.js.
2024-11-13 08:29:18 +01:00
Kevin Stubbings
460ed30d05
Fixed tests
2024-11-12 16:08:14 -08:00
Kevin Stubbings
eb3a76ddce
Merge branch 'github:main' into path-sanitizers
2024-11-12 16:03:00 -08:00
Kevin Stubbings
8744f158bd
New tests
2024-11-12 15:44:47 -08:00
Simon Friis Vindum
78edafc94c
Rust: Include patterns as data flow nodes
2024-11-12 18:43:06 +01:00
