Commits

Commit history

1. Commits on May 20, 2024

   • C++: Autoformat.

     MathiasVP

     committed
     2f7766aView commit details

     Copy full SHA for 2f7766a

     View code at this pointBrowse repository at this point
2. Commits on May 19, 2024

   • Static variables are initialized to zero or null by compiler

     Show description for 1d8d45b
     codeqlhelper

     authored
     1d8d45bView commit details

     Copy full SHA for 1d8d45b

     View code at this pointBrowse repository at this point
3. Commits on May 8, 2024

   • Update cpp/ql/src/Critical/DoubleFree.qhelp

     Show description for 53d4a10
     

     geoffw0

     and

     subatoi

     authored
     53d4a10View commit details

     Copy full SHA for 53d4a10

     View code at this pointBrowse repository at this point

   • C++: Use nullptr.

     geoffw0

     committed
     088f829View commit details

     Copy full SHA for 088f829

     View code at this pointBrowse repository at this point

   • C++: Fix qhelp format.

     geoffw0

     committed
     3fd6bc9View commit details

     Copy full SHA for 3fd6bc9

     View code at this pointBrowse repository at this point

   • C++: Add a second example.

     geoffw0

     committed
     4862268View commit details

     Copy full SHA for 4862268

     View code at this pointBrowse repository at this point
4. Commits on May 7, 2024

   • C++: Clarify the recommendation and example.

     geoffw0

     committed
     575b66aView commit details

     Copy full SHA for 575b66a

     View code at this pointBrowse repository at this point

   • C++: Move qhelp.

     geoffw0

     committed
     dd95a2aView commit details

     Copy full SHA for dd95a2a

     View code at this pointBrowse repository at this point
5. Commits on Apr 16, 2024

   • C++: Use interpolation to avoid a bad join order.

     MathiasVP

     committed
     c3cf425View commit details

     Copy full SHA for c3cf425

     View code at this pointBrowse repository at this point

   • C++: Add tests (and fix a missing quote in the alert message).

     MathiasVP

     committed
     e1884c1View commit details

     Copy full SHA for e1884c1

     View code at this pointBrowse repository at this point

   • C++: Small performance optimization.

     MathiasVP

     committed
     439afd9View commit details

     Copy full SHA for 439afd9

     View code at this pointBrowse repository at this point

   • C++: Address (my own) review comments.

     MathiasVP

     committed
     132bb9fView commit details

     Copy full SHA for 132bb9f

     View code at this pointBrowse repository at this point
6. Commits on Apr 9, 2024

   • C++: Autoformat.

     MathiasVP

     committed
     8a92a42View commit details

     Copy full SHA for 8a92a42

     View code at this pointBrowse repository at this point
7. Commits on Apr 8, 2024

   • Reduce false alarms of `InconsistentNullnessTesting.ql`

     Show description for af2a7ea
     codeqlhelper

     authored
     af2a7eaView commit details

     Copy full SHA for af2a7ea

     View code at this pointBrowse repository at this point

   • Reduce the false alarms of `GlobalUseBeforeInit.ql`

     codeqlhelper

     authored
     fb15a4eView commit details

     Copy full SHA for fb15a4e

     View code at this pointBrowse repository at this point
8. Commits on Apr 2, 2024

   • C++: Fix join order in 'cpp/double-free'.

     MathiasVP

     committed
     bd0ddecView commit details

     Copy full SHA for bd0ddec

     View code at this pointBrowse repository at this point
9. Commits on Mar 21, 2024

   • Merge pull request #15997 from MathiasVP/simplify-guard-in-missing-check-scanf

     Show description for 7fb6426
     MathiasVP

     authored
     7fb6426View commit details

     Copy full SHA for 7fb6426

     View code at this pointBrowse repository at this point
10. Commits on Mar 20, 2024

    • C++: Simplify 'checkedForEof'.

      MathiasVP

      committed
      f31bb13View commit details

      Copy full SHA for f31bb13

      View code at this pointBrowse repository at this point

    • C++: Simplify use of 'GuardCondition's in 'cpp/missing-check-scanf'.

      MathiasVP

      committed
      5476f42View commit details

      Copy full SHA for 5476f42

      View code at this pointBrowse repository at this point

    • C++: Convert 'cpp/missing-check-scanf' to a path-problem query.

      MathiasVP

      committed
      14aff5cView commit details

      Copy full SHA for 14aff5c

      View code at this pointBrowse repository at this point

    • C++: Rewrite 'cpp/missing-check-scanf' to use standard dataflow configurations.

      MathiasVP

      committed
      c9dbb7cView commit details

      Copy full SHA for c9dbb7c

      View code at this pointBrowse repository at this point
11. Commits on Mar 18, 2024

    • C++: Use the new predicate in 'ScanfChecks.qll'.

      MathiasVP

      committed
      decede5View commit details

      Copy full SHA for decede5

      View code at this pointBrowse repository at this point
12. Commits on Jan 29, 2024

    • C++: Fix FP by concluding that a less-than-zero check also implies a not-equal-to-EOF check.

      MathiasVP

      committed
      ebd1595View commit details

      Copy full SHA for ebd1595

      View code at this pointBrowse repository at this point

    • C++: Explicitly check that a check for EOF isn't present.

      MathiasVP

      committed
      41f44f5View commit details

      Copy full SHA for 41f44f5

      View code at this pointBrowse repository at this point
13. Commits on Jan 22, 2024

    • Moving FlowAfterFree and UseAfterFree.qll as a general purpose lib.

      bdrodes

      committed
      da10e6cView commit details

      Copy full SHA for da10e6c

      View code at this pointBrowse repository at this point
14. Commits on Jan 18, 2024

    • Further reorg of libraries and predicates to allow for more reusable and consistent libraries.

      bdrodes

      committed
      833ef9dView commit details

      Copy full SHA for 833ef9d

      View code at this pointBrowse repository at this point

    • Separating out use after free logic into a library and a ql so the query can be expanded easily.

      bdrodes

      committed
      967526bView commit details

      Copy full SHA for 967526b

      View code at this pointBrowse repository at this point
15. Commits on Jan 17, 2024

    • C++: Suggestions to #15343 (#39)

      Show description for 39dafd6
      MathiasVP

      authored
      39dafd6View commit details

      Copy full SHA for 39dafd6

      View code at this pointBrowse repository at this point
16. Commits on Jan 16, 2024

    • Updating FlowAfterFree to not enforce dominance of source/sink. DoubleFree and UseAfterFree queries now enforce dominance.

      bdrodes

      committed
      a0ef795View commit details

      Copy full SHA for a0ef795

      View code at this pointBrowse repository at this point
17. Commits on Dec 18, 2023

    • C++: Fix joins in 'cpp/use-after-free'.

      MathiasVP

      committed
      aafde4dView commit details

      Copy full SHA for aafde4d

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

    • C++: Add barrier for array lookups in 'cpp/double-free' and 'cpp/use-after-free'.

      MathiasVP

      committed
      0543ed1View commit details

      Copy full SHA for 0543ed1

      View code at this pointBrowse repository at this point
19. Commits on Dec 12, 2023

    • Merge pull request #15047 from MathiasVP/add-puns-for-addresses-of-arguments

      Show description for 3dea467
      MathiasVP

      authored
      3dea467View commit details

      Copy full SHA for 3dea467

      View code at this pointBrowse repository at this point

    • C++: Fix QLDoc.

      MathiasVP

      committed
      97f2be9View commit details

      Copy full SHA for 97f2be9

      View code at this pointBrowse repository at this point

    • C++: Respond to review comments.

      MathiasVP

      committed
      cec785cView commit details

      Copy full SHA for cec785c

      View code at this pointBrowse repository at this point

    • C++: Update QLDoc.

      MathiasVP

      committed
      f284fdeView commit details

      Copy full SHA for f284fde

      View code at this pointBrowse repository at this point