Commits

Breadcrumbs

History for

oncodeql-cli-2.20.0

User selector

All users

All time

Commit History

Commits on Dec 3, 2024

• Shared: Move shared logic into `FlowSummaryImpl.qll`

  hvitved

  committed
  fbeb6f3

  Copy full SHA for fbeb6f3

Commits on Dec 2, 2024

• Address review comments

  hvitved

  committed
  7f9adbd

  Copy full SHA for 7f9adbd

Commits on Nov 27, 2024

• Data flow: Move more logic into `DataFlowImplCommon`

  hvitved

  committed
  7402276

  Copy full SHA for 7402276

Commits on Nov 20, 2024

• Address review comments

  hvitved

  committed
  3f56fc9

  Copy full SHA for 3f56fc9

• Data flow: Track call contexts in `parameterFlow`

  hvitved

  committed
  e5eed23

  Copy full SHA for e5eed23

Commits on Nov 4, 2024

• Rust: Add getInconsistencyCounts predicate to the shared DataFlowImplConsistency.qll, so it's possibly to access inconsistency data as a whole.

  geoffw0

  committed
  a645a9e

  Copy full SHA for a645a9e

Commits on Oct 31, 2024

• Merge pull request #17739 from hvitved/dataflow/big-step-quadratic

  hvitved

  authored
  c936468

  Copy full SHA for c936468

• Merge pull request #17663 from aschackmull/dataflow/speculative-flow

  Show description for b556590
  aschackmull

  authored
  b556590

  Copy full SHA for b556590

Commits on Oct 23, 2024

• Data flow: Prevent quadratic blowup in `Stage6Param::localStep`

  hvitved

  committed
  2e7b71c

  Copy full SHA for 2e7b71c

Commits on Oct 17, 2024

• Dataflow: apply diff-informed filtering consistently

  cklin

  committed
  1aa3eb5

  Copy full SHA for 1aa3eb5

Commits on Oct 16, 2024

• Dataflow: Add consistency check.

  aschackmull

  committed
  6c6b606

  Copy full SHA for 6c6b606

• Dataflow: add plumbing for adding provenance to state-steps.

  aschackmull

  committed
  c80627a

  Copy full SHA for c80627a

Commits on Sep 26, 2024

• Shared: Add dfc as a valid model origin.

  michaelnebel

  committed
  2a5dc20

  Copy full SHA for 2a5dc20

• Shared: steps in synthetic path chains should just mention the same synthetic fields.

  michaelnebel

  committed
  b041829

  Copy full SHA for b041829

Commits on Sep 25, 2024

• Cpp: Replace sink inlining with a forward scan from source.

  aschackmull

  committed
  3a1b618

  Copy full SHA for 3a1b618

Commits on Sep 24, 2024

• Address review comments

  hvitved

  committed
  6a11120

  Copy full SHA for 6a11120

• Data flow: Cache `TNodeEx`

  hvitved

  committed
  1692535

  Copy full SHA for 1692535

• Data flow: Remove Boolean column from `TNodeImplicitRead`

  hvitved

  committed
  37490de

  Copy full SHA for 37490de

Commits on Sep 23, 2024

• Merge pull request #17190 from github/cklin/diff-informed-java-queries

  Show description for 1cd8af5
  cklin

  authored
  1cd8af5

  Copy full SHA for 1cd8af5

Commits on Sep 20, 2024

• Dataflow: Simplify diff-informed implementation and tweak flag name.

  

  aschackmull

  authored and

  cklin

  committed
  3a1e50d

  Copy full SHA for 3a1e50d

Commits on Sep 19, 2024

• Merge pull request #17363 from michaelnebel/modelgen/fieldbasedimprovements

  Show description for 4a9e3ee
  michaelnebel

  authored
  4a9e3ee

  Copy full SHA for 4a9e3ee

Commits on Sep 18, 2024

• Data flow: Remove spurious space in ` Sink:x` provenance

  hvitved

  committed
  2972a4e

  Copy full SHA for 2972a4e

Commits on Sep 11, 2024

• Shared support for alert filtering

  cklin

  committed
  ff78beb

  Copy full SHA for ff78beb

Commits on Sep 10, 2024

• Shared: Add some helper predicates to the AccessPath class in content flow.

  michaelnebel

  committed
  7c0101a

  Copy full SHA for 7c0101a

Commits on Sep 3, 2024

• Merge pull request #17308 from hvitved/dataflow/flow-through-restriction

  Show description for 26c5e7b
  hvitved

  authored
  26c5e7b

  Copy full SHA for 26c5e7b

• Address review comments

  hvitved

  committed
  07fcd81

  Copy full SHA for 07fcd81

Commits on Sep 2, 2024

• Data flow: Simplify `FwdFlowIn` interface

  hvitved

  committed
  1057bb4

  Copy full SHA for 1057bb4

Commits on Aug 30, 2024

• Merge pull request #17326 from michaelnebel/shared/contentflowtaint

  Show description for 89c387c
  michaelnebel

  authored
  89c387c

  Copy full SHA for 89c387c

Commits on Aug 29, 2024

• Address review comments.

  michaelnebel

  committed
  ff31aa5

  Copy full SHA for ff31aa5

Commits on Aug 28, 2024

• Data flow: Reduce non-linear recursion in `fwdFlow0`

  hvitved

  committed
  49a4f3a

  Copy full SHA for 49a4f3a

• DataFlow: Bugfix in flow state for value preservation.

  michaelnebel

  committed
  6d346db

  Copy full SHA for 6d346db

• Dataflow: Include FlowState in SummaryCtx.

  aschackmull

  committed
  6a9bd0d

  Copy full SHA for 6a9bd0d

• Merge pull request #16970 from hvitved/dataflow/local-big-step-stage

  Show description for 7f8e6bf
  hvitved

  authored
  7f8e6bf

  Copy full SHA for 7f8e6bf

• Address review comment

  hvitved

  committed
  27bc8ed

  Copy full SHA for 27bc8ed

Commits on Aug 27, 2024

• Data flow: Tweak join-order in `toNormalSinkNodeEx`

  hvitved

  committed
  b589fca

  Copy full SHA for b589fca