simotin13's message

simotin13といいます。記事の内容でご質問やご意見がありましたらお気軽にコメントしてください\^o^/

docker

Web+DB vol.109 を読んだ

Ruby2.6の記事が気になって買ってみたのですが、面白い記事があったのでとりあえず自分のためにメモを残しておきたいと思います。 最近は雑誌を買っても一度も開かずに積本になることもあるのでとりあえずこういったメモをアウトプットするだけでも、後々振…

KLEE を試してみた。

シンボリック実行のツールとして公開されているKLEEを試してみました。 目次 目次 dockerのインストール dockerイメージの実行 チュートリアル 感想 dockerのインストール KLEEの環境を構築するのはdockerのイメージを使うのが一番手軽に試せるようです。 do…