「記号実行」で利用される「SMTソルバ」 私は興味のある分野がいろいろあるのですが、プログラムの解析技術もその中の一つです。 プログラム解析技術の中には、「記号実行 (シンボリック実行)」というものがあります。 これは、「どのような入力を与えられた…