Commits

Breadcrumbs

History for

on7992678

User selector

All users

All time

Commit History

Commits on Jun 14, 2021

• C++: Fix non-monotonic recursion problems in 'StackVariableReachabilityWithReassignment' by using the old StackVariableReachability predicates that don't care about paths.

  MathiasVP

  committed
  7992678

  Copy full SHA for 7992678

• C++: Add path sensitivity to StackVariableReachability.

  MathiasVP

  committed
  c32f720

  Copy full SHA for c32f720

Commits on Jun 1, 2021

• Merge pull request #5854 from dbartol/dbartol/smart-pointers/side-effects

  Show description for 7282ad9
  jbj

  authored
  7282ad9

  Copy full SHA for 7282ad9

• Merge pull request #5522 from github/rdmarsh2/cpp/ssa-reuse

  Show description for da14647
  

  Dave Bartolomeo

  authored
  da14647

  Copy full SHA for da14647

• Merge pull request #5927 from aschackmull/dataflow/flowthrough-dispatch-perf

  Show description for ce509eb
  aschackmull

  authored
  ce509eb

  Copy full SHA for ce509eb

• Dataflow: qldoc fix.

  aschackmull

  committed
  5d21c64

  Copy full SHA for 5d21c64

• Dataflow: Code review fixes.

  aschackmull

  committed
  4f9a6c1

  Copy full SHA for 4f9a6c1

Commits on May 31, 2021

• Dataflow: Fix another bad join order.

  aschackmull

  committed
  683f853

  Copy full SHA for 683f853

• Merge pull request #5966 from erik-krogh/overrideConsistency

  Show description for 6d7b95c
  MathiasVP

  authored
  6d7b95c

  Copy full SHA for 6d7b95c

• Merge pull request #5951 from MathiasVP/optimize-switcCase-getAStmt

  Show description for 4e502d1
  jbj

  authored
  4e502d1

  Copy full SHA for 4e502d1

• C++: Use a rank aggregate for a much better implementation.

  MathiasVP

  committed
  b4e4c12

  Copy full SHA for b4e4c12

Commits on May 28, 2021

• CPP: make some parameter names consistent with the names used in the super class

  erik-krogh

  committed
  b947334

  Copy full SHA for b947334

Commits on May 27, 2021

• CPP/Java: Fix getAPrimaryQlClass implementations

  erik-krogh

  committed
  79989cc

  Copy full SHA for 79989cc

Commits on May 25, 2021

• C++: Remove large antijoin in SwitchCase.getAStmt().

  MathiasVP

  committed
  b2bdf95

  Copy full SHA for b2bdf95

• Dataflow: Fix bad join order.

  aschackmull

  committed
  017bf68

  Copy full SHA for 017bf68

Commits on May 20, 2021

• C++: Add ref qualifiers

  AlexDenisov

  committed
  ab23507

  Copy full SHA for ab23507

Commits on May 19, 2021

• Dataflow: Sync.

  aschackmull

  committed
  4406b8e

  Copy full SHA for 4406b8e

• Merge branch 'main' into weak_crypto

  geoffw0

  committed
  aaae717

  Copy full SHA for aaae717

• C++: Use the isParameterDerefOrQualifierObject predicate to remove a disjunction.

  MathiasVP

  committed
  4d00513

  Copy full SHA for 4d00513

Commits on May 18, 2021

• C++: fix alias model for smart pointer setters

  

  Robert Marsh

  committed
  db85a21

  Copy full SHA for db85a21

• C++: Handle alias models for `this`/qualifiers

  

  Robert Marsh

  committed
  e590a7b

  Copy full SHA for e590a7b

• C++: Add 'MAC' as additional evidence.

  geoffw0

  committed
  3d8513c

  Copy full SHA for 3d8513c

Commits on May 17, 2021

• C++: Add triple-DES to the bad algorithms list.

  geoffw0

  committed
  930b9fe

  Copy full SHA for 930b9fe

• C++: Real world diffs suggest that 'Cipher' should be an encryption word as well.

  geoffw0

  committed
  57354de

  Copy full SHA for 57354de

• C++: Prefer matches to regexpMatch.

  geoffw0

  committed
  9e75f53

  Copy full SHA for 9e75f53

Commits on May 13, 2021

• C++: Autoformat.

  geoffw0

  committed
  a9d5745

  Copy full SHA for a9d5745

• C++: Rewrite so that we look for additional evidence.

  geoffw0

  committed
  e4d2c7c

  Copy full SHA for e4d2c7c

• C++: Fix 'triple DES' false positives.

  geoffw0

  committed
  123889a

  Copy full SHA for 123889a

• C++: Rearrange the library.

  geoffw0

  committed
  40cf29b

  Copy full SHA for 40cf29b

Commits on May 12, 2021

• C++: Fix FPs caused by substring regexp.

  geoffw0

  committed
  b6d5f7c

  Copy full SHA for b6d5f7c

• Merge pull request #5877 from MathiasVP/detect-more-abs-in-overflow-library

  Show description for 8f152b7
  geoffw0

  authored
  8f152b7

  Copy full SHA for 8f152b7

• Merge pull request #5773 from hvitved/dataflow/aggressive-caching

  Show description for 74ae2e0
  aschackmull

  authored
  74ae2e0

  Copy full SHA for 74ae2e0

Commits on May 11, 2021

• Data flow: Rename `{Argument,Parameter}NodeExt` to `{Arg,Param}Node`

  hvitved

  committed
  d66506b

  Copy full SHA for d66506b

• C++: Fix false positive by recognizing more absolute value functions in Overflow.qll

  MathiasVP

  committed
  48e7831

  Copy full SHA for 48e7831

Commits on May 7, 2021

• Merge remote-tracking branch 'upstream/main' into side-effects

  

  Dave Bartolomeo

  committed
  773e5f2

  Copy full SHA for 773e5f2