code-reviews
code-reviews
Topic | Replies | Views | Activity | |
---|---|---|---|---|
CodeQL - experiential notes for code audits, bug-hunts and CI/CD |
![]() |
0 | 1403 | November 29, 2019 |
Program Analysis with Satisfiability Modulo Theories (SMT) Solvers for Bug Hunters - Part 1 |
![]() |
0 | 1644 | November 8, 2017 |