Z3Pyã§glibc rand(3)ã®å‡ºåŠ›ã‚’推測ã—ã¦ã¿ã‚‹ - ã‚‚ã‚‚ã„ã‚テクノãƒã‚¸ãƒ¼ç–‘似乱数列ã¯ã€ã„ãã¤ã‹ã®å‡ºåŠ›ã‚’観測ã™ã‚‹ã“ã¨ã«ã‚ˆã‚Šå†…部状態を復元ã™ã‚‹ã“ã¨ã§æŽ¨æ¸¬ãŒå¯èƒ½ã§ã‚る。 ã“ã“ã§ã¯ã€SMTソルãƒZ3Pyを使ã„ã€glibc rand(3)ã®å‡ºåŠ›ã‚’推測ã—ã¦ã¿ã‚‹ã€‚ 環境 Ubuntu 14.04.3 LTS 64bit版ã€EGLIBC 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 available. Distributor ID: Ubuntu Description: Ubuntu 14.04.3 LTS Release: 14.04 Codename: trusty $ gcc
{{#tags}}- {{label}}
{{/tags}}