Commits

Breadcrumbs

History for

one1763db

User selector

All users

All time

Commit History

Commits on Jul 25, 2023

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll

  Show description for e1763db
  

  MathiasVP

  and

  jketema

  authored
  e1763db

  Copy full SHA for e1763db

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll

  Show description for 70ac0a5
  

  MathiasVP

  and

  jketema

  authored
  70ac0a5

  Copy full SHA for 70ac0a5

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll

  Show description for a176ba2
  

  MathiasVP

  and

  jketema

  authored
  a176ba2

  Copy full SHA for a176ba2

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll

  Show description for 6ebd5ab
  

  MathiasVP

  and

  jketema

  authored
  6ebd5ab

  Copy full SHA for 6ebd5ab

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll

  Show description for 0d116a0
  

  MathiasVP

  and

  jketema

  authored
  0d116a0

  Copy full SHA for 0d116a0

• C++: Simplify the description of the sink.

  MathiasVP

  committed
  1612ee3

  Copy full SHA for 1612ee3

• C++: Simplify the description of the source.

  MathiasVP

  committed
  55cfadb

  Copy full SHA for 55cfadb

• C++: 'Step 1' does not make a lot of sense now that the files have been split.

  MathiasVP

  committed
  359a9e5

  Copy full SHA for 359a9e5

Commits on Jul 24, 2023

• C++: Add more documentation.

  MathiasVP

  committed
  acb1310

  Copy full SHA for acb1310

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll

  Show description for db8b506
  

  MathiasVP

  and

  jketema

  authored
  db8b506

  Copy full SHA for db8b506

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll

  Show description for 88b7828
  

  MathiasVP

  and

  jketema

  authored
  88b7828

  Copy full SHA for 88b7828

• C++: Remove 'TODO' now that the implementation has been fixed.

  MathiasVP

  committed
  4a276c3

  Copy full SHA for 4a276c3

• C++: Replace 'Barrier2' with 'SizeBarrier' in QLDoc.

  MathiasVP

  committed
  4345369

  Copy full SHA for 4345369

• C++: Remove paragraph.

  MathiasVP

  committed
  d02a1c2

  Copy full SHA for d02a1c2

• C++: Reflow comments in QLDoc.

  MathiasVP

  committed
  5edc5e7

  Copy full SHA for 5edc5e7

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll

  Show description for a272eb8
  

  MathiasVP

  and

  jketema

  authored
  a272eb8

  Copy full SHA for a272eb8

• C++: Update example in QLDoc.

  MathiasVP

  committed
  9108982

  Copy full SHA for 9108982

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll

  Show description for 9cb09d6
  

  MathiasVP

  and

  jketema

  authored
  9cb09d6

  Copy full SHA for 9cb09d6

• Merge branch 'main' into add-more-invalid-deref-documentation

  MathiasVP

  committed
  aa6bf67

  Copy full SHA for aa6bf67

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll

  Show description for f0ab3a3
  

  MathiasVP

  and

  jketema

  authored
  f0ab3a3

  Copy full SHA for f0ab3a3

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll

  Show description for 8ab2f89
  

  MathiasVP

  and

  jketema

  authored
  8ab2f89

  Copy full SHA for 8ab2f89

• Merge branch 'main' into swap-argument-order-in-invalid-ptr-deref

  MathiasVP

  committed
  786c6e1

  Copy full SHA for 786c6e1

• C++: 'sizeAddend' instead of 'extra'.

  MathiasVP

  committed
  c44507c

  Copy full SHA for c44507c

Commits on Jul 21, 2023

• C++: This predicate is no longer used.

  MathiasVP

  committed
  742f080

  Copy full SHA for 742f080

• C++: Fix swapped arguments in 'invalidPointerToDerefSource'.

  MathiasVP

  committed
  0859c4f

  Copy full SHA for 0859c4f

• C++: Write formulas instead of 'non-strictly upper bounded by'.

  MathiasVP

  committed
  83aef6f

  Copy full SHA for 83aef6f

• C++: Use more descriptive names for identifiers in 'cpp/invalid-pointer-deref'.

  MathiasVP

  committed
  108cd7f

  Copy full SHA for 108cd7f

• C++: Update documentation based on PR feedback.

  MathiasVP

  committed
  5270cf6

  Copy full SHA for 5270cf6

• C++: Fix 'begin'/'base' confusion.

  MathiasVP

  committed
  a7ee27e

  Copy full SHA for a7ee27e

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll

  Show description for 6c3c4c3
  

  MathiasVP

  and

  geoffw0

  authored
  6c3c4c3

  Copy full SHA for 6c3c4c3

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll

  MathiasVP

  authored
  4075dac

  Copy full SHA for 4075dac

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll

  Show description for 369cee9
  

  MathiasVP

  and

  geoffw0

  authored
  369cee9

  Copy full SHA for 369cee9

Commits on Jul 19, 2023

• C++: Add more documentation to the 'cpp/invalid-pointer-deref' query.

  MathiasVP

  committed
  922f4d5

  Copy full SHA for 922f4d5

• Merge pull request #13717 from aschackmull/dataflow/neverskipadditionalsteps

  Show description for a9c76d4
  aschackmull

  authored
  a9c76d4

  Copy full SHA for a9c76d4

• Merge pull request #13760 from MathiasVP/split-invalid-ptr-deref-into-more-files

  Show description for 475a892
  MathiasVP

  authored
  475a892

  Copy full SHA for 475a892