Tamas Vajk
a70d9691da
C#: Add standalone test with multiple targets
2023-11-07 13:39:43 +01:00
Tom Hvitved
af7b295c59
Address review comments
2023-11-07 13:01:19 +01:00
Mathias Vorreiter Pedersen
9dca6697fb
C++: Add a testcase that fails to terminate in modulus analysis when we don't have IR operands as SSA variables.
2023-11-07 11:52:35 +00:00
Tamas Vajk
0f31fc7cbe
C#: Keep only one framework reference nuget package in standalone
2023-11-07 12:12:59 +01:00
Rasmus Wriedt Larsen
5220a8d3f8
Update python/ql/test/experimental/dataflow/validTest.py
...
Co-authored-by: Taus <tausbn@github.com >
2023-11-07 11:30:13 +01:00
Rasmus Wriedt Larsen
9f43108ba8
Python: Fix DataFlowCall.getEnclosingCallable
...
Now it is aligned with the implementation of DataFlow::Node
See 4bc4e0845d/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll (L134-L138)
2023-11-07 11:29:23 +01:00
Rasmus Wriedt Larsen
904a8b1ea9
Python: Add consistency tests for class scope
2023-11-07 11:29:23 +01:00
Rasmus Wriedt Larsen
5bee44dcfe
Python: add change-note
2023-11-07 11:27:11 +01:00
Rasmus Wriedt Larsen
6568332e3d
Python: Add basic flow for class attributes
2023-11-07 11:23:42 +01:00
Rasmus Wriedt Larsen
6c50c2bfe6
Python: Highlight missing flow for class attributes
2023-11-07 11:23:42 +01:00
Cornelius Riemenschneider
ccaa792343
Address on-slack review.
2023-11-07 11:07:37 +01:00
Mathias Vorreiter Pedersen
6669cf805f
C++: Add change note.
2023-11-07 09:32:07 +00:00
Mathias Vorreiter Pedersen
0fd4d4a114
C++: Add QLDoc.
2023-11-07 09:29:34 +00:00
Geoffrey White
e8a466a02c
Update dead link.
2023-11-07 09:26:07 +00:00
Mathias Vorreiter Pedersen
022c9eb3cd
C++: Add a barrier feature to 'MustFlow'.
2023-11-07 09:23:42 +00:00
Mathias Vorreiter Pedersen
6bf2d47321
C++: Allow source = sink in 'MustFlow'.
2023-11-07 09:23:42 +00:00
Mathias Vorreiter Pedersen
1dc08941f8
C++: Use 'MustFlow' in 'cpp/uninitialized-local'.
2023-11-07 09:23:41 +00:00
AlexDenisov
a0e73eaab0
Merge pull request #14696 from github/alexdenisov/force-canonical-types
...
Swlft: force canonical type computation before using the type
2023-11-07 10:23:16 +01:00
Mathias Vorreiter Pedersen
a17cd9bc1c
Merge pull request #14667 from MathiasVP/more-function-input-and-output-ipa-numbers
...
C++: Allocate more `FunctionInput` and `FunctionOutput`s
2023-11-07 08:57:31 +00:00
Geoffrey White
4ce8d953d2
Merge pull request #14698 from geoffw0/realmswift
...
Swift: Fix an issue with Realm sinks for swift/cleartext-storage-database
2023-11-07 08:37:27 +00:00
amammad
f58462bee9
fix tests
2023-11-07 06:32:15 +01:00
Cornelius Riemenschneider
cff9bcfabc
Revert "Revert "Java: Make integration test more robust wrt recent Java versions.""
...
This reverts commit 4e70e674fd
2023-11-06 23:29:33 +01:00
Cornelius Riemenschneider
4e70e674fd
Revert "Java: Make integration test more robust wrt recent Java versions."
...
This reverts commit ae21bbf0b2
2023-11-06 23:26:21 +01:00
Cornelius Riemenschneider
ae21bbf0b2
Java: Make integration test more robust wrt recent Java versions.
...
I've been investigating moving the Java integration tests to a
GH-hosted macos runner, instead of a self-hosted one.
This test is not compatible with a GH-hosted runners Java setup.
It is also not compatible to being exposed to JAVA_21_HOME_X64 variable yet.
This PR fixes both issues.
2023-11-06 23:22:05 +01:00
Jorge
b08d57a85f
Add {{! to TEMPLATE_EXPR_OPENING_TAG
2023-11-06 20:40:00 +00:00
Geoffrey White
3465c34cb6
Merge pull request #14680 from geoffw0/dataclosure
...
Swift: Generalize flow through subscript writes / test and fix some closure methods of Data
2023-11-06 19:39:08 +00:00
amammad
e8eff78799
fix tests because of error in Frameworks.qll
2023-11-06 19:19:36 +01:00
amammad
ad756d59c8
put new frameworks in Frameworks.qll and fix some mistakes of Baize
2023-11-06 19:17:50 +01:00
amammad
315bdc2b48
add tests for new frameworks
2023-11-06 19:13:57 +01:00
amammad
637c52d10a
separate each new FileSystemAccess packages.
2023-11-06 19:03:55 +01:00
Geoffrey White
c85bdcd5ab
Swift: Change note.
2023-11-06 17:36:58 +00:00
Mathias Vorreiter Pedersen
4455ed982d
C++: Accept query test changes.
2023-11-06 17:33:46 +00:00
Geoffrey White
1c6a4b8cbf
Swift: Update the test .qlref.
2023-11-06 17:32:25 +00:00
Mathias Vorreiter Pedersen
84594e66bc
Merge pull request #14682 from geoffw0/filepathclosure
...
Swift: Correct a couple of FilePath models.
2023-11-06 17:31:17 +00:00
Geoffrey White
127f819762
Swift: Move command injection query out from experimental.
2023-11-06 17:23:28 +00:00
Ian Lynagh
e0c89a700f
Merge pull request #14695 from igfoo/igfoo/order
...
Docs: Put lists in supported-frameworks.rst in more alphabetical order
2023-11-06 17:00:39 +00:00
Cornelius Riemenschneider
be02512dfe
Add a build system for the junit tests.
...
This is a bit more complicated than our usual setup, as we both need to
unzip the typescript parser wrapper, and make node accessible on the path.
2023-11-06 17:58:28 +01:00
Chris Smowton
24b4b05be8
Add models for new Collections methods
2023-11-06 16:44:40 +00:00
Chris Smowton
d30d71e048
Add change note
2023-11-06 16:38:44 +00:00
Geoffrey White
426bdc0011
Swift: Add test cases. Before the changes, we don't catch the cases for return values from the closures.
2023-11-06 16:32:23 +00:00
Mathias Vorreiter Pedersen
d38fa13299
C++: Remove more uses of 'getConverted' and 'getUnconverted'.
2023-11-06 16:11:55 +00:00
Chris Smowton
5b72aee3ae
Java: model JDK21 SequencedCollection, Set and Map
2023-11-06 16:04:13 +00:00
Mathias Vorreiter Pedersen
e91987b1a9
C++: Accept test changes.
2023-11-06 16:02:06 +00:00
Mathias Vorreiter Pedersen
d544f47746
C++: Simplify the definition of 'SemExpr' by instead making non-overflowing conversions copy value expressions.
2023-11-06 16:01:59 +00:00
Geoffrey White
e4f6b1ac27
Swift: Change note.
2023-11-06 16:00:22 +00:00
Geoffrey White
77e48f72ec
Swift: Detect Realm sinks more reliably.
2023-11-06 15:54:17 +00:00
Geoffrey White
9ec5e6e35e
Swift: Re-organize the RealmStore constructor.
2023-11-06 15:54:17 +00:00
Geoffrey White
424046d238
Swift: Add test case.
2023-11-06 15:54:17 +00:00
Alex Denisov
80c4b7357a
Swlft: force canonical type computation before using the type
...
`getCanonicalType` will force computation of the canonical type.
Without canonical type computed. `getString` may cause crashes in
certain cases.
2023-11-06 16:53:38 +01:00
Mathias Vorreiter Pedersen
31c2a3be98
C++: Don't redefine the meaning of the single-parameter 'isParameterDeref' and accept test changes.
2023-11-06 15:52:58 +00:00
