Commits

Breadcrumbs

History for

onc44507c

User selector

All users

All time

Commit History

Commits on Jul 24, 2023

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

  MathiasVP

  committed
  c44507c

  Copy full SHA for c44507c

Commits on Jul 21, 2023

• 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++: Add IR SSA test case for the ternary operator

  jketema

  committed
  4c9c5d8

  Copy full SHA for 4c9c5d8

Commits on Jul 19, 2023

• 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

• C/C++: Adjust expected output.

  aschackmull

  committed
  8d365b0

  Copy full SHA for 8d365b0

• Dataflow: Add change notes.

  aschackmull

  committed
  e72a0b2

  Copy full SHA for e72a0b2

• C/C++: Don't force-include XxeFlowStateTransformer steps in XXE.ql.

  aschackmull

  committed
  c01a494

  Copy full SHA for c01a494

• C/C++/C#/Java/Python/Ruby/Swift: Adjust expected output.

  aschackmull

  committed
  ae24d68

  Copy full SHA for ae24d68

• C/C++: Don't force-include default steps in DefaultTaintTrackingImpl.

  aschackmull

  committed
  941aa7a

  Copy full SHA for 941aa7a

• Dataflow: Sync.

  aschackmull

  committed
  95d1704

  Copy full SHA for 95d1704

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

  Show description for 2f48cde
  

  MathiasVP

  and

  jketema

  authored
  2f48cde

  Copy full SHA for 2f48cde

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

  Show description for 9a8fb0b
  

  MathiasVP

  and

  jketema

  authored
  9a8fb0b

  Copy full SHA for 9a8fb0b

Commits on Jul 18, 2023

• C++: Add QLDoc.

  MathiasVP

  committed
  3e1b4d9

  Copy full SHA for 3e1b4d9

• C++: Fix Code Scanning errors.

  MathiasVP

  committed
  576f021

  Copy full SHA for 576f021

• C++: Add inline expectations tests for the invalid-pointer-to-dereference stage of the query.

  MathiasVP

  committed
  4762e88

  Copy full SHA for 4762e88

• C++: Add inline expectations tests for the allocation-to-invalid-pointer stage of the query.

  MathiasVP

  committed
  a735d18

  Copy full SHA for a735d18

• C++: Split the query into 4 files.

  MathiasVP

  committed
  5099de5

  Copy full SHA for 5099de5

• C++: Handle `FunctionAccess`es with qualifiers

  Show description for aad094b
  jketema

  committed
  aad094b

  Copy full SHA for aad094b

• C++: More cleanup.

  MathiasVP

  committed
  a038b38

  Copy full SHA for a038b38

• Merge pull request #13699 from MathiasVP/final-config-to-invalid-pointer-deref

  Show description for d41d2bc
  MathiasVP

  authored
  d41d2bc

  Copy full SHA for d41d2bc

• Merge pull request #13758 from jketema/val-cat-tests

  Show description for 5d8b203
  jketema

  authored
  5d8b203

  Copy full SHA for 5d8b203

• C++: Add more IR tests

  Show description for e2de94b
  jketema

  committed
  e2de94b

  Copy full SHA for e2de94b

• Merge pull request #13621 from MathiasVP/deprecate-ast-dataflow

  Show description for a426010
  jketema

  authored
  a426010

  Copy full SHA for a426010

Commits on Jul 17, 2023

• C++: Remove barrier that's no longer needed.

  MathiasVP

  committed
  d63ead5

  Copy full SHA for d63ead5

• Merge pull request #13740 from MathiasVP/unique-entry-point

  Show description for 11f2681
  MathiasVP

  authored
  11f2681

  Copy full SHA for 11f2681

• C++: Accept test changes.

  MathiasVP

  committed
  8c21699

  Copy full SHA for 8c21699

• C++: Don't do range analysis on malformed IR.

  MathiasVP

  committed
  f9db6a9

  Copy full SHA for f9db6a9

Commits on Jul 13, 2023

• C++: No need to select the 'instruction' as the sink when the dataflow node has a better 'toString'.

  MathiasVP

  committed
  c13f015

  Copy full SHA for c13f015

• C++: Completely get rid of merged path nodes.

  MathiasVP

  committed
  5e06043

  Copy full SHA for 5e06043

• Dataflow: Sync.

  aschackmull

  committed
  837df2a

  Copy full SHA for 837df2a

Commits on Jul 12, 2023

• C++/Swift: Remove `none()` dataflow configuration predicates

  Show description for 52ab215
  jketema

  committed
  52ab215

  Copy full SHA for 52ab215

• Add change notes for default implementations of isBarrier and isAdditionalFlowStep

  egregius313

  committed
  6329968

  Copy full SHA for 6329968

• C++: Add default implementation of StateConfigSig::isAdditionalFlowStep/4

  egregius313

  committed
  2c0a456

  Copy full SHA for 2c0a456