Commits

Breadcrumbs

History for

on4ea8569

User selector

All users

All time

Commit History

Commits on Nov 8, 2019

• [CPP-434] Squelch query alerts if ALL files were compiled

  Show description for 4ea8569
  zlaski-semmle

  committed
  4ea8569

  Copy full SHA for 4ea8569

Commits on Nov 6, 2019

• C++: Add <p> tags to split text into paragraphs

  Show description for 217ecd3
  jbj

  committed
  217ecd3

  Copy full SHA for 217ecd3

Commits on Nov 5, 2019

• [CPP-434] Change list items to ordinary paragraphs in the Recommendation section.

  zlaski-semmle

  committed
  398896a

  Copy full SHA for 398896a

Commits on Nov 4, 2019

• [CPP-434] Use a bullet list instead of a table in order to placate Jenkins.

  zlaski-semmle

  committed
  ce8ba86

  Copy full SHA for ce8ba86

Commits on Nov 1, 2019

• [CPP-434] Squelch alerts for expressions inside macros; try to make Qhelp Jenkins-friendly.

  zlaski-semmle

  committed
  2bad939

  Copy full SHA for 2bad939

• [CPP-434] Add table of constructs to Qhelp. Rewrite examples section.

  zlaski-semmle

  committed
  3e1fd4a

  Copy full SHA for 3e1fd4a

Commits on Oct 27, 2019

• [CPP-434] Clarify Qhelp.

  zlaski-semmle

  committed
  1500148

  Copy full SHA for 1500148

Commits on Oct 25, 2019

• [CPP-434] Address more comments re .cpp test cases.

  zlaski-semmle

  committed
  6ee3d7d

  Copy full SHA for 6ee3d7d

• [CPP-434] Address comments re .cpp test cases.

  zlaski-semmle

  committed
  7204e13

  Copy full SHA for 7204e13

• [CPP-434] Address comments regarding .ql and .qhelp.

  zlaski-semmle

  committed
  f964fe8

  Copy full SHA for f964fe8

Commits on Oct 23, 2019

• [CPP-434] Update Qhelp.

  zlaski-semmle

  committed
  6eb0f07

  Copy full SHA for 6eb0f07

Commits on Oct 22, 2019

• [CPP-434] When analyzing overflow, discard any explicit casts.

  Show description for ad5aa18
  zlaski-semmle

  committed
  ad5aa18

  Copy full SHA for ad5aa18

• [CPP-434] Incremental changes to SignedOverflowCheck.cpp test suite.

  zlaski-semmle

  committed
  06f63c5

  Copy full SHA for 06f63c5

• [CPP-434] Ctrl + Shift + F.

  zlaski-semmle

  committed
  9bc4c2d

  Copy full SHA for 9bc4c2d

• [CPP-434] Change query so it flags overflows that were cast to `unsigned`.

  zlaski-semmle

  committed
  2292518

  Copy full SHA for 2292518

Commits on Oct 18, 2019

• [CPP-434] Reformat QHelp.

  zlaski-semmle

  committed
  6772fa1

  Copy full SHA for 6772fa1

Commits on Oct 17, 2019

• [CPP-434] Additional test case; improve QHelp by including themes from the BadAdditionOverflowCheck QHelp.

  zlaski-semmle

  committed
  70441ed

  Copy full SHA for 70441ed

Commits on Oct 16, 2019

• [CPP-434] Move SignedOverflowCheck test to BadAdditionOverflowCheck directory; add additional tests.

  zlaski-semmle

  committed
  fb625c1

  Copy full SHA for fb625c1

Commits on Oct 12, 2019

• [CPP-434] Drop the requirement that RHS not be cast to unsigned, since overflow occurs on LHS. Adjust test case.

  zlaski-semmle

  committed
  5558922

  Copy full SHA for 5558922

Commits on Oct 11, 2019

• [CPP-434] Improved query and test suite.

  zlaski-semmle

  committed
  33cd6de

  Copy full SHA for 33cd6de

Commits on Oct 10, 2019

• [CPP-434] Incorporate test from BadAdditionOverflowCheck.

  zlaski-semmle

  committed
  1ab9657

  Copy full SHA for 1ab9657

Commits on Oct 9, 2019

• [CPP-434] Much improved query (producing only true positives on a run of 75 projects).

  zlaski-semmle

  committed
  7fc47d4

  Copy full SHA for 7fc47d4

• [CPP-434] One bad usage is undetected; adjust test accordingly.

  zlaski-semmle

  committed
  e617a05

  Copy full SHA for e617a05

Commits on Oct 8, 2019

• [CPP-434] Switch to global value numbering (GVN). Improve qlhelp doc.

  zlaski-semmle

  committed
  bd87d7b

  Copy full SHA for bd87d7b

• [CPP-434] Improvements to Qhelp; hashCons-ify query.

  zlaski-semmle

  committed
  afa34b5

  Copy full SHA for afa34b5

• [CPP-434] Narrow down query.

  zlaski-semmle

  committed
  872054a

  Copy full SHA for 872054a

• [CPP-434] Adjust expected output.

  zlaski-semmle

  committed
  341dc12

  Copy full SHA for 341dc12

• [CPP-434] Remove references to underflow and subtraction.

  zlaski-semmle

  committed
  16411d1

  Copy full SHA for 16411d1

• [CPP-434] Rename everything to SignedOverflowCheck. Add .qlhelp. Deal with addition only, not subtraction.

  zlaski-semmle

  committed
  8c6caf2

  Copy full SHA for 8c6caf2

• [CPP-434] Expected result.

  zlaski-semmle

  committed
  c9a9aff

  Copy full SHA for c9a9aff

• [CPP-434] Initial version of query + test cases.

  zlaski-semmle

  committed
  55c26a8

  Copy full SHA for 55c26a8

Commits on Oct 4, 2019

• Merge pull request #2088 from geoffw0/swap3

  Show description for 6c87d75
  jbj

  authored
  6c87d75

  Copy full SHA for 6c87d75

• Merge pull request #1963 from jbj/predictableInstruction

  Show description for 7fefe43
  

  Robert Marsh

  authored
  7fefe43

  Copy full SHA for 7fefe43

• CPP: Add test cases.

  geoffw0

  committed
  050d99f

  Copy full SHA for 050d99f

• Merge pull request #2084 from matt-gretton-dann/cpp-445-synthetic_destructor_call-INVALID_KEY-warnings

  Show description for ebc10cf
  ian-semmle

  authored
  ebc10cf

  Copy full SHA for ebc10cf