Commits

Breadcrumbs

History for

on68385df

User selector

All users

All time

Commit History

Commits on Jan 14, 2022

• Merge pull request #7386 from github/redsun82/cpp-overrunning-write-precision-split

  Show description for 68385df
  MathiasVP

  authored
  68385df

  Copy full SHA for 68385df

• Merge pull request #7349 from aschackmull/dataflow/state

  Show description for 0b24af9
  aschackmull

  authored
  0b24af9

  Copy full SHA for 0b24af9

Commits on Jan 13, 2022

• Merge pull request #7587 from owen-mc/add-default-taint-sanitizer-guard

  Show description for c44cf29
  aschackmull

  authored
  c44cf29

  Copy full SHA for c44cf29

• Dataflow: Sync

  aschackmull

  committed
  f7cf327

  Copy full SHA for f7cf327

• C++: add bindingset to private Printf predicate

  Show description for e6763c8
  redsun82

  authored
  e6763c8

  Copy full SHA for e6763c8

• C++: demote `VeryLikelyOverrunWrite` cast results

  Show description for c117a1e
  redsun82

  authored
  c117a1e

  Copy full SHA for c117a1e

• C++: auto format `Printf.qll`

  redsun82

  authored
  630982c

  Copy full SHA for 630982c

• C++: remove unused variables and fix tests

  redsun82

  authored
  9f811b2

  Copy full SHA for 9f811b2

• C++: exclude widening from VeryLikelyOverrunWrite

  Show description for 013216d
  redsun82

  authored
  013216d

  Copy full SHA for 013216d

• C++: `NoSpecifiedEstimateReason`→`Unspecified...`

  redsun82

  authored
  8ac34f3

  Copy full SHA for 8ac34f3

Commits on Jan 12, 2022

• Merge pull request #7566 from MathiasVP/smaller-join-in-reachesRefParameter

  Show description for 5031d6c
  

  Robert Marsh

  authored
  5031d6c

  Copy full SHA for 5031d6c

• Add predicate `defaultTaintSanitizerGuard` for each language

  Show description for 8e82787
  owen-mc

  committed
  8e82787

  Copy full SHA for 8e82787

• Sync TaintTrackingImpl.qll

  Show description for c112980
  owen-mc

  committed
  c112980

  Copy full SHA for c112980

Commits on Jan 11, 2022

• Merge pull request #7541 from github/rdmarsh2/dataflow-ipa-params

  Show description for c45127f
  MathiasVP

  authored
  c45127f

  Copy full SHA for c45127f

• C++: Fix join in reachesRefParameter by joining with 'getEnd' instead

  Show description for b3a7090
  MathiasVP

  committed
  b3a7090

  Copy full SHA for b3a7090

Commits on Jan 10, 2022

• Merge pull request #7469 from hvitved/csharp/promote-adhoc-consistency-checks

  Show description for d2ebbe0
  hvitved

  authored
  d2ebbe0

  Copy full SHA for d2ebbe0

Commits on Jan 7, 2022

• C++: autoformat DataFlowPrivate

  

  Robert Marsh

  committed
  6733997

  Copy full SHA for 6733997

• C++: PR comments on DataFlow Position

  

  Robert Marsh

  committed
  78b8d11

  Copy full SHA for 78b8d11

• C++: fix typo in Overflow.qll `abs` handling

  

  Robert Marsh

  committed
  4322a39

  Copy full SHA for 4322a39

• C++: use -1 for `this` in dataflow Position

  

  Robert Marsh

  committed
  a126154

  Copy full SHA for a126154

• C++: IPA for pointer arg instead of negative index

  Show description for 1890a14
  

  Robert Marsh

  committed
  1890a14

  Copy full SHA for 1890a14

Commits on Jan 6, 2022

• C++: re-add comment

  

  Robert Marsh

  committed
  c6da1f2

  Copy full SHA for c6da1f2

• C++: Use Guards library in Overflow.qll

  Show description for 355fc0a
  

  Robert Marsh

  committed
  355fc0a

  Copy full SHA for 355fc0a

• C++: Fix qldoc.

  MathiasVP

  committed
  6719540

  Copy full SHA for 6719540

• C++: Rename 'hasRankInBlock' to 'hasIndexInBlock' since it's not really a rank computation anymore.

  MathiasVP

  committed
  2f42054

  Copy full SHA for 2f42054

• C++: Remove the rank aggregate from 'SsaInternals.qll'.

  MathiasVP

  committed
  fdb9fb5

  Copy full SHA for fdb9fb5

Commits on Jan 5, 2022

• Dataflow: Sync

  aschackmull

  committed
  ef714f7

  Copy full SHA for ef714f7

Commits on Dec 22, 2021

• Shared SSA: Sync files

  hvitved

  committed
  915c0fd

  Copy full SHA for 915c0fd

Commits on Dec 21, 2021

• Merge pull request #7392 from MathiasVP/fix-join-order-in-is-argument-for-parameter

  Show description for dae5af6
  MathiasVP

  authored
  dae5af6

  Copy full SHA for dae5af6

Commits on Dec 20, 2021

• Merge pull request #7443 from github/nickrolfe/behavior

  Show description for f18492e
  nickrolfe

  authored
  f18492e

  Copy full SHA for f18492e

• Merge pull request #7231 from hvitved/csharp/dataflow/consistency-queries

  Show description for ed006d7
  hvitved

  authored
  ed006d7

  Copy full SHA for ed006d7

Commits on Dec 17, 2021

• Merge pull request #7434 from MathiasVP/fix-join-order-in-phi-node

  Show description for c03f189
  aschackmull

  authored
  c03f189

  Copy full SHA for c03f189

• Fix non-US spelling of 'behavior'

  nickrolfe

  committed
  28912c5

  Copy full SHA for 28912c5

• C++: Fully lock down the join order correctly.

  MathiasVP

  committed
  45753e5

  Copy full SHA for 45753e5

• Fix QL doc

  hvitved

  committed
  e4d9f5f

  Copy full SHA for e4d9f5f