Commits

Commit history

1. Commits on Sep 10, 2025

   • C++: Small drive by cleanup. Delete unnecessary nested 'exists'.

     MathiasVP

     committed
     72d7223View commit details

     Copy full SHA for 72d7223

     View code at this pointBrowse repository at this point

   • C++: No need for this additional case.

     MathiasVP

     committed
     d097946View commit details

     Copy full SHA for d097946

     View code at this pointBrowse repository at this point
2. Commits on Jan 15, 2025

   • C++: Ensure that the instruction being compared is the result of the 'CallInstruction'.

     MathiasVP

     committed
     01cbd2fView commit details

     Copy full SHA for 01cbd2f

     View code at this pointBrowse repository at this point
3. Commits on Jul 23, 2024

   • C++: Fix FPs in cpp/incorrectly-checked-scanf.

     geoffw0

     committed
     6026f65View commit details

     Copy full SHA for 6026f65

     View code at this pointBrowse repository at this point
4. 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
5. 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
6. 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
7. Commits on Dec 8, 2023

   • CPP: Use guard libraries to find equalities with zero.

     alexet

     committed
     da5c2d9View commit details

     Copy full SHA for da5c2d9

     View code at this pointBrowse repository at this point
8. Commits on Nov 28, 2023

   • CPP: Fix sscanf false positives in older linux repos

     alexet

     committed
     3e9aeacView commit details

     Copy full SHA for 3e9aeac

     View code at this pointBrowse repository at this point
9. Commits on Nov 24, 2023

   • CPP: Exclude incorrect scanf checks from missing scanf checks

     alexet

     committed
     12e24a2View commit details

     Copy full SHA for 12e24a2

     View code at this pointBrowse repository at this point
10. Loading