Commits

Breadcrumbs

History for

onb380ba0

User selector

All users

All time

Commit History

Commits on Jan 26, 2022

• Add `semmle-extractor-options: -std=c++17` to test

  jketema

  committed
  b380ba0

  Copy full SHA for b380ba0

Commits on Jan 24, 2022

• C++: Upgrade to path-problem.

  geoffw0

  committed
  764f27f

  Copy full SHA for 764f27f

• C++: Reveal the FP to be an issue with dataflow / model of strcpy.

  geoffw0

  committed
  bbaac55

  Copy full SHA for bbaac55

• C++: Upgrade cpp/cleartext-storage-file to full taint flow.

  geoffw0

  committed
  1192937

  Copy full SHA for 1192937

• Merge pull request #7701 from MathiasVP/remove-intentional-get-stack-pointer

  Show description for 4c99d39
  geoffw0

  authored
  4c99d39

  Copy full SHA for 4c99d39

• Merge pull request #7704 from geoffw0/clrtxt4

  Show description for 683f909
  geoffw0

  authored
  683f909

  Copy full SHA for 683f909

Commits on Jan 21, 2022

• C++: Catch another encryption clue.

  geoffw0

  committed
  0b98397

  Copy full SHA for 0b98397

• C++: Expand tests.

  geoffw0

  committed
  97447d0

  Copy full SHA for 97447d0

• C++: Fix false positive.

  MathiasVP

  committed
  48064c1

  Copy full SHA for 48064c1

• C++: Add real-world false positive from the 'cpp/return-stack-allocated-memory' query.

  MathiasVP

  committed
  7c8c209

  Copy full SHA for 7c8c209

• Merge pull request #7682 from MathiasVP/rewrite-return-stack-allocated-memory-to-use-ir

  Show description for 117795c
  MathiasVP

  authored
  117795c

  Copy full SHA for 117795c

Commits on Jan 20, 2022

• C++: Use the IR for 'cpp/return-stack-allocated-memory'.

  MathiasVP

  committed
  e689f6b

  Copy full SHA for e689f6b

• 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