Commits

Breadcrumbs

History for

ond808a5b

User selector

All users

All time

Commit History

Commits on May 31, 2021

• Update cpp/ql/test/experimental/query-tests/Security/CWE/CWE-415/semmle/tests/test.c

  Show description for d808a5b
  

  ihsinme

  and

  MathiasVP

  authored
  d808a5b

  Copy full SHA for d808a5b

Commits on May 26, 2021

• Update test.c

  ihsinme

  authored
  2909dde

  Copy full SHA for 2909dde

Commits on Apr 27, 2021

• Update test.c

  ihsinme

  authored
  0c3e2b9

  Copy full SHA for 0c3e2b9

Commits on Apr 26, 2021

• Add files via upload

  ihsinme

  authored
  c31a761

  Copy full SHA for c31a761

Commits on Apr 25, 2021

• Add files via upload

  ihsinme

  authored
  c1d125b

  Copy full SHA for c1d125b

Commits on Apr 21, 2021

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

  Show description for ba33508
  geoffw0

  authored
  ba33508

  Copy full SHA for ba33508

Commits on Apr 20, 2021

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

  MathiasVP

  committed
  93e55e2

  Copy full SHA for 93e55e2

• C++: Add FP test from the work on smart pointers in dataflow.

  MathiasVP

  committed
  1797b6c

  Copy full SHA for 1797b6c

• 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++: Accept test changes for the other experimental query in the directory. This is only a change in line numbers.

  MathiasVP

  committed
  95742ae

  Copy full SHA for 95742ae

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

  MathiasVP

  committed
  64f8316

  Copy full SHA for 64f8316

• C++: Add false negative test.

  MathiasVP

  committed
  1e32728

  Copy full SHA for 1e32728

• C++: Cleanup test.c

  MathiasVP

  committed
  50abb6e

  Copy full SHA for 50abb6e

• 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