Asger F
0eb543e0a9
Java: add test for spurious flow from path graph deduplication
2024-12-11 11:29:13 +01:00
Asger F
8efdc2df7b
Shared: change note
2024-12-11 11:29:11 +01:00
Asger F
cba7b98f7a
Shared: Add DataFlow::DeduplicatePathGraph
2024-12-11 11:29:10 +01:00
Anders Schack-Mulligen
cac131df37
Dataflow: Rename a couple of predicates.
2024-12-11 11:22:42 +01:00
Anders Schack-Mulligen
d6a4080baf
Dataflow: Address review comment.
2024-12-11 11:18:57 +01:00
Cornelius Riemenschneider
f0971684e3
Merge pull request #18257 from github/criemen/bazel-8-00
...
Upgrade bazel to 8.0.0.
2024-12-11 11:14:41 +01:00
Paolo Tranquilli
a36d226d0c
Merge pull request #18247 from github/redsun82/executable-scripts
...
Make scripts executable
2024-12-11 10:42:57 +01:00
Tom Hvitved
baf186fed7
Address review comments
2024-12-11 10:28:32 +01:00
Owen Mansel-Chan
ba9d21ec98
Merge pull request #17970 from owen-mc/java/lightweight-IR-layer
...
Java: IPA the CFG (second try)
2024-12-10 23:57:52 +00:00
Joe Farebrother
bcb08bbc7b
Update test output
2024-12-10 19:24:05 +00:00
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
