infima

6 ms·

1. 1.▲
   by infima 3y ago

   This work comes from GitHub's Security Lab https://securitylab.github.com/
2. 2.▲
   by infima 3y ago

   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/m
3. 3.▲
   by infima 3y ago

   Another open-source project supporting, among others, previous iterations of MISRA C++ through CodeQL queries is https://github.com/github/codeql-coding-standards
4. 4.▲
   by infima 4y ago

   I asked for the TAOCP when I graduated.
5. 5.▲
   Security Code Reviewing with CodeQL(mechanicalsympathy.nl)

   1 points by infima 4y ago|0 comments
6. 6.▲
   CodeQL support for Autosar and Cert C++(github.com)

   1 points by infima 4y ago|0 comments