Commit Graph

6 Commits

Author SHA1 Message Date
Giulio De Pasquale
016fa7ef2b FindEFIVariables stub, QIP 2023-02-18 11:25:22 -08:00
Giulio De Pasquale
830306ecb0 samples: Added sample int overflow query 2023-02-17 14:27:28 -08:00
Giulio De Pasquale
b37960c8b7 samples: Added qlpack 2023-02-17 14:27:03 -08:00
Giulio De Pasquale
20d1f0877e codeql: Added integer overflow example 2023-02-17 09:54:08 -08:00
Giulio De Pasquale
e9d9f2f8eb Moved flake to root 2023-02-17 09:12:11 -08:00
Giulio De Pasquale
64139f552b Added CodeQL flake 2023-02-17 08:43:27 -08:00