New CodeQL queries for ML libraries - #2

Open

fegge wants to merge 19 commits into

mainfrom

fegge/ml-queries

Commits on May 13, 2024

Updated query pack metadata
fegge
committed
b505447
Added initial support for GGML
fegge
committed
454f15c
Optimized `LocalMemoryLeak` query
fegge
committed
ae3f1bf
Small optimization of `LocalUseAfterFree` query
fegge
committed
02a1e3a
Fixed formatting of `ReturnValue.qll`
fegge
committed
19acb21
Updated `ContextAllocator` with new `CustomAllocator` API
fegge
committed
1879bad
Fixed test case
fegge
committed
ac31b8a

Commits on May 17, 2024

Updated query metadata
fegge
committed
4e3da35
Added a number of new custom allocators
fegge
committed
22cd4a5
Added escape analysis
fegge
committed
6227e15
Added escape analysis to `LocalMemoryLeak`
fegge
committed
d9e4ee4
Updated query metadata
fegge
committed
493b1f2
Added support for custom error messages for `MustUse` and `MustCheck`
fegge
committed
c60fae4

Commits on May 27, 2024

Moved memory modelling libraries to trailofbits/common
fegge
committed
b6d0e93
Added auto-generated QL libraries for GGML header files
fegge
committed
e0ab14b

Commits on Jun 27, 2024