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