Commits

Breadcrumbs

History for

ond14ee93

User selector

All users

All time

Commit History

Commits on Apr 25, 2023

• C++: IR translation for non-runtime-initialized static local variables.

  MathiasVP

  committed
  d14ee93

  Copy full SHA for d14ee93

Commits on Apr 19, 2023

• C++: Add some use-after-free FPs.

  MathiasVP

  committed
  533e1d8

  Copy full SHA for 533e1d8

• C++: Update test expectations after extractor changes

  jketema

  committed
  1a876f7

  Copy full SHA for 1a876f7

Commits on Apr 18, 2023

• Merge pull request #12805 from hvitved/remove-queries-xml

  Show description for f6d000e
  hvitved

  authored
  f6d000e

  Copy full SHA for f6d000e

Commits on Apr 17, 2023

• Merge pull request #12599 from rdmarsh2/rdmarsh2/range-analysis-overflow

  Show description for bb8c3de
  MathiasVP

  authored
  bb8c3de

  Copy full SHA for bb8c3de

• C++: another 'fix test after module rename'.

  MathiasVP

  committed
  d833850

  Copy full SHA for d833850

• C++: autoformat

  

  Robert Marsh

  committed
  2b41aef

  Copy full SHA for 2b41aef

• C++: fix test after module rename

  

  Robert Marsh

  committed
  ea7996f

  Copy full SHA for ea7996f

• Merge pull request #12818 from MathiasVP/dataflow-for-missing-scanf-qery

  Show description for d975ceb
  MathiasVP

  authored
  d975ceb

  Copy full SHA for d975ceb

• Merge pull request #12569 from andersfugmann/andersfugmann/use_after_free

  Show description for 7eee589
  MathiasVP

  authored
  7eee589

  Copy full SHA for 7eee589

Commits on Apr 13, 2023

• C++: Accept test changes.

  MathiasVP

  committed
  c230de8

  Copy full SHA for c230de8

• C++: Use the new dataflow library in the 'missing scanf' query.

  MathiasVP

  committed
  0db05fe

  Copy full SHA for 0db05fe

• C++: Fix annotations.

  MathiasVP

  committed
  b2d4a82

  Copy full SHA for b2d4a82

• C++: Fix annotations.

  MathiasVP

  committed
  1ac5db3

  Copy full SHA for 1ac5db3

• C++: Fix annotations.

  MathiasVP

  committed
  31b71ea

  Copy full SHA for 31b71ea

• C++: Fix FP and accept test changes.

  MathiasVP

  committed
  40dde93

  Copy full SHA for 40dde93

• C++: Fix missing result and accept test changes.

  MathiasVP

  committed
  23a7cd9

  Copy full SHA for 23a7cd9

• C++: Fix test annotations.

  MathiasVP

  committed
  416f8d5

  Copy full SHA for 416f8d5

• C++: Ensure that the 'use-after-free' query is run on 'test_free.cpp'.

  MathiasVP

  committed
  c76dbeb

  Copy full SHA for c76dbeb

• Remove all `queries.xml` files

  hvitved

  committed
  3cc9dec

  Copy full SHA for 3cc9dec

Commits on Apr 11, 2023

• C++: remove commented-out code

  Show description for 18c3feb
  

  rdmarsh2

  and

  MathiasVP

  authored
  18c3feb

  Copy full SHA for 18c3feb

• C++: Accept test changes for the new use-after-query.

  MathiasVP

  committed
  3c88590

  Copy full SHA for 3c88590

• C++: Add double-free tests.

  MathiasVP

  committed
  a8151b4

  Copy full SHA for a8151b4

Commits on Apr 6, 2023

• C++: Fix missing result and accept test changes.

  MathiasVP

  committed
  8fef101

  Copy full SHA for 8fef101

• C++: Add failing test for 'cpp/tainted-arithmetic'.

  MathiasVP

  committed
  8014bdc

  Copy full SHA for 8014bdc

Commits on Apr 5, 2023

• Merge branch 'main' into rdmarsh2/range-analysis-overflow

  

  Robert Marsh

  committed
  915c969

  Copy full SHA for 915c969

Commits on Apr 4, 2023

• C++: Accept test changes in PrintAST.

  MathiasVP

  committed
  f257e85

  Copy full SHA for f257e85

• C++: Deprecate single-parameter 'getFieldExpr' and 'getElementExpr'.

  MathiasVP

  committed
  f2197e6

  Copy full SHA for f2197e6

• Merge pull request #12755 from MathiasVP/aggregate-initialization-ir

  Show description for f28cf25
  MathiasVP

  authored
  f28cf25

  Copy full SHA for f28cf25

• C++: More fixes to overflow detection

  

  Robert Marsh

  committed
  e4ae957

  Copy full SHA for e4ae957

• C++: Add evil testcase.

  MathiasVP

  committed
  4033ed3

  Copy full SHA for 4033ed3

• C++: Add more tests.

  MathiasVP

  committed
  3daefa8

  Copy full SHA for 3daefa8

• C++: Accept test changes.

  MathiasVP

  committed
  ea180c0

  Copy full SHA for ea180c0

• C++: Add tests for designated initializers with repetitions.

  MathiasVP

  committed
  a0df7d2

  Copy full SHA for a0df7d2

Commits on Apr 3, 2023

• C++: Update import paths in tests and experimental queries.

  MathiasVP

  committed
  aa337c7

  Copy full SHA for aa337c7