Commits

Breadcrumbs

History for

on4326e6f

User selector

All users

All time

Commit History

Commits on Jan 21, 2022

• C++: Split 'gets' model and make it a local source.

  geoffw0

  committed
  4326e6f

  Copy full SHA for 4326e6f

• C++: Add test case.

  geoffw0

  committed
  79735f5

  Copy full SHA for 79735f5

Commits on Jan 20, 2022

• Merge pull request #7650 from geoffw0/clrtxt3

  Show description for b230681
  geoffw0

  authored
  b230681

  Copy full SHA for b230681

Commits on Jan 19, 2022

• Merge pull request #7627 from geoffw0/nullterm5

  Show description for dfbde23
  MathiasVP

  authored
  dfbde23

  Copy full SHA for dfbde23

• C++: Generalize hasSocketInput a little to include fgets and friends.

  geoffw0

  committed
  330b4c3

  Copy full SHA for 330b4c3

• C++: Fix another expression of stdin / stdout we see in practice.

  geoffw0

  committed
  9c2d961

  Copy full SHA for 9c2d961

• C++: Support more routines as proof-of-encryption in cpp/cleartext-transmission.

  geoffw0

  committed
  d77ba02

  Copy full SHA for d77ba02

• C++: Add a test case.

  geoffw0

  committed
  974a8b1

  Copy full SHA for 974a8b1

Commits on Jan 18, 2022

• Merge pull request #7578 from MathiasVP/store-dest-should-not-be-use

  Show description for 024bd27
  

  Robert Marsh

  authored
  024bd27

  Copy full SHA for 024bd27

• C++: Fix branch related FPs in cpp/improper-null-termination.

  geoffw0

  committed
  548a62d

  Copy full SHA for 548a62d

• C++: Accept qltest expected changes.

  aschackmull

  committed
  5cfa3c7

  Copy full SHA for 5cfa3c7

Commits on Jan 14, 2022

• Merge branch 'main' into rdmarsh2/cpp/hex-format-range-analysis

  Show description for 9de63b2
  

  Robert Marsh

  committed
  9de63b2

  Copy full SHA for 9de63b2

• C++: Don't count write operations as uses for IR dataflow. Accept test changes.

  MathiasVP

  committed
  25253c7

  Copy full SHA for 25253c7

• C++: Add testcase that demonstrates a FP caused by spurious flow through phi nodes in IR dataflow.

  MathiasVP

  committed
  e8afec4

  Copy full SHA for e8afec4

Commits on Jan 13, 2022

• C++: demote `VeryLikelyOverrunWrite` cast results

  Show description for c117a1e
  redsun82

  authored
  c117a1e

  Copy full SHA for c117a1e

• C++: remove unused variables and fix tests

  redsun82

  authored
  9f811b2

  Copy full SHA for 9f811b2

• C++: split `cpp/overrunning-write` into two

  Show description for a005920
  redsun82

  authored
  a005920

  Copy full SHA for a005920

Commits on Jan 10, 2022

• C++: update test comments

  

  Robert Marsh

  committed
  fe355a0

  Copy full SHA for fe355a0

Commits on Jan 7, 2022

• C++: use range analysis for hex format lengths

  Show description for 67fb48f
  

  Robert Marsh

  committed
  67fb48f

  Copy full SHA for 67fb48f

• C++: Add tests for bounded hex format values

  

  Robert Marsh

  committed
  fa9242b

  Copy full SHA for fa9242b

• C++: fix typo in Overflow.qll `abs` handling

  

  Robert Marsh

  committed
  4322a39

  Copy full SHA for 4322a39

• C++: Accept more test output

  

  Robert Marsh

  committed
  4f23cce

  Copy full SHA for 4f23cce

Commits on Jan 6, 2022

• C++: Use Guards library in Overflow.qll

  Show description for 355fc0a
  

  Robert Marsh

  committed
  355fc0a

  Copy full SHA for 355fc0a

• C++: test for guard-by-return in Overflow.qll

  

  Robert Marsh

  committed
  617bdbc

  Copy full SHA for 617bdbc

Commits on Jan 5, 2022

• Merge branch 'main' into promote-arithmetic-uncontrolled

  MathiasVP

  committed
  37c72ca

  Copy full SHA for 37c72ca

Commits on Jan 4, 2022

• Merge pull request #6949 from ihsinme/ihsinme-patch-073

  Show description for 344e380
  geoffw0

  authored
  344e380

  Copy full SHA for 344e380

Commits on Dec 21, 2021

• C++: Accept test changes.

  MathiasVP

  committed
  5a38f81

  Copy full SHA for 5a38f81

Commits on Dec 20, 2021

• Merge pull request #7338 from geoffw0/clrtxt2

  Show description for aa92fe8
  MathiasVP

  authored
  aa92fe8

  Copy full SHA for aa92fe8

Commits on Dec 15, 2021

• Merge pull request #7395 from MathiasVP/fix-fp-in-pointless-self-comparison

  Show description for 9363d64
  geoffw0

  authored
  9363d64

  Copy full SHA for 9363d64

• Update cpp/ql/test/query-tests/Likely Bugs/Arithmetic/BadAdditionOverflowCheck/templates.cpp

  Show description for 65c301c
  

  MathiasVP

  and

  geoffw0

  authored
  65c301c

  Copy full SHA for 65c301c

Commits on Dec 14, 2021

• C++: Fix false positive in 'cpp/cpp/comparison-of-identical-expressions'.

  MathiasVP

  committed
  b2082cc

  Copy full SHA for b2082cc

• C++: Add false positive.

  MathiasVP

  committed
  9d14a85

  Copy full SHA for 9d14a85

Commits on Dec 13, 2021

• C++: Separate two test cases slightly so that we get clearer test coverage of the interprocedural / multi-path cases.

  geoffw0

  committed
  041c2c7

  Copy full SHA for 041c2c7

Commits on Dec 10, 2021

• Merge pull request #7285 from github/post-release-prep-2.7.3-ddd4ccbb

  Show description for 66c1629
  aeisenberg

  authored
  66c1629

  Copy full SHA for 66c1629

Commits on Dec 9, 2021

• C++: Different approach to sensitive exprs.

  geoffw0

  committed
  23d4d03

  Copy full SHA for 23d4d03