Rust で預言を使ったプログラム検証器を自作しよう 1/3この記事は筆者がセキュリティ・キャンプ全国大会 2024 にて作成したプログラム検証器を元に作成しました。 記事は全部で3回まであります。 各回へはこちらからどうぞ。 各回のリンク 第1回: Rust で預言を使ったプログラム検証器を自作しよう 1/3 第2回: Rust で預言を使ったプログラム検証器を自作しよう 2/3 第3回: Rust で預言を使ったプログラム検証器を自作しよう 3/3 この記事の目的 この記事は、プログラム検証器自作に関する情報が少なすぎる現状を改善し、初学者がより楽に基本的な機能を持つ検証器を完成させ、より早く各々がサポートしたい機能の追加のフェーズに入れるようにすることを目的としています。 全3記事で作成します。今回は、検証器の説明とそれに用いる中間表現の生成、検証器の実行まで行います。 また、この記事は“このやり方で検証機を作成しよう”というものではなく、検
