{"description":"\u7591\u4f3c\u4e71\u6570\u5217\u306f\u3001\u3044\u304f\u3064\u304b\u306e\u51fa\u529b\u3092\u89b3\u6e2c\u3059\u308b\u3053\u3068\u306b\u3088\u308a\u5185\u90e8\u72b6\u614b\u3092\u5fa9\u5143\u3059\u308b\u3053\u3068\u3067\u63a8\u6e2c\u304c\u53ef\u80fd\u3067\u3042\u308b\u3002 \u3053\u3053\u3067\u306f\u3001SMT\u30bd\u30eb\u30d0Z3Py\u3092\u4f7f\u3044\u3001glibc rand(3)\u306e\u51fa\u529b\u3092\u63a8\u6e2c\u3057\u3066\u307f\u308b\u3002 \u74b0\u5883 Ubuntu 14.04.3 LTS 64bit\u7248\u3001EGLIBC 2.19 $ uname -a Linux vm-ubuntu64 3.19.0-25-generic #26~14.04.1-Ubuntu SMP Fri Jul 24 21:16:20 UTC 2015 x86_64 x86_64 x86_64 GNU/Linux $ lsb_release -a No LSB modules are ava\u2026","categories":["Crypto"],"width":"100%","url":"https://inaz2.hatenablog.com/entry/2016/03/07/194000","title":" Z3Py\u3067glibc rand(3)\u306e\u51fa\u529b\u3092\u63a8\u6e2c\u3057\u3066\u307f\u308b","author_url":"https://blog.hatena.ne.jp/inaz2/","blog_title":"\u3082\u3082\u3044\u308d\u30c6\u30af\u30ce\u30ed\u30b8\u30fc","version":"1.0","provider_name":"Hatena Blog","blog_url":"https://inaz2.hatenablog.com/","type":"rich","image_url":null,"height":"190","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Finaz2.hatenablog.com%2Fentry%2F2016%2F03%2F07%2F194000\" title=\" Z3Py\u3067glibc rand(3)\u306e\u51fa\u529b\u3092\u63a8\u6e2c\u3057\u3066\u307f\u308b - \u3082\u3082\u3044\u308d\u30c6\u30af\u30ce\u30ed\u30b8\u30fc\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","published":"2016-03-07 19:40:00","author_name":"inaz2","provider_url":"https://hatena.blog"}