Commits

Breadcrumbs

History for

onc2d97b9

User selector

All users

All time

Commit History

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

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

• C++: Accept test changes after making the exprMightOverFlow predicates more sound.

  MathiasVP

  committed
  7fbc623

  Copy full SHA for 7fbc623

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

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

  Show description for b4f01c9
  jbj

  authored
  b4f01c9

  Copy full SHA for b4f01c9

• 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

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++: Add missing store step for single-field struct use

  Show description for 697b2dc
  

  Dave Bartolomeo

  committed
  697b2dc

  Copy full SHA for 697b2dc

• C++: Ensure all values are bound in both disjunctions.

  MathiasVP

  committed
  037e636

  Copy full SHA for 037e636

• 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

• Update InsufficientControlFlowManagementAfterRefactoringTheCode.expected

  ihsinme

  authored
  feb3a8d

  Copy full SHA for feb3a8d

• Update test.c

  ihsinme

  authored
  6924c6c

  Copy full SHA for 6924c6c

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

• C++: Replace the new SmartPointerPartialDefinition with additional steps in AddressFlow.qll

  MathiasVP

  committed
  2329b31

  Copy full SHA for 2329b31

• Merge branch 'main' into ast-flow-smart-pointers

  MathiasVP

  committed
  a460e3a

  Copy full SHA for a460e3a

• Merge pull request #5607 from MathiasVP/smart-pointer-ast-read-store-steps

  Show description for e1d0bbb
  jbj

  authored
  e1d0bbb

  Copy full SHA for e1d0bbb

• C++: Fix incorrect test annotation.

  MathiasVP

  committed
  996cda9

  Copy full SHA for 996cda9

• C++: Remove the dataflow rule for smart_ptr -> *smart_ptr.

  MathiasVP

  committed
  80d5b17

  Copy full SHA for 80d5b17

• C++: Replace the new rules in DataFlowUtil with a dataflow model for pointer wrapper classes.

  MathiasVP

  committed
  cae0060

  Copy full SHA for cae0060

• C++: Respond to review comments.

  MathiasVP

  committed
  0a6aef7

  Copy full SHA for 0a6aef7

Commits on Apr 8, 2021

• Update test.c

  ihsinme

  authored
  9b3ccad

  Copy full SHA for 9b3ccad

• Update test.c

  ihsinme

  authored
  3d11724

  Copy full SHA for 3d11724

• Update InsufficientControlFlowManagementWhenUsingBitOperations.expected

  ihsinme

  authored
  02eb447

  Copy full SHA for 02eb447

Commits on Apr 7, 2021

• Add files via upload

  ihsinme

  committed
  cbf158e

  Copy full SHA for cbf158e

• Add files via upload

  ihsinme

  committed
  ed2a8db

  Copy full SHA for ed2a8db

Commits on Apr 6, 2021

• C++: Add flow into the source of read step and out of the target of a store step for smart pointers in AST dataflow.

  MathiasVP

  committed
  8382e85

  Copy full SHA for 8382e85

• C++: Add a test containing missing read/store dataflow steps for smart pointers.

  MathiasVP

  committed
  f07d844

  Copy full SHA for f07d844

• C++: Fix false positive by adding another allow-list pattern in AssignWhereCompareMeant.

  MathiasVP

  committed
  a5f4d43

  Copy full SHA for a5f4d43

• C++: Add testcase with false positive from #5318.

  MathiasVP

  committed
  7045597

  Copy full SHA for 7045597

• C++: Move copy constructor to its own line and accept test changes.

  MathiasVP

  committed
  32a8b9a

  Copy full SHA for 32a8b9a

Commits on Mar 31, 2021

• C++: Add support for AST dataflow out of functions that take a smart pointer by value.

  MathiasVP

  committed
  9ff894b

  Copy full SHA for 9ff894b