infima
Re:Gaining kernel code execution on an MTE-enabled Pixel 8
on Monday March 18, 2024 @11:03PM (#39752545)
This work comes from GitHub's Security Lab https://securitylab.github.com/
Re:Learn Datalog Today
on Sunday January 21, 2024 @03:45PM (#39082866)
While not trivial because it is not documented, you can create your a database with your own facts. Some of the extractors that create the required files are open source https://github.com/github/codeql/blob/main/ruby/extractor/sr...
Re:Misra C++:2023 Published
on Monday December 18, 2023 @01:07AM (#38679718)
Another open-source project supporting, among others, previous iterations of MISRA C++ through CodeQL queries is https://github.com/github/codeql-coding-standards
Re:Ask HN: Birthday present for a soon to graduate CS student?
on Friday December 30, 2022 @03:26PM (#34189648)
I asked for the TAOCP when I graduated.