Commits

Breadcrumbs

History for

on868b238

User selector

All users

All time

Commit History

Commits on Mar 30, 2023

• C++: fix SimpleRangeAnalysis for equivclass SemExpr

  

  Robert Marsh

  committed
  868b238

  Copy full SHA for 868b238

• Merge branch 'main' into rdmarsh2/range-analysis-overflow

  

  Robert Marsh

  committed
  4b4fc97

  Copy full SHA for 4b4fc97

• Merge pull request #12622 from MathiasVP/skip-safe-conversions-in-range-analysis

  Show description for d03dd49
  

  Robert Marsh

  authored
  d03dd49

  Copy full SHA for d03dd49

• Merge pull request #12714 from jketema/rem-cleanup

  Show description for 9173e08
  jketema

  authored
  9173e08

  Copy full SHA for 9173e08

• Merge branch 'main' into skip-safe-conversions-in-range-analysis

  MathiasVP

  committed
  4043aa9

  Copy full SHA for 4043aa9

• C++: Ensure that equiv instructions are in the same block.

  MathiasVP

  committed
  d9b2a72

  Copy full SHA for d9b2a72

• C++: Simplify 'converts'.

  MathiasVP

  committed
  4602a8a

  Copy full SHA for 4602a8a

• Merge pull request #12626 from gsingh93/buffer-access-size-expr

  Show description for 62bc807
  MathiasVP

  authored
  62bc807

  Copy full SHA for 62bc807

• Merge pull request #12709 from MathiasVP/disable-rounding-2

  Show description for 0202baf
  MathiasVP

  authored
  0202baf

  Copy full SHA for 0202baf

• C++: Add change note.

  MathiasVP

  committed
  64a08ce

  Copy full SHA for 64a08ce

• Merge pull request #12708 from MathiasVP/dont-break-ir-cfg-on-vla

  Show description for 6275a01
  MathiasVP

  authored
  6275a01

  Copy full SHA for 6275a01

• C++: Match `SemZeroBound` handling of mul case in rem case

  jketema

  committed
  ade02d8

  Copy full SHA for ade02d8

Commits on Mar 29, 2023

• C++: Add getSizeExpr and getSizeMult predicates to BufferAccess

  

  Gulshan Singh

  committed
  abec99b

  Copy full SHA for abec99b

• C++: Disable rounding.

  MathiasVP

  committed
  4d8159c

  Copy full SHA for 4d8159c

• Merge pull request #12696 from MathiasVP/range-analysis-of-mul-expr

  Show description for 6dd45b3
  MathiasVP

  authored
  6dd45b3

  Copy full SHA for 6dd45b3

• C++: Fix Code Scanning errors.

  MathiasVP

  committed
  3bd193f

  Copy full SHA for 3bd193f

• C++: Emit a NoOp during CFG construction for VLAs.

  MathiasVP

  committed
  fb6e45b

  Copy full SHA for fb6e45b

• C++: Even more fix'ing QLDoc.

  MathiasVP

  committed
  9d5c785

  Copy full SHA for 9d5c785

• C++: Fix QLDoc.

  MathiasVP

  committed
  09d0385

  Copy full SHA for 09d0385

• C++: Fix QLDoc.

  MathiasVP

  committed
  c14bccf

  Copy full SHA for c14bccf

• C++: Respond to PR reviews.

  MathiasVP

  committed
  fe487a1

  Copy full SHA for fe487a1

• Merge pull request #12687 from jketema/unit-2

  Show description for 0acca2b
  jketema

  authored
  0acca2b

  Copy full SHA for 0acca2b

Commits on Mar 28, 2023

• C++: Add range analysis for binary multiplication.

  MathiasVP

  committed
  6699a0c

  Copy full SHA for 6699a0c

• Merge pull request #12684 from aschackmull/dataflow/remove-footgun

  Show description for 7c74fd0
  aschackmull

  authored
  7c74fd0

  Copy full SHA for 7c74fd0

• Make imports of `codeql.util.Unit` private

  jketema

  committed
  3b8ad08

  Copy full SHA for 3b8ad08

• Dataflow: Add change note.

  aschackmull

  committed
  47e7aa9

  Copy full SHA for 47e7aa9

• Merge branch 'main' into skip-safe-conversions-in-range-analysis

  MathiasVP

  committed
  4b2758f

  Copy full SHA for 4b2758f

• Dataflow: Remove accidentally exposed predicates.

  aschackmull

  committed
  d406b05

  Copy full SHA for d406b05

Commits on Mar 27, 2023

• C++: Address review comment

  jketema

  committed
  12da4f7

  Copy full SHA for 12da4f7

• C++: Address review comment

  jketema

  committed
  9303055

  Copy full SHA for 9303055

• C++: Add support for bounded modulus operations

  jketema

  committed
  99c6111

  Copy full SHA for 99c6111

• C++: Make sign analysis aware of unsigned'ness and accept test changes.

  MathiasVP

  committed
  724d97e

  Copy full SHA for 724d97e

• Merge branch 'main' into skip-safe-conversions-in-range-analysis

  MathiasVP

  committed
  cbd4662

  Copy full SHA for cbd4662

• C++: Throw away the sign analysis when analyzing add expressions: instead, we now recursively analyze both operands.

  MathiasVP

  committed
  87c144d

  Copy full SHA for 87c144d

• Merge pull request #12649 from jketema/unit

  Show description for 977f15f
  jketema

  authored
  977f15f

  Copy full SHA for 977f15f