Commits

Breadcrumbs

History for

on0f141ed

User selector

All users

All time

Commit History

Commits on Apr 27, 2021

• Merge pull request #5737 from dbartol/dbartol/smart-pointers/work

  Show description for 0f141ed
  MathiasVP

  authored
  0f141ed

  Copy full SHA for 0f141ed

• Merge pull request #5780 from MathiasVP/cleanup-missingGuard-predicates-after-range-analysis-fix

  Show description for afa8925
  geoffw0

  authored
  afa8925

  Copy full SHA for afa8925

• Merge pull request #5757 from smowton/smowton/admin/fix-dead-qhelp-links

  Show description for 64a2320
  smowton

  authored
  64a2320

  Copy full SHA for 64a2320

• C++: Delete the fix that was introduced in bb447d7174141dc518e6ce90367121280fec1d80. This is no longer needed after #5678.

  MathiasVP

  committed
  a41e905

  Copy full SHA for a41e905

• C++: Also include the assignment versions in exprThatCanOverflow.

  MathiasVP

  committed
  05d693e

  Copy full SHA for 05d693e

Commits on Apr 26, 2021

• Merge pull request #5678 from MathiasVP/sound-expr-might-overflow-predicate

  Show description for 0e7eeb3
  geoffw0

  authored
  0e7eeb3

  Copy full SHA for 0e7eeb3

Commits on Apr 23, 2021

• Fix all dead qhelp links

  Show description for 455b840
  smowton

  committed
  455b840

  Copy full SHA for 455b840

• C++: Exclude pointer results from cpp/integer-overflow-tainted.

  MathiasVP

  committed
  86822f6

  Copy full SHA for 86822f6

• Merge pull request #5696 from jbj/reapply-inconsistency-workaround

  Show description for 9b5bb95
  jbj

  authored
  9b5bb95

  Copy full SHA for 9b5bb95

• C++: Only unary and binary arithmetic operations and left shifts are now

  Show description for e607712
  MathiasVP

  committed
  e607712

  Copy full SHA for e607712

• C++: Replace Jira ticket reference with GH issue

  jbj

  committed
  6de5b30

  Copy full SHA for 6de5b30

• C++: Remove reference to obsolete issue CPP-383

  jbj

  committed
  6e059ea

  Copy full SHA for 6e059ea

Commits on Apr 22, 2021

• C++: Add `{AllAliased}` side effects for smart pointers

  Show description for 5d0a4ca
  

  Dave Bartolomeo

  committed
  5d0a4ca

  Copy full SHA for 5d0a4ca

• Merge pull request #5747 from rdmarsh2/rdmarsh2/cpp/deprecate-return-stack-allocated-object

  Show description for 2b8afe5
  MathiasVP

  authored
  2b8afe5

  Copy full SHA for 2b8afe5

Commits on Apr 21, 2021

• C++: deprecate cpp/return-stack-allocated-object

  

  Robert Marsh

  committed
  cac1bef

  Copy full SHA for cac1bef

• C++: Isolate models from AST dataflow's reference/object conflation

  Show description for 3832100
  

  Dave Bartolomeo

  committed
  3832100

  Copy full SHA for 3832100

• C++: Remove unnecessary cast

  

  Dave Bartolomeo

  committed
  0bc4b04

  Copy full SHA for 0bc4b04

• Merge pull request #5601 from ihsinme/ihsinme-patch-259

  Show description for ba33508
  geoffw0

  authored
  ba33508

  Copy full SHA for ba33508

• Merge from `main`

  

  Dave Bartolomeo

  committed
  1d0cb04

  Copy full SHA for 1d0cb04

• C++: Prepare for merge of smart pointer models

  

  Dave Bartolomeo

  committed
  b9da6ce

  Copy full SHA for b9da6ce

Commits on Apr 20, 2021

• C++: Impoved alias analysis of smart pointers

  

  Dave Bartolomeo

  committed
  a447b04

  Copy full SHA for a447b04

• C++: More general model for pointer flow

  

  Dave Bartolomeo

  committed
  63fe4fb

  Copy full SHA for 63fe4fb

• C++: Allow alias propagation to/from side effects (part 1)

  

  Dave Bartolomeo

  committed
  5085e46

  Copy full SHA for 5085e46

• C++: Add `Instruction::getAParameterSideEffect()`.

  

  Dave Bartolomeo

  committed
  01a9531

  Copy full SHA for 01a9531

• C++: Fix FP in cpp/return-stack-allocated-memory.

  MathiasVP

  committed
  93e55e2

  Copy full SHA for 93e55e2

• Merge pull request #5723 from MathiasVP/cleanup-smart-ptr-model

  Show description for d4fdd50
  jbj

  authored
  d4fdd50

  Copy full SHA for d4fdd50

• Merge pull request #5703 from MathiasVP/improve-access-of-memory-location-after-end-of-buffer-using-strncat

  Show description for 2b7e599
  geoffw0

  authored
  2b7e599

  Copy full SHA for 2b7e599

• C++: Simplify smart pointer model and accept test changes.

  MathiasVP

  committed
  61d4d17

  Copy full SHA for 61d4d17

Commits on Apr 18, 2021

• Merge branch 'main' into ihsinme-patch-259

  ihsinme

  authored
  c2d97b9

  Copy full SHA for c2d97b9

Commits on Apr 16, 2021

• C++: Tidy up the ql file and accept test changes.

  MathiasVP

  committed
  64f8316

  Copy full SHA for 64f8316

• Revert "Revert "C++: Work around extractor issue CPP-383""

  Show description for f8d45f0
  jbj

  committed
  f8d45f0

  Copy full SHA for f8d45f0

• Merge pull request #5667 from MathiasVP/use-range-analysis-in-overflow

  Show description for e1028a2
  geoffw0

  authored
  e1028a2

  Copy full SHA for e1028a2

Commits on Apr 14, 2021

• Update InsufficientControlFlowManagementAfterRefactoringTheCode.ql

  ihsinme

  authored
  b30ae39

  Copy full SHA for b30ae39

• Merge pull request #5643 from dbartol/smart-pointers/side-effect-refactor

  Show description for fe57876
  

  Robert Marsh

  authored
  fe57876

  Copy full SHA for fe57876

• Fix formatting

  

  Dave Bartolomeo

  committed
  b29f35f

  Copy full SHA for b29f35f