Commits

Breadcrumbs

History for

on65a538e

User selector

All users

All time

Commit History

Commits on Oct 6, 2022

• C++: Exclude a few more operands from the dataflow graph. These aren't ever used for dataflow, and it should give us a slight speedup.

  MathiasVP

  committed
  65a538e

  Copy full SHA for 65a538e

• C++: Change a few indirectionIndex ranges from '[0 .. n - 1]' to '[1 .. n]'. This simplifies some arithmetic in a few predicates.

  MathiasVP

  committed
  3fcb825

  Copy full SHA for 3fcb825

• Merge pull request #10562 from rdmarsh2/rdmarsh2/cpp/field-off-by-one

  Show description for a856bc8
  MathiasVP

  authored
  a856bc8

  Copy full SHA for a856bc8

• C++: Fix qhelp example.

  MathiasVP

  committed
  32d0b58

  Copy full SHA for 32d0b58

Commits on Oct 5, 2022

• C++: Remove redundant pragma.

  MathiasVP

  committed
  fcd69a0

  Copy full SHA for fcd69a0

Commits on Oct 4, 2022

• C++: Rephrase QLDoc.

  MathiasVP

  committed
  4d697cd

  Copy full SHA for 4d697cd

• C++: Fix join that might blow up in the future.

  MathiasVP

  committed
  3283902

  Copy full SHA for 3283902

Commits on Oct 3, 2022

• Merge pull request #10645 from MathiasVP/add-more-range-analysis-tests

  Show description for 98f4caf
  

  Robert Marsh

  authored
  98f4caf

  Copy full SHA for 98f4caf

Commits on Sep 30, 2022

• C++: query help for ConstantSizeArrayOffByOne.ql

  

  Robert Marsh

  committed
  84f9c9b

  Copy full SHA for 84f9c9b

• C++: fill in more query metadata

  

  Robert Marsh

  committed
  159f11c

  Copy full SHA for 159f11c

• C++: autoformat

  

  Robert Marsh

  committed
  8972176

  Copy full SHA for 8972176

• C++: Fix database inconsistency issue from ODR violation.

  MathiasVP

  committed
  cd65e73

  Copy full SHA for cd65e73

• C++: convert to path-problem

  

  Robert Marsh

  committed
  8ac8101

  Copy full SHA for 8ac8101

• C++: respond to style comments on PR

  

  Robert Marsh

  committed
  423e0bf

  Copy full SHA for 423e0bf

• C++: Convert the SimpleRangeAnalysis test to an InlineExpectationsTest.

  MathiasVP

  committed
  56b5010

  Copy full SHA for 56b5010

• C++: Put quotes around expectation comments with spaces.

  MathiasVP

  committed
  d14b2c2

  Copy full SHA for d14b2c2

• C++: Add SimpleRangeAnalysis test file to the new range-analysis library test directory.

  MathiasVP

  committed
  c4c7c95

  Copy full SHA for c4c7c95

• C++: Fix spelling.

  MathiasVP

  committed
  fa12bd3

  Copy full SHA for fa12bd3

• C++: Replace the giant list of predicate parameters with a module signature.

  MathiasVP

  committed
  483ff58

  Copy full SHA for 483ff58

• C++: Fix Code Scanning alert.

  MathiasVP

  committed
  b0af4cb

  Copy full SHA for b0af4cb

• C++: Add QLDoc to the parameterized module components in 'Allocation.qll'.

  MathiasVP

  committed
  6d5de66

  Copy full SHA for 6d5de66

Commits on Sep 29, 2022

• C++: handle interprocedural flows

  Show description for f17b563
  

  Robert Marsh

  committed
  f17b563

  Copy full SHA for f17b563

• C++: Add 'isBarrierIn' to prevent path duplication.

  MathiasVP

  committed
  2a514d6

  Copy full SHA for 2a514d6

• C++: Use the new class in 'cpp/invalid-pointer-deref'.

  MathiasVP

  committed
  d12a765

  Copy full SHA for d12a765

• C++: Add class with heuristics to detect allocations.

  MathiasVP

  committed
  a971045

  Copy full SHA for a971045

• C++: tests for constant-size off-by-one query

  

  Robert Marsh

  committed
  99d7512

  Copy full SHA for 99d7512

• C++: move ConstantSizeArrayOffByOne.ql to CWE-193

  

  Robert Marsh

  committed
  447c11c

  Copy full SHA for 447c11c

• C++: fix metadata and result format

  

  Robert Marsh

  committed
  e46b215

  Copy full SHA for e46b215

• C++: Accept test changes.

  MathiasVP

  committed
  4e3b445

  Copy full SHA for 4e3b445

• C++: Use range analysis to properly deduce the initial 'state2' instead of traversing the AST. Also fix state-passing related to negative states.

  MathiasVP

  committed
  70837db

  Copy full SHA for 70837db

• C++: Add more CWE-199 tests that allocates memory based on the result of a SubExpr.

  MathiasVP

  committed
  6537c81

  Copy full SHA for 6537c81

Commits on Sep 28, 2022

• C++: Add qhelp to new query.

  MathiasVP

  committed
  4ab6767

  Copy full SHA for 4ab6767

• C++: Add 'isAdditionalFlowStep' predicates for both configurations in the product dataflow library and use them to fix missing results in the 'cpp/overrun-write' query.

  MathiasVP

  committed
  769ff5c

  Copy full SHA for 769ff5c

• C++: Use range analysis in 'cpp/overrun-write' and accept test changes.

  MathiasVP

  committed
  ccbbb57

  Copy full SHA for ccbbb57

• C++: Add tests to 'cpp/overrun-write'.

  MathiasVP

  committed
  51758aa

  Copy full SHA for 51758aa