Chuan-kai Lin
ff78bebf19
Shared support for alert filtering
2024-09-11 13:18:26 -07:00
Paolo Tranquilli
f8c9d96882
Bazel: remove non-working fake tree-sitter-extractor workaround
...
The `.cargo/config.toml` override based workaround wasn't really
working, as while `cargo build|check` was reading that, `cargo metadata`
wasn't, ending up in a completely broken IDE experience.
For the moment, we just use a unified workspace `Cargo.toml` for all
extractors using the shared tree-sitter code, which has the downside of
making bazel pull in dependencies for all of them, and not being able to
do sparse checkouts for them. We should investigate and rivist this in
the future.
2024-09-11 08:17:11 +02:00
Michael Nebel
d2c98c86dc
Java: Improve content based model generation.
2024-09-10 15:23:20 +02:00
Michael Nebel
7c0101ad06
Shared: Add some helper predicates to the AccessPath class in content flow.
2024-09-10 15:23:08 +02:00
github-actions[bot]
97edff3f70
Post-release preparation for codeql-cli-2.18.4
2024-09-09 18:45:46 +00:00
github-actions[bot]
91537cdf9a
Release preparation for version 2.18.4
2024-09-09 16:08:48 +00:00
Paolo Tranquilli
6f36ea9188
Merge branch 'main' into rust-experiment
...
Conflicts:
shared/tree-sitter-extractor/src/trap.rs
2024-09-09 14:15:34 +02:00
Paolo Tranquilli
2c472dd5b8
Tree-sitter: fix formatting
2024-09-09 11:59:17 +02:00
Paolo Tranquilli
4454566d8d
Tree-sitter: allow multiple sources per trap file
...
This generalizes the location cache to allow multiple sources to be
extracted in the same trap file, by adding `file_label` to `Location`,
and therefore to location cache keys. This will be used by the Rust
extractor.
2024-09-09 09:17:45 +02:00
Michael Nebel
a5b462292f
Merge pull request #17330 from michaelnebel/java/modelgenfieldbased
...
Java/C#: Field based model generator (Experimental).
2024-09-06 11:11:46 +02:00
Paolo Tranquilli
b23e482ed2
Merge branch 'main' into rust-experiment
2024-09-05 12:29:29 +02:00
Tom Hvitved
ce2df04854
Merge pull request #17350 from hvitved/tree-sitter-0.23
...
Bump `tree-sitter` to `0.23.0`
2024-09-04 13:45:14 +02:00
Anders Schack-Mulligen
7b8e707465
Merge pull request #17362 from aschackmull/dataflow/typofix
...
Dataflow: Fix minor typo.
2024-09-04 10:39:31 +02:00
Tom Hvitved
eb1b2a5594
Bump tree-sitter to 0.23.0
2024-09-04 09:47:59 +02:00
Anders Schack-Mulligen
a0f0854fdb
Dataflow: Fix minor typo.
2024-09-03 14:26:02 +02:00
Tom Hvitved
26c5e7b2d1
Merge pull request #17308 from hvitved/dataflow/flow-through-restriction
...
Data flow: Reduce non-linear recursion in `fwdFlow0`
2024-09-03 11:30:57 +02:00
Tom Hvitved
07fcd81e7e
Address review comments
2024-09-03 10:13:09 +02:00
Michael Nebel
6365e5edff
Java: Initial implementation of content based model generation.
2024-09-03 09:45:11 +02:00
Tom Hvitved
1057bb443f
Data flow: Simplify FwdFlowIn interface
2024-09-02 16:10:34 +02:00
Henry Mercer
4ebfafbec2
Merge pull request #17336 from github/henrymercer/rc-3.15-mergeback
...
Merge `rc/3.15` back into `main`
2024-09-02 11:43:19 +01:00
Paolo Tranquilli
7e1290aa74
Rust: reuse shared rust trap library
2024-08-30 16:08:37 +02:00
Michael Nebel
89c387cf5c
Merge pull request #17326 from michaelnebel/shared/contentflowtaint
...
DataFlow: Bugfix in content flow state for value preservation.
2024-08-30 09:23:50 +02:00
Henry Mercer
3490067316
Merge branch 'main' into henrymercer/rc-3.15-mergeback
2024-08-29 19:48:01 +01:00
Michael Nebel
ff31aa540c
Address review comments.
2024-08-29 15:54:04 +02:00
Tom Hvitved
49a4f3a82f
Data flow: Reduce non-linear recursion in fwdFlow0
2024-08-28 17:29:23 +02:00
Michael Nebel
6d346dbedd
DataFlow: Bugfix in flow state for value preservation.
2024-08-28 14:40:04 +02:00
Anders Schack-Mulligen
6a9bd0de1d
Dataflow: Include FlowState in SummaryCtx.
2024-08-28 14:13:28 +02:00
Tom Hvitved
7f8e6bf574
Merge pull request #16970 from hvitved/dataflow/local-big-step-stage
...
Data flow: Compute local big step relation as stage output
2024-08-28 12:28:16 +02:00
Tom Hvitved
27bc8ed6af
Address review comment
2024-08-28 11:38:29 +02:00
Tom Hvitved
b589fcad11
Data flow: Tweak join-order in toNormalSinkNodeEx
2024-08-27 15:42:24 +02:00
Tom Hvitved
80b6135a64
Data flow: Move toNormalSinkNodeEx into PathNodeMid
2024-08-27 15:42:13 +02:00
Michael Nebel
287857c5db
Merge pull request #17301 from michaelnebel/shared/contentflowbadjoin
...
Shared: Fix bad join in content flow.
2024-08-27 10:17:04 +02:00
Anders Schack-Mulligen
b3fa4f3d9e
Merge pull request #17289 from aschackmull/dataflow/summaryctx
...
Dataflow: Simplify using a SummaryCtx type.
2024-08-27 09:32:43 +02:00
Michael Nebel
77bfe39ca7
Shared: Address review comments.
2024-08-26 15:24:56 +02:00
Michael Nebel
4381bae5d1
Shared: Fix bad join.
2024-08-26 15:24:54 +02:00
Anders Schack-Mulligen
d8c8bcd386
Dataflow: Tweak qldoc.
2024-08-26 15:12:37 +02:00
Anders Schack-Mulligen
cbb58d0041
Dataflow: Add a getLocation rootdef.
2024-08-26 15:05:30 +02:00
Asger F
592e2eafb6
Merge pull request #17262 from asgerf/shared/implicit-read
...
Shared: restrict flow after using implicit read
2024-08-26 11:48:50 +02:00
Tom Hvitved
e5d626f907
Data flow: Only recompute local big step in stage 6
2024-08-26 09:58:29 +02:00
Tom Hvitved
c92c96fa78
Data flow: Compute local big step relation per stage
2024-08-26 09:15:27 +02:00
Anders Schack-Mulligen
65189e09f5
Dataflow: Simplify using a SummaryCtx type.
2024-08-23 14:18:46 +02:00
Asger F
c3b36325b2
Shared: prevent use-use flow through implicit reads (part 1)
2024-08-23 11:02:28 +02:00
Michael Nebel
20d9fd11ac
Merge pull request #17288 from michaelnebel/shared/contentflow
...
Shared: ContentFlow.
2024-08-23 09:52:27 +02:00
Michael Nebel
19c2eb17c4
C#: Remove redundant imports.
2024-08-23 09:04:13 +02:00
Michael Nebel
e6424f0f45
Shared: Make ContentDataFlow reusable.
2024-08-22 15:45:58 +02:00
Michael Nebel
4cd34531c6
Shared: Add a copy of the existing C# Content Dataflow implementation.
2024-08-22 15:07:45 +02:00
github-actions[bot]
0724fd7ce2
Post-release preparation for codeql-cli-2.18.3
2024-08-21 18:25:54 +00:00
github-actions[bot]
17cd9624fb
Release preparation for version 2.18.3
2024-08-21 17:13:52 +00:00
Anders Schack-Mulligen
5fbdd83a23
Dataflow: Rename StagePathNode to PathNode.
2024-08-21 10:51:28 +02:00
Anders Schack-Mulligen
273c0bd121
Dataflow: Delete dead code.
2024-08-21 10:51:28 +02:00
