{"id":567,"date":"2024-01-05T14:48:46","date_gmt":"2024-01-05T06:48:46","guid":{"rendered":"https:\/\/www.yizishun.com\/?p=567"},"modified":"2024-01-06T20:05:39","modified_gmt":"2024-01-06T12:05:39","slug":"z3-%ef%bc%88%e7%ba%a6%e6%9d%9f%e6%b1%82%e8%a7%a3%ef%bc%89","status":"publish","type":"post","link":"https:\/\/www.yizishun.com\/?p=567","title":{"rendered":"\u5de5\u5177 Z3 \uff08\u7ea6\u675f\u6c42\u89e3\uff09"},"content":{"rendered":"\n

(\u542c\u8bf4CTF\u548cEDA\u8bbe\u8ba1\u90fd\u9700\u8981\u8fd9\u4e2a\u54ce\uff0c\u6253\u7b97\u82b1\u70b9\u65f6\u95f4\u5b66\u4e00\u4e0b)<\/p>\n\n\n\n

\u6574\u4e0d\u660e\u767d….\u4e4b\u540e\u518d\u5b66<\/p>\n\n\n\n

\u867d\u7136\u6574\u4e0d\u592a\u660e\u767d\uff0c\u4e0d\u8fc7\u81f3\u5c11\u4ece\u9006\u5411\u5de5\u7a0b\u8fd9\u4e00\u65b9\u9762\uff0c\u6211\u8fd8\u662f\u60f3\u5206\u4eab\u4e00\u4e0b\u6211\u5728\u51e0\u4e2a\u5c0f\u65f6\u5185\u7684\u5b66\u4e60\u5fc3\u5f97\u5427\u3002<\/p>\n\n\n\n

\uff08\u7406\u89e3\u5f97\u5f88\u6d45\u4e5f\u53ef\u80fd\u6709\u9519\u8bef\uff09<\/p>\n\n\n\n

\u6211\u6700\u8fd1\u624d\u505a\u9006\u5411\u7684\u9898\u76ee\uff0c\u9006\u5411\u5927\u6982\u5c31\u662f\u8ba9\u4f60\u901a\u8fc7ida\u5de5\u5177\u5206\u6790\u51fa\u6765\u7684\u4f2a\u4ee3\u7801\u548c\u6c47\u7f16\u4ee3\u7801\u6765\u7406\u89e3\u6bcf\u4e00\u4e2a\u51fd\u6570\u5728\u505a\u4ec0\u4e48\uff0c\u5f53\u7136\uff0c\u65e2\u7136\u662f\u9898\u76ee\uff0c\u90a3\u80af\u5b9a\u6709\u7b54\u6848\uff0c\u4e3a\u4e86\u8003\u5bdf\u4f60\u662f\u5426\u7406\u89e3\u4e86\u8fd9\u4e2a\u7a0b\u5e8f\u6d41\uff0c\u9898\u76ee\u4e00\u822c\u4f1a\u5bf9\u4e00\u4e9b\u6570\u636e\u8fdb\u884c\u4e00\u4e9b\u590d\u6742\u5904\u7406\uff08\u4e00\u822c\u662f\u5bf9\u4f60\u7684\u8f93\u5165\u8fdb\u884c\u5904\u7406\uff09\uff0c\u6700\u540e\u5c06\u5176\u4e0e\u7ed9\u5b9a\u7684\u503cstrcmp\uff0c\u4e00\u822c\u4f60\u7684\u8f93\u5165\u53ef\u80fd\u5c31\u662fflag\u3002<\/p>\n\n\n\n

\u6700\u8fd1\u53c8\u6b63\u597d\u770b\u5230\u4e86jyy\u7684\u65b0\u89c6\u9891jyy<\/a>\uff08\u79d1\u666e\u5411\uff09\uff0c\u6b63\u597d\u53c8\u8bb2\u5230\u7b26\u53f7\u6267\u884c\u4ee5\u53ca\u7ea6\u675f\u6c42\u89e3\uff08\u592a\u5de7\u5566\uff09\uff0c\u8fd9\u4e9b\u6b63\u597d\u53c8\u53ef\u4ee5\u5229\u7528\u5230\u9006\u5411\u5de5\u7a0b\u4e2d\u3002<\/p>\n\n\n\n

\u539f\u7406\u5927\u6982\u662f\u53ef\u4ee5\u628a\u6211\u7684\u8f93\u5165\u53d8\u6210\u4e00\u4e2a\u7b26\u53f7\uff0c\u4e0d\u662f\u4e00\u4e2a\u5177\u4f53\u7684\u503c\uff0c\u8ba9\u8fd9\u4e2a\u7b26\u53f7\u53bb\u8d70\u5404\u79cd\u8def\u5f84\uff0c\u5e76\u4e14\u8981\u8ba9\u5176\u8d70\u5230\u6211\u9700\u8981\u7684\u8def\u5f84(\u4e5f\u5c31\u662f\u6700\u7ec8strcmp\u6210\u529f\u7684\u8def\u5f84)\uff0c\u8fd9\u6837\u4f1a\u5f97\u5230\u5173\u4e8e\u8fd9\u4e2a\u7b26\u53f7\u7684\u4e00\u7cfb\u5217\u7684\u7ea6\u675f\u6761\u4ef6\uff0c\u518d\u4f7f\u7528z3-solver\u6c42\u89e3\u8fd9\u4e2a\u89e3\uff0c\u5c31\u5f97\u5230\u4e86flag\uff0c\u5177\u4f53\u4f7f\u7528\u53ef\u770bctfwiki<\/a>\u3002<\/p>\n\n\n\n

\u4f46\u662f\uff0c\u6211\u597d\u50cf\u53c8\u770b\u5230\u4e86\u4e00\u4e2a\u65b0\u5de5\u5177\uff0c\u53eb\u505aangr\uff0c\u8fd9\u4e2a\u5de5\u5177\u597d\u50cf\u53ef\u4ee5\u81ea\u52a8\u5316\u4e0a\u8ff0\u6b65\u9aa4\uff0c\u4f46\u662f\u5177\u4f53\u662f\u5565\u6837\u8bf7\u53c2\u8003\u6211\u5373\u5c06\u53d1\u51fa\u7684\u4e0b\u4e00\u7bc7\u6587\u7ae0\uff1aangr<\/a>\u3002<\/p>\n\n\n\n

\u6700\u540e\uff0c\u6211\u89c9\u5f97\u505a\u4e00\u4ef6\u4e8b\u5de5\u5177\u5f88\u91cd\u8981\uff0c\u6b63\u5982jyy\u8bf4\u7684\uff0c\u201c\u53ea\u8981\u6709\u9700\u6c42\uff0c\u5c31\u6709\u4eba\u53bb\u5b9e\u73b0\u5b83\u201d\uff0c\u6240\u4ee5\u8981\u4e3a\u81ea\u5df1\u7684\u6bcf\u4e00\u9879\u5de5\u4f5c\u627e\u5230\u5408\u9002\u7684\u5de5\u5177\u3002<\/p>\n\n\n\n

ps\uff1a\u7b2c\u4e00\u6b21\u542c\u5230\u7b26\u53f7\u6267\u884c\u65f6\u5b9e\u5728\u662f\u6709\u4e9b\u9707\u60ca\uff0c\u8ba1\u7b97\u673a\u4e0e\u6570\u5b66\u7adf\u7136\u80fd\u5982\u6b64\u6df1\u5ea6\u7684\u7ed3\u5408\uff0c\u611f\u89c9\u5f88\u795e\u5947\uff0c\u7279\u522b\u662f\u6211\u4e4b\u540e\u770b\u5230\u7528\u89e3\u65b9\u7a0b\u4e00\u822c\u7684\u65b9\u5f0f\u5206\u6790\u7a0b\u5e8f\uff0camazing\uff01<\/p>\n\n\n\n

\u518dps\uff1ajyy\u592a\u5389\u5bb3\u5566\uff0c\u4e0d\u4ec5\u4ec5\u662f\u4e13\u4e1a\u5b9e\u529b\uff0c\u8fd8\u6709\u5949\u732e\u7cbe\u795e\u4ee5\u53ca\u7279\u522b\u5389\u5bb3\u7684\u6559\u80b2\u65b9\u5f0f\u548c\u7406\u5ff5\uff0c\u8ba9\u6211\u8fd9\u6837\u4e00\u4e2a\u83dc\u9e1f\u90fd\u80fd\u53d7\u76ca\u826f\u591a\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"

(\u542c\u8bf4CTF\u548cEDA\u8bbe\u8ba1\u90fd\u9700\u8981\u8fd9\u4e2a\u54ce\uff0c\u6253\u7b97\u82b1\u70b9\u65f6\u95f4\u5b66\u4e00\u4e0b) …<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[34],"tags":[36],"class_list":["post-567","post","type-post","status-publish","format-standard","hentry","category-re","tag-re"],"_links":{"self":[{"href":"https:\/\/www.yizishun.com\/index.php?rest_route=\/wp\/v2\/posts\/567","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.yizishun.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.yizishun.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.yizishun.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.yizishun.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=567"}],"version-history":[{"count":13,"href":"https:\/\/www.yizishun.com\/index.php?rest_route=\/wp\/v2\/posts\/567\/revisions"}],"predecessor-version":[{"id":596,"href":"https:\/\/www.yizishun.com\/index.php?rest_route=\/wp\/v2\/posts\/567\/revisions\/596"}],"wp:attachment":[{"href":"https:\/\/www.yizishun.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=567"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.yizishun.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=567"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.yizishun.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=567"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}