Joe Farebrother
29a90235e8
Improve tests and use API graphs
2024-12-10 19:09:45 +00:00
Joe Farebrother
d2ed92d6d0
Added tests
2024-12-10 19:09:20 +00:00
Joe Farebrother
d2b0d7a743
Add missing qldoc
2024-12-10 19:07:53 +00:00
Joe Farebrother
89167da177
Model flow steps for lxml
2024-12-10 19:01:14 +00:00
Mathias Vorreiter Pedersen
0acef590b1
C++: Add more MaD models.
2024-12-10 18:29:48 +00:00
Mathias Vorreiter Pedersen
64464b39c6
C++: Add tests for a few string-related classes.
2024-12-10 18:28:12 +00:00
Mathias Vorreiter Pedersen
c5bb907fe0
C++: Also handle varargs in MaD parsing.
2024-12-10 18:25:56 +00:00
Mathias Vorreiter Pedersen
c604c44a55
C++: Add CStringT model and accept tests.
2024-12-10 18:22:06 +00:00
Mathias Vorreiter Pedersen
73ff33888b
C++: Add CStringT tests.
2024-12-10 18:18:37 +00:00
Mathias Vorreiter Pedersen
ba0ba15e88
C++: Add CSimpleStringT model and accept tests.
2024-12-10 18:13:42 +00:00
Mathias Vorreiter Pedersen
b42bffc55c
C++: Add CSimpleStringT tests.
2024-12-10 18:10:54 +00:00
Mathias Vorreiter Pedersen
fb75f54951
C++: Add another typedef.
2024-12-10 18:07:45 +00:00
Owen Mansel-Chan
5b575113c3
Update test-kotlin2
2024-12-10 15:56:15 +00:00
Owen Mansel-Chan
4978a6eb37
Fix getasuccessor kotlin
...
The change in results shows that there are now fewer control flow nodes.
We have removed precisely those with no successor or predecessor.
2024-12-10 15:26:20 +00:00
Owen Mansel-Chan
5e0c3ab715
Fix kotlin tests
2024-12-10 15:26:19 +00:00
Owen Mansel-Chan
3f5886ef7a
Accept another review suggestion
2024-12-10 15:26:17 +00:00
Owen Mansel-Chan
2da9bfb1a6
Finish renaming getCFGNode to getCfgNode
2024-12-10 15:26:16 +00:00
Owen Mansel-Chan
274281f61e
Apply all suggestions from code review
...
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com >
2024-12-10 15:26:14 +00:00
Owen Mansel-Chan
d06dfe0ca3
Add change note
2024-12-10 15:26:13 +00:00
Owen Mansel-Chan
0f3dd6d8f1
Java: IPA the CFG
2024-12-10 15:26:11 +00:00
Anders Schack-Mulligen
da179705c3
Java: Accept expected file changes.
2024-12-10 14:52:06 +01:00
Mathias Vorreiter Pedersen
0f5786e4e6
Merge pull request #18251 from MathiasVP/fix-uncertain-array-writes
...
C++: Consider writes to arrays as uncertain
2024-12-10 12:38:47 +00:00
Michael Nebel
828818d355
Merge pull request #18248 from michaelnebel/csharp/enabletests
...
C#: Enable Semmle.Util.Tests.
2024-12-10 13:30:15 +01:00
Anders Schack-Mulligen
40f7713678
Dataflow: Minor simplification.
2024-12-10 13:28:43 +01:00
Anders Schack-Mulligen
4e155f8542
Dataflow: Insert a few getApprox calls to remove ApApprox from fwdFlow.
2024-12-10 13:23:51 +01:00
Anders Schack-Mulligen
231bf9d1c9
Dataflow: Drop ApApprox join in fwdFlowStore.
2024-12-10 13:20:27 +01:00
Michael Nebel
684c80c31a
C#: Address review comments.
2024-12-10 13:13:11 +01:00
Anders Schack-Mulligen
501cbdab3c
Dataflow: Remove another ApApprox join and related columns.
2024-12-10 13:12:32 +01:00
Anders Schack-Mulligen
22e0636cba
Dataflow: Insert a few getApprox calls to remove even more columns.
2024-12-10 13:09:38 +01:00
Anders Schack-Mulligen
a77adadd01
Dataflow: Remove more unused columns.
2024-12-10 12:57:24 +01:00
Anders Schack-Mulligen
882a985788
Dataflow: Remove useless join.
2024-12-10 12:53:30 +01:00
Anders Schack-Mulligen
262f64f037
Dataflow: Remove unused columns.
2024-12-10 12:53:29 +01:00
Anders Schack-Mulligen
d4044062c5
Dataflow: Remove ApApprox column in out-flow.
2024-12-10 12:53:29 +01:00
Anders Schack-Mulligen
7c888ebe06
Dataflow: Replace some allowsFieldFlow,apa pairs with emptyAp boolean.
2024-12-10 12:53:29 +01:00
Anders Schack-Mulligen
c8046fa8e0
Dataflow: Drop some ApApprox columns and joins.
2024-12-10 12:53:28 +01:00
Joe Farebrother
c41c2adf38
Merge pull request #17922 from joefarebrother/python-promote-template-injection
...
Python: Promote Template Injection query from experimental
2024-12-10 11:12:23 +00:00
Cornelius Riemenschneider
53ca5083a9
Upgrade bazel to 8.0.0.
...
Previously, we were using 8.0.0rc1.
In particular, this upgrade means we need to explicitly
import more rules, as they've been moved out of the core bazel repo.
2024-12-10 12:05:37 +01:00
Asger F
77f8e8ef4e
JS: Use FlowState::fromFlowLabel instead of Label::toFlowState
...
This works better for other queries where we don't already have a module named Label
2024-12-10 11:57:18 +01:00
Asger F
38c9023dd9
JS: FlowLabel -> FlowState in ZipSlip
2024-12-10 11:16:07 +01:00
Asger F
0cd01cb96f
JS: Use node1,state1,node2,state2 naming convention in tainted path
2024-12-10 11:16:05 +01:00
Asger F
0802107d9a
JS: Flow label -> flow state in TaintedPath
2024-12-10 11:16:04 +01:00
Michael Nebel
86c6df5cbd
C#: Log warning when chain or certificate is not provided in the validation.
2024-12-10 10:35:48 +01:00
Michael Nebel
547af6c3c9
C#: Introduce null checks in the NugetPackageRestorer.
2024-12-10 10:31:12 +01:00
Michael Nebel
083533a673
C#: Update paket dependencies lock file.
2024-12-10 10:31:11 +01:00
Michael Nebel
37982f5854
C#: Update paket dotnet tool.
2024-12-10 10:31:09 +01:00
Michael Nebel
4275813b87
C#: Make the path tests independent.
2024-12-10 09:58:14 +01:00
Michael Nebel
0580ad060b
Merge pull request #18255 from github/workflow/coverage/update
...
Update CSV framework coverage reports
2024-12-10 09:12:10 +01:00
github-actions[bot]
8f5822e4c6
Add changed framework coverage reports
2024-12-10 00:22:53 +00:00
Alvaro Muñoz
d0c761bb23
Bump qlpack versions
2024-12-09 21:48:17 +01:00
Alvaro Muñoz
bee0668cd0
Add tests and update expected results
2024-12-09 21:47:28 +01:00
