動的解析 プログラム解析入門、もしくはC/C++を安全に書くのが難しすぎる話 - Google スライド Fuzzing: monkey testのことだった Heartbleed: 2014にOpenSSLの脆弱性, ネット史上最悪らしい SAT solverのDPLL, 1962のアルゴリズムで今は CDCLとかが主流らしい 2023-03-23 memory sanitizer的な? Chromium MiraclePtr とか