@kees ah, awesome! yeah i've been playing around with CodeQL on and off for a while in my workflow, but i feel like it's been rather surface level use cases compared to what could be possible with it!

one of those things that i want to find more time to dig into as there's not a tonne of in-depth public research on kernel use cases