Commits

Commit history

1. Commits on Dec 14, 2023

   • C++: Accept more test changes.

     MathiasVP

     committed
     61e30b9View commit details

     Copy full SHA for 61e30b9

     View code at this pointBrowse repository at this point
2. Commits on Dec 11, 2023

   • Merge pull request #14972 from geoffw0/cryptoprimitives

     Show description for 17cd22f
     geoffw0

     authored
     17cd22fView commit details

     Copy full SHA for 17cd22f

     View code at this pointBrowse repository at this point
3. Commits on Dec 8, 2023

   • C++: Accept more test changes.

     MathiasVP

     committed
     1c73d43View commit details

     Copy full SHA for 1c73d43

     View code at this pointBrowse repository at this point
4. Commits on Dec 5, 2023

   • C++: Make the encryption words a tiny bit more flexible.

     geoffw0

     committed
     521d98eView commit details

     Copy full SHA for 521d98e

     View code at this pointBrowse repository at this point

   • C++: Add even more test cases.

     geoffw0

     committed
     cde975dView commit details

     Copy full SHA for cde975d

     View code at this pointBrowse repository at this point

   • C++: Exclude results in some common libraries.

     geoffw0

     committed
     2f0be40View commit details

     Copy full SHA for 2f0be40

     View code at this pointBrowse repository at this point

   • C++: Add more test cases.

     geoffw0

     committed
     965d131View commit details

     Copy full SHA for 965d131

     View code at this pointBrowse repository at this point

   • C++: Make output clearer in cases where the function name is a macro expansion (I've seen this more than once).

     geoffw0

     committed
     c83cfe4View commit details

     Copy full SHA for c83cfe4

     View code at this pointBrowse repository at this point

   • C++: Add query tests.

     geoffw0

     committed
     3c6f318View commit details

     Copy full SHA for 3c6f318

     View code at this pointBrowse repository at this point
5. Commits on Oct 30, 2023

   • C++: Accept path changes.

     MathiasVP

     committed
     b4958e7View commit details

     Copy full SHA for b4958e7

     View code at this pointBrowse repository at this point
6. Commits on Oct 19, 2023

   • C++: Accept test changes after changes in IR generation

     jketema

     committed
     a972d09View commit details

     Copy full SHA for a972d09

     View code at this pointBrowse repository at this point

   • C++: Update expected test results after outputting less loads from the extractor

     jketema

     committed
     7e71d9eView commit details

     Copy full SHA for 7e71d9e

     View code at this pointBrowse repository at this point

   • C++: Update `cpp/constant-array-overflow` test results after frontend update

     jketema

     committed
     bec3e62View commit details

     Copy full SHA for bec3e62

     View code at this pointBrowse repository at this point

   • C++: Accept sign analysis test changes

     Show description for 5540871
     jketema

     committed
     5540871View commit details

     Copy full SHA for 5540871

     View code at this pointBrowse repository at this point
7. Commits on Oct 4, 2023

   • C++: Accept test changes.

     MathiasVP

     committed
     e38f659View commit details

     Copy full SHA for e38f659

     View code at this pointBrowse repository at this point
8. Commits on Sep 12, 2023

   • C++: Accept test changes.

     MathiasVP

     committed
     ff28f45View commit details

     Copy full SHA for ff28f45

     View code at this pointBrowse repository at this point
9. Commits on Sep 6, 2023

   • C++: Accept more test changes.

     MathiasVP

     committed
     4cbe823View commit details

     Copy full SHA for 4cbe823

     View code at this pointBrowse repository at this point
10. Commits on Aug 29, 2023

    • Merge branch 'main' into reuse-even-more-nodes

      MathiasVP

      committed
      e4a11b8View commit details

      Copy full SHA for e4a11b8

      View code at this pointBrowse repository at this point

    • Merge pull request #14006 from MathiasVP/promote-invalid-pointer-deref-out-of-experimental

      Show description for d14ad92
      MathiasVP

      authored
      d14ad92View commit details

      Copy full SHA for d14ad92

      View code at this pointBrowse repository at this point
11. Commits on Aug 26, 2023

    • Merge branch 'main' into reuse-even-more-nodes

      MathiasVP

      committed
      bb1712bView commit details

      Copy full SHA for bb1712b

      View code at this pointBrowse repository at this point
12. Commits on Aug 25, 2023

    • CPP: Update tests for argv change

      alexet

      committed
      9f8fbf8View commit details

      Copy full SHA for 9f8fbf8

      View code at this pointBrowse repository at this point
13. Commits on Aug 21, 2023

    • C++: Accept more test changes.

      MathiasVP

      committed
      ef9d342View commit details

      Copy full SHA for ef9d342

      View code at this pointBrowse repository at this point

    • C++: Promote 'cpp/invalid-pointer-deref' out of experimental.

      MathiasVP

      committed
      4daabdaView commit details

      Copy full SHA for 4daabda

      View code at this pointBrowse repository at this point
14. Commits on Aug 17, 2023

    • C++: Add false positive.

      MathiasVP

      committed
      5f5a87eView commit details

      Copy full SHA for 5f5a87e

      View code at this pointBrowse repository at this point
15. Commits on Aug 15, 2023

    • C++: Accept test changes.

      MathiasVP

      committed
      49a5a39View commit details

      Copy full SHA for 49a5a39

      View code at this pointBrowse repository at this point

    • C++: Accept test changes.

      MathiasVP

      committed
      e145b81View commit details

      Copy full SHA for e145b81

      View code at this pointBrowse repository at this point

    • C++: Add a FP caused by bad range analysis for subtraction.

      MathiasVP

      committed
      3fb0241View commit details

      Copy full SHA for 3fb0241

      View code at this pointBrowse repository at this point
16. Commits on Aug 11, 2023

    • C++: Add another testcase.

      MathiasVP

      committed
      2164069View commit details

      Copy full SHA for 2164069

      View code at this pointBrowse repository at this point

    • C++: Fix a bug where 'boundedImpl' could give back multiple deltas.

      MathiasVP

      committed
      3d5b198View commit details

      Copy full SHA for 3d5b198

      View code at this pointBrowse repository at this point

    • C++: Fix an inequality that should be strict, but wasn't.

      MathiasVP

      committed
      c0a54e9View commit details

      Copy full SHA for c0a54e9

      View code at this pointBrowse repository at this point
17. Commits on Aug 5, 2023

    • C++: Accept test changes.

      MathiasVP

      committed
      af07efeView commit details

      Copy full SHA for af07efe

      View code at this pointBrowse repository at this point

    • C++: Accept test changes.

      MathiasVP

      committed
      835b5e3View commit details

      Copy full SHA for 835b5e3

      View code at this pointBrowse repository at this point
18. Commits on Jul 29, 2023

    • C++: Accept test changes.

      MathiasVP

      committed
      fd19490View commit details

      Copy full SHA for fd19490

      View code at this pointBrowse repository at this point

    • Revert "Merge pull request #13792 from MathiasVP/swap-argument-order-in-invalid-ptr-deref"

      Show description for ce9a14b
      MathiasVP

      committed
      ce9a14bView commit details

      Copy full SHA for ce9a14b

      View code at this pointBrowse repository at this point
19. Commits on Jul 25, 2023

    • C++: Add FN testcase.

      MathiasVP

      committed
      cd4ec6cView commit details

      Copy full SHA for cd4ec6c

      View code at this pointBrowse repository at this point