Commits

Breadcrumbs

History for

on187e136

User selector

All users

All time

Commit History

Commits on May 7, 2021

• C++: Generate IR side effects for smart pointer indirections

  Show description for 187e136
  

  Dave Bartolomeo

  committed
  187e136

  Copy full SHA for 187e136

• C++: Fix pointer flow modeling for smart pointer setters

  

  Dave Bartolomeo

  committed
  f0a994a

  Copy full SHA for f0a994a

• C++: Improve consistency failure message for multiple `MemoryLocation`s on a memory access.

  

  Dave Bartolomeo

  committed
  653ef9d

  Copy full SHA for 653ef9d

• C++: Allow annotating IR dumps with Alias Analysis info

  Show description for 54b9f21
  

  Dave Bartolomeo

  committed
  54b9f21

  Copy full SHA for 54b9f21

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

• 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 16, 2021

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

  MathiasVP

  committed
  64f8316

  Copy full SHA for 64f8316

• 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

• Merge pull request #5677 from MathiasVP/fix-duplicate-ids-in-experimental

  Show description for 64fed4c
  geoffw0

  authored
  64fed4c

  Copy full SHA for 64fed4c

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

  Show description for b4f01c9
  jbj

  authored
  b4f01c9

  Copy full SHA for b4f01c9

• C++: Fix duplicate names.

  MathiasVP

  committed
  53a320a

  Copy full SHA for 53a320a

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

  MathiasVP

  committed
  bb447d7

  Copy full SHA for bb447d7

• Merge pull request #5600 from ihsinme/ihsinme-patch-258

  Show description for 92508be
  MathiasVP

  authored
  92508be

  Copy full SHA for 92508be

• 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

• Merge pull request #5325 from ihsinme/ihsinme-patch-245

  Show description for 419d25c
  

  Robert Marsh

  authored
  419d25c

  Copy full SHA for 419d25c

• 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

• Update InsufficientControlFlowManagementWhenUsingBitOperations.ql

  ihsinme

  authored
  a436988

  Copy full SHA for a436988

• 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