Commits

Breadcrumbs

History for

one81b409

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

• 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

• 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

Commits on Apr 21, 2021

• 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

• 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++: Simplify smart pointer model and accept test changes.

  MathiasVP

  committed
  61d4d17

  Copy full SHA for 61d4d17

Commits on Apr 16, 2021

• 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

• 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

• C++: Make exprMightOverflowPositively/exprMightOverFlowNegatively hold for unanalyzable expressions. This hopefully means that expressions that do not satisfy these predicates will never overflow/u…

  Show description for ed64ed3
  MathiasVP

  committed
  ed64ed3

  Copy full SHA for ed64ed3

• Merge pull request #5578 from MathiasVP/ast-flow-smart-pointers

  Show description for b4f01c9
  jbj

  authored
  b4f01c9

  Copy full SHA for b4f01c9

• C++: Make sure missingGuardAgainstOverflow (and underflow) holds when range analysis fails to deduce a bound.

  MathiasVP

  committed
  bb447d7

  Copy full SHA for bb447d7

• C++: Remove rule that wasn't needed.

  MathiasVP

  committed
  bc7cc2f

  Copy full SHA for bc7cc2f

• Revert "C++: As response to the review comments this commit adds a reference-to-pointer state to AddressFlow. A call to an unwrapper function now adds a pointer -> reference-to-pointer transition, …

  Show description for da36508
  MathiasVP

  committed
  da36508

  Copy full SHA for da36508

• Update cpp/ql/src/semmle/code/cpp/security/Overflow.qll

  Show description for 2e40d01
  

  MathiasVP

  and

  geoffw0

  authored
  2e40d01

  Copy full SHA for 2e40d01

Commits on Apr 13, 2021

• C++: Use range analysis in Overflow.qll

  MathiasVP

  committed
  d145799

  Copy full SHA for d145799

Commits on Apr 12, 2021

• C++: Fix PR feedback

  

  Dave Bartolomeo

  committed
  afd2f58

  Copy full SHA for afd2f58

• C++: Add missing store step for single-field struct use

  Show description for 697b2dc
  

  Dave Bartolomeo

  committed
  697b2dc

  Copy full SHA for 697b2dc

• C++: As response to the review comments this commit adds a reference-to-pointer state to AddressFlow. A call to an unwrapper function now adds a pointer -> reference-to-pointer transition, and a Re…

  Show description for 5aeaab7
  MathiasVP

  committed
  5aeaab7

  Copy full SHA for 5aeaab7

• C++: Remove `unique` wrapper from `DataFlow::Node::getEnclosingCallable()`

  hvitved

  committed
  57016dd

  Copy full SHA for 57016dd

• Merge pull request #5640 from hvitved/dataflow/path-step-perf

  Show description for 7d2a60e
  hvitved

  authored
  7d2a60e

  Copy full SHA for 7d2a60e

Commits on Apr 9, 2021

• C++: Refactor some side effect generation code

  Show description for 0a86642
  

  Dave Bartolomeo

  committed
  0a86642

  Copy full SHA for 0a86642

• C++: Add cases for const pointer wrapper references to AddressFlow and FlowVar.

  MathiasVP

  committed
  1510fe3

  Copy full SHA for 1510fe3