Commits

Breadcrumbs

History for

onb4e4c12

User selector

All users

All time

Commit History

Commits on May 31, 2021

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

  MathiasVP

  committed
  b4e4c12

  Copy full SHA for b4e4c12

Commits on May 25, 2021

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

  MathiasVP

  committed
  b2bdf95

  Copy full SHA for b2bdf95

Commits on May 19, 2021

• Merge branch 'main' into weak_crypto

  geoffw0

  committed
  aaae717

  Copy full SHA for aaae717

• Merge pull request #5924 from MathiasVP/cleanup-modelFlow

  Show description for e66b555
  geoffw0

  authored
  e66b555

  Copy full SHA for e66b555

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

  MathiasVP

  committed
  4d00513

  Copy full SHA for 4d00513

• C++: Replace minimum(any(...)) with a min aggregate. Also removed the min aggregate further down since it's no longer needed.

  MathiasVP

  committed
  741eed9

  Copy full SHA for 741eed9

Commits on May 18, 2021

• C++: Add range analysis to fix FPs.

  MathiasVP

  committed
  26c4a66

  Copy full SHA for 26c4a66

• C++: In fact it's just not good enough to get additional evidence from the declaring type.

  geoffw0

  committed
  cdf261b

  Copy full SHA for cdf261b

• C++: Fix copy-paste error.

  geoffw0

  committed
  88dc086

  Copy full SHA for 88dc086

• C++: Repair for function call macros.

  geoffw0

  committed
  c7382ee

  Copy full SHA for c7382ee

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

  geoffw0

  committed
  3d8513c

  Copy full SHA for 3d8513c

• C++: Replace getAnExpandedElement with getAGeneratedElement as it's all we really need.

  geoffw0

  committed
  da83e91

  Copy full SHA for da83e91

Commits on May 17, 2021

• C++: Replace getAChild with getAnArgument().

  geoffw0

  committed
  3b29920

  Copy full SHA for 3b29920

• 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

• Merge pull request #5903 from MathiasVP/tainted-allocation-size-barrier

  Show description for d46452e
  MathiasVP

  authored
  d46452e

  Copy full SHA for d46452e

Commits on May 14, 2021

• Merge pull request #5887 from MathiasVP/fewer-rand-sources-in-uncontrolled-arithmetic

  Show description for d706d7b
  

  Robert Marsh

  authored
  d706d7b

  Copy full SHA for d706d7b

• C++: Prevent flow out of pointer-difference expressions.

  MathiasVP

  committed
  2d0a561

  Copy full SHA for 2d0a561

• C++: Add barrier to cpp/uncontrolled-allocation-size that blocks flow when overflow isn't possible.

  MathiasVP

  committed
  5031b73

  Copy full SHA for 5031b73

• Add lines-of-code tags

  Show description for f378513
  rneatherway

  committed
  f378513

  Copy full SHA for f378513

Commits on May 13, 2021

• C++: Bug fix.

  geoffw0

  committed
  9cdf838

  Copy full SHA for 9cdf838

• C++: Autoformat.

  geoffw0

  committed
  a9d5745

  Copy full SHA for a9d5745

• C++: Add support for class methods.

  geoffw0

  committed
  3a83ff5

  Copy full SHA for 3a83ff5

• C++: Repair result message.

  geoffw0

  committed
  2576075

  Copy full SHA for 2576075

• C++: Add support for enum constants.

  geoffw0

  committed
  5d1ef49

  Copy full SHA for 5d1ef49

• 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++: Exclude array initializers.

  geoffw0

  committed
  0450caa

  Copy full SHA for 0450caa

• C++: Exclude macro invocations in switch case expressions.

  geoffw0

  committed
  52a88af

  Copy full SHA for 52a88af

• C++: Exclude macros that don't generate anything.

  geoffw0

  committed
  9404d06

  Copy full SHA for 9404d06

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

  geoffw0

  committed
  b6d5f7c

  Copy full SHA for b6d5f7c

• C++: Add sanitizers to cpp/uncontrolled-arithmetic.

  MathiasVP

  committed
  e94dab7

  Copy full SHA for e94dab7

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

  Show description for 8f152b7
  geoffw0

  authored
  8f152b7

  Copy full SHA for 8f152b7