{"id":47513,"date":"2026-10-11T01:45:47","date_gmt":"2026-10-10T16:45:47","guid":{"rendered":"https:\/\/jore2.com\/?p=47513"},"modified":"2026-10-11T02:12:52","modified_gmt":"2026-10-10T17:12:52","slug":"tips-21519-compiling-rust-to-readable-c-with-eurydice","status":"publish","type":"post","link":"https:\/\/jore2.com\/?p=47513","title":{"rendered":"Eurydice \ud504\ub85c\uc81d\ud2b8, Rust \ucf54\ub4dc\ub97c \uac00\ub3c5\uc131 \ub192\uc740 C \uc5b8\uc5b4\ub85c \ubcc0\ud658"},"content":{"rendered":"<div class=\"jore2-editor-byline\">\n<p><strong>\uc774\uac00\uc740<\/strong><\/p>\n<\/div>\n<p>Rust \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uc758 \uc18c\uc2a4 \ucf54\ub4dc\ub97c \uc0ac\ub78c\uc774 \uc774\ud574\ud558\uae30 \uc26c\uc6b4 C \uc5b8\uc5b4 \ucf54\ub4dc\ub85c \ubcc0\ud658\ud558\ub294 \ub3c4\uad6c\uc778 Eurydice\uac00 \uc8fc\ubaa9\ubc1b\uace0 \uc788\ub2e4. \uc774 \ud504\ub85c\uc81d\ud2b8\ub294 Jonathan Protzenko\uc640 AeneasVerif \ud300\uc774 \uac1c\ubc1c\ud588\uc73c\uba70, \uae30\uc874 \ucef4\ud30c\uc77c\ub7ec\uac00 \uc0dd\uc131\ud558\ub294 \uc800\uc218\uc900 \uc911\uac04 \ud45c\ud604\uc744 \ub118\uc5b4 \uace0\uc218\uc900\uc758 C \uad6c\uc870\ub97c \ubcf5\uc6d0\ud558\ub294 \ub370 \ucd08\uc810\uc744 \ub9de\ucd98\ub2e4.<\/p>\n<p>\uae30\uc220\uc801 \ubc30\uacbd\uc744 \uc0b4\ud3b4\ubcf4\uba74, \uacfc\uac70\uc5d0\ub294 rustc \ucef4\ud30c\uc77c\ub7ec\uc640 LLVM \ubc31\uc5d4\ub4dc\uac00 Rust \ucf54\ub4dc \uc0dd\uc131\uc758 \uc720\uc77c\ud55c \uacbd\ub85c\uc600\ub2e4. \ud558\uc9c0\ub9cc Eurydice\ub294 \uc774\ub7ec\ud55c \uc804\ud1b5\uc801\uc778 \uc811\uadfc \ubc29\uc2dd\uc5d0\uc11c \ubc97\uc5b4\ub098, Rust\uc758 \ud0c0\uc785 \uc2dc\uc2a4\ud15c\uacfc \uc18c\uc720\uad8c \uaddc\uce59\uc744 \uc720\uc9c0\ud558\uba74\uc11c C \uc5b8\uc5b4\uc758 \ubb38\ubc95\uc801 \ud2b9\uc131\uc744 \uc0b4\ub824\ub0b4\ub294 \uc0c8\ub85c\uc6b4 \uacbd\ub85c\ub97c \uc81c\uc2dc\ud55c\ub2e4. \uc774\ub294 \ud2b9\ud788 \ub808\uac70\uc2dc C \ucf54\ub4dc\ubca0\uc774\uc2a4\uc640\uc758 \uc0c1\ud638\uc791\uc6a9\uc774\ub098 \ud2b9\uc815 \uc784\ubca0\ub514\ub4dc \ud658\uacbd\uc5d0\uc11c\uc758 \ubc30\ud3ec \uac00\ub2a5\uc131\uc744 \ub192\uc774\ub294 \ub370 \uae30\uc5ec\ud560 \uc218 \uc788\ub2e4.<\/p>\n<p>\ud604\uc7ac \uac00\uc7a5 \ud65c\ubc1c\ud558\uac8c \ub17c\uc758\ub418\ub294 \ubd80\ubd84\uc740 Microsoft\uc640 Google\uc758 \uc554\ud638\ud654 \ub77c\uc774\ube0c\ub7ec\ub9ac \ud1b5\ud569\uc774\ub2e4. \ub450 \ud68c\uc0ac\uc758 \uc8fc\uc694 \ubcf4\uc548 \ubaa8\ub4c8\uc744 Eurydice\ub85c \ubcc0\ud658\ud558\uc5ec C \ucf54\ub4dc\ub85c \uc7ac\uad6c\uc131\ud558\ub294 \uc791\uc5c5\uc774 \uc9c4\ud589 \uc911\uc774\ub2e4. \uc774\ub294 \ub2e8\uc21c\ud55c \uae30\uc220\uc801 \uc2e4\ud5d8\uc744 \ub118\uc5b4, \uc2e4\uc81c \uc0b0\uc5c5 \ud45c\uc900\uc73c\ub85c \uc790\ub9ac \uc7a1\uc740 \ubcf5\uc7a1\ud55c Rust \uae30\ubc18 \ubcf4\uc548 \ub85c\uc9c1\uc744 C \uc0dd\ud0dc\uacc4\ub85c \uc774\uc2dd\ud558\ub824\ub294 \uc2dc\ub3c4\ub85c \ud574\uc11d\ub41c\ub2e4.<\/p>\n<p>\ucee4\ubba4\ub2c8\ud2f0 \ubc18\uc751\uc5d0\uc11c\ub294 \uac00\ub3c5\uc131\uc5d0 \ub300\ud55c \uad6c\uccb4\uc801\uc778 \ud53c\ub4dc\ubc31\uc774 \uc774\uc5b4\uc9c0\uace0 \uc788\ub2e4. \uc77c\ubd80 \uac1c\ubc1c\uc790\ub4e4\uc740 \ubcc0\ud658\ub41c C \ucf54\ub4dc\uc5d0\uc11c &#8216;return uu0;&#8217; \uac19\uc740 \uc790\ub3d9 \uc0dd\uc131 \ubcc0\uc218 \uc774\ub984\uc744 \uc9c0\uc801\ud558\uba70, \uc774\ub97c &#8216;return_value&#8217; \ub4f1\uc73c\ub85c \uce58\ud658\ud558\ub294 \ud734\ub9ac\uc2a4\ud2f1 \ucd94\uac00\ub97c \uc81c\uc548\ud588\ub2e4. \uc644\uc804\ud55c \ubd80\ud2b8\uc2a4\ud2b8\ub7a9\uc744 \uc704\ud574\uc11c\ub294 \uc774\ub984 \uc9d3\uae30 \ub2e8\uacc4\uae4c\uc9c0\uc758 \uc815\uad50\ud568\uc774 \ud544\uc694\ud558\ub2e4\ub294 \uc758\uacac\uc774\ub2e4.<\/p>\n<p>\ub610 \ub2e4\ub978 \uad00\uc2ec\uc0ac\ub294 \ub7f0\ud0c0\uc784 \uc548\uc804\uc131\uc758 \ubcf4\uc874 \uc5ec\ubd80\ub2e4. Rust\uc758 \uac15\uc810\uc778 \ubc30\uc5f4 \ubc94\uc704 \uac80\uc0ac \uac19\uc740 \uae30\ub2a5\ub4e4\uc774 C\ub85c \ubcc0\ud658\ub420 \ub54c \uc5b4\ub5bb\uac8c \uad6c\ud604\ub418\ub294\uc9c0\uc5d0 \ub300\ud55c \uc9c8\ubb38\uc774 \uc81c\uae30\ub418\uc5c8\ub2e4. IR \ub2e8\uacc4\uc5d0\uc11c \uc774\ubbf8 \ucc98\ub9ac\ub41c \ub0b4\uc6a9\uc774\ub77c \ud574\ub3c4, \ucd5c\uc885 C \ucf54\ub4dc \uc218\uc900\uc5d0\uc11c \uba85\ud655\ud55c \ubc14\uc6b4\uc988 \uccb4\ud06c\uc789 \ub85c\uc9c1\uc774 \ud3ec\ud568\ub418\uae30\ub97c \uae30\ub300\ud558\ub294 \ubaa9\uc18c\ub9ac\uac00 \ub098\uc628\ub2e4.<\/p>\n<p>Eurydice\ub294 Scylla, Charon, Aeneas \ub4f1 AeneasVerif\uc758 \ub2e4\ub978 \uac80\uc99d \ub3c4\uad6c\ub4e4\uacfc \uc5f0\uacc4\ub418\uc5b4 \uc0ac\uc6a9\ub41c\ub2e4. \uc774 \uc911 Scylla\ub294 Eurydice\uc758 \uc30d\ub465\uc774 \ud504\ub85c\uc81d\ud2b8\ub85c \ud3c9\uac00\ubc1b\uc73c\uba70, \ud615\uc2dd\uc801 \uac80\uc99d\uacfc \ucf54\ub4dc \uc0dd\uc131 \uc0ac\uc774\uc758 \uac04\uadf9\uc744 \uc881\ud788\ub294 \uc5ed\ud560\uc744 \ud55c\ub2e4. \uc804\uccb4\uc801\uc778 \ud234\uccb4\uc778\uc740 Rust\uc758 \uba54\ubaa8\ub9ac \uc548\uc804\uc131\uc744 C\uc758 \uc720\uc5f0\uc131\uacfc \uacb0\ud569\ud558\ub824\ub294 \uc2dc\ub3c4\uc5d0\uc11c \ucd9c\ubc1c\ud588\ub2e4.<\/p>\n<p>D\ub098 C++ \uc5b8\uc5b4\uc5d0\uc11c\ub3c4 \uc720\uc0ac\ud55c \ubcc0\ud658 \ub3c4\uad6c\uc758 \ud544\uc694\uc131\uc774 \uc5b8\uae09\ub418\uace0 \uc788\uc9c0\ub9cc, \ud604\uc7ac\ub85c\uc11c\ub294 Rust\uc5d0\uc11c C\ub85c\uc758 \ubcc0\ud658\uc5d0 \uc9d1\uc911\ub41c \uc0c1\ud0dc\ub2e4. \ud504\ub85c\uc81d\ud2b8\uc758 \uc131\uc219\ub3c4\uc640 \uc2e4\uc81c \uc801\uc6a9 \uc0ac\ub840\uac00 \uc313\uc784\uc5d0 \ub530\ub77c, \ud5a5\ud6c4 \ub2e4\ub978 \uc5b8\uc5b4 \uc2a4\ud0dd\uc73c\ub85c\uc758 \ud655\uc7a5 \uac00\ub2a5\uc131\ub3c4 \uc5f4\uc5b4\ub450\uace0 \uc788\ub2e4. \ub2e4\ub9cc \uc544\uc9c1 \ucd08\uae30 \ub2e8\uacc4\uc778 \ub9cc\ud07c \ubaa8\ub4e0 \uae30\ub2a5\uc774 \uc644\ubcbd\ud788 \uc9c0\uc6d0\ub418\ub294 \uac83\uc740 \uc544\ub2c8\ub2e4.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Jonathan Protzenko\uac00 \uc8fc\ub3c4\ud558\ub294 Eurydice \ud504\ub85c\uc81d\ud2b8\uac00 Rust \uc18c\uc2a4\ub97c \uc0ac\ub78c\uc774 \uc77d\uae30 \uc88b\uc740 C \ucf54\ub4dc\ub85c \ubcc0\ud658\ud558\uba70 \ub9c8\uc774\ud06c\ub85c\uc18c\ud504\ud2b8\uc640 \uad6c\uae00\uc758 \uc554\ud638\ud654 \ub77c\uc774\ube0c\ub7ec\ub9ac \ud1b5\ud569 \uc791\uc5c5\uc774 \uc9c4\ud589 \uc911\uc774\ub2e4.<\/p>\n","protected":false},"author":4,"featured_media":47514,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jore2_quality_policy":"people-first-v2","footnotes":""},"categories":[387],"tags":[31267,8718,31268,2089,24019],"class_list":["post-47513","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-it","tag-eurydice","tag-rust","tag-31268","tag-c","tag-24019"],"featured_image_urls":{"full":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/0007726807-001-20240813083713239.jpg",1400,668,false],"thumbnail":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/0007726807-001-20240813083713239-150x150.jpg",150,150,true],"medium":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/0007726807-001-20240813083713239-300x143.jpg",300,143,true],"medium_large":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/0007726807-001-20240813083713239-768x366.jpg",640,305,true],"large":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/0007726807-001-20240813083713239-1024x489.jpg",640,306,true],"1536x1536":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/0007726807-001-20240813083713239.jpg",1400,668,false],"2048x2048":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/0007726807-001-20240813083713239.jpg",1400,668,false],"morenews-large":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/0007726807-001-20240813083713239-825x575.jpg",825,575,true],"morenews-medium":["https:\/\/jore2.com\/wp-content\/uploads\/2026\/10\/0007726807-001-20240813083713239-590x410.jpg",590,410,true]},"author_info":{"info":["\uc774\uac00\uc740"]},"category_info":"<a href=\"https:\/\/jore2.com\/?cat=387\" rel=\"category\">IT&amp;\uc0dd\ud65c\uafc0\ud301<\/a>","tag_info":"IT&amp;\uc0dd\ud65c\uafc0\ud301","comment_count":"0","_links":{"self":[{"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/posts\/47513","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=47513"}],"version-history":[{"count":1,"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/posts\/47513\/revisions"}],"predecessor-version":[{"id":47515,"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/posts\/47513\/revisions\/47515"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=\/wp\/v2\/media\/47514"}],"wp:attachment":[{"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=47513"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=47513"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/jore2.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=47513"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}