diff --git "a/2023/AFL\345\216\237\347\220\206\344\270\216\345\256\236\350\267\265/index.html" "b/2023/AFL\345\216\237\347\220\206\344\270\216\345\256\236\350\267\265/index.html"
index d63de90..4e81811 100644
--- "a/2023/AFL\345\216\237\347\220\206\344\270\216\345\256\236\350\267\265/index.html"
+++ "b/2023/AFL\345\216\237\347\220\206\344\270\216\345\256\236\350\267\265/index.html"
@@ -395,7 +395,7 @@ <h2 id="六、小结"><a href="# 六、小结" class="headerlink" title="六、
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -403,7 +403,7 @@ <h2 id="六、小结"><a href="# 六、小结" class="headerlink" title="六、
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -455,7 +455,7 @@ <h2 id="六、小结"><a href="# 六、小结" class="headerlink" title="六、
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -463,7 +463,7 @@ <h2 id="六、小结"><a href="# 六、小结" class="headerlink" title="六、
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2023/CPP\344\270\216Python\347\232\204OOP\346\257\224\350\276\203/index.html" "b/2023/CPP\344\270\216Python\347\232\204OOP\346\257\224\350\276\203/index.html"
index 0074a8a..c856a22 100644
--- "a/2023/CPP\344\270\216Python\347\232\204OOP\346\257\224\350\276\203/index.html"
+++ "b/2023/CPP\344\270\216Python\347\232\204OOP\346\257\224\350\276\203/index.html"
@@ -362,7 +362,7 @@ <h2 id="5- 写在最后"><a href="#5- 写在最后" class="headerlink" title="5.
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -370,7 +370,7 @@ <h2 id="5- 写在最后"><a href="#5- 写在最后" class="headerlink" title="5.
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -422,7 +422,7 @@ <h2 id="5- 写在最后"><a href="#5- 写在最后" class="headerlink" title="5.
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -430,7 +430,7 @@ <h2 id="5- 写在最后"><a href="#5- 写在最后" class="headerlink" title="5.
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2023/CPP\345\257\271\350\261\241\346\250\241\345\236\213/index.html" "b/2023/CPP\345\257\271\350\261\241\346\250\241\345\236\213/index.html"
index 7d295b8..3f83931 100644
--- "a/2023/CPP\345\257\271\350\261\241\346\250\241\345\236\213/index.html"
+++ "b/2023/CPP\345\257\271\350\261\241\346\250\241\345\236\213/index.html"
@@ -382,7 +382,7 @@ <h2 id="总结"><a href="# 总结" class="headerlink" title="总结"></a><strong
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -390,7 +390,7 @@ <h2 id="总结"><a href="# 总结" class="headerlink" title="总结"></a><strong
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -442,7 +442,7 @@ <h2 id="总结"><a href="# 总结" class="headerlink" title="总结"></a><strong
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -450,7 +450,7 @@ <h2 id="总结"><a href="# 总结" class="headerlink" title="总结"></a><strong
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2023/CPP\346\231\272\350\203\275\346\214\207\351\222\210/index.html" "b/2023/CPP\346\231\272\350\203\275\346\214\207\351\222\210/index.html"
index 3110841..a7b9e83 100644
--- "a/2023/CPP\346\231\272\350\203\275\346\214\207\351\222\210/index.html"
+++ "b/2023/CPP\346\231\272\350\203\275\346\214\207\351\222\210/index.html"
@@ -366,7 +366,7 @@ <h2 id="总结"><a href="# 总结" class="headerlink" title="总结"></a>总结<
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -374,7 +374,7 @@ <h2 id="总结"><a href="# 总结" class="headerlink" title="总结"></a>总结<
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -426,7 +426,7 @@ <h2 id="总结"><a href="# 总结" class="headerlink" title="总结"></a>总结<
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -434,7 +434,7 @@ <h2 id="总结"><a href="# 总结" class="headerlink" title="总结"></a>总结<
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2023/CPP\346\236\204\351\200\240\345\207\275\346\225\260/index.html" "b/2023/CPP\346\236\204\351\200\240\345\207\275\346\225\260/index.html"
index 7ecf886..c369b41 100644
--- "a/2023/CPP\346\236\204\351\200\240\345\207\275\346\225\260/index.html"
+++ "b/2023/CPP\346\236\204\351\200\240\345\207\275\346\225\260/index.html"
@@ -341,7 +341,7 @@ <h2 id="应用"><a href="# 应用" class="headerlink" title="应用"></a>应用
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -349,7 +349,7 @@ <h2 id="应用"><a href="# 应用" class="headerlink" title="应用"></a>应用
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -401,7 +401,7 @@ <h2 id="应用"><a href="# 应用" class="headerlink" title="应用"></a>应用
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -409,7 +409,7 @@ <h2 id="应用"><a href="# 应用" class="headerlink" title="应用"></a>应用
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2023/Docker\345\277\205\347\237\245\345\277\205\344\274\232/index.html" "b/2023/Docker\345\277\205\347\237\245\345\277\205\344\274\232/index.html"
index 1f06606..9ac453d 100644
--- "a/2023/Docker\345\277\205\347\237\245\345\277\205\344\274\232/index.html"
+++ "b/2023/Docker\345\277\205\347\237\245\345\277\205\344\274\232/index.html"
@@ -533,7 +533,7 @@ <h2 id="四、参考资料"><a href="# 四、参考资料" class="headerlink" ti
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -541,7 +541,7 @@ <h2 id="四、参考资料"><a href="# 四、参考资料" class="headerlink" ti
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -593,7 +593,7 @@ <h2 id="四、参考资料"><a href="# 四、参考资料" class="headerlink" ti
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -601,7 +601,7 @@ <h2 id="四、参考资料"><a href="# 四、参考资料" class="headerlink" ti
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2023/LibFuzzer\344\275\277\347\224\250\350\257\264\346\230\216/index.html" "b/2023/LibFuzzer\344\275\277\347\224\250\350\257\264\346\230\216/index.html"
index f05b812..ee36f6b 100644
--- "a/2023/LibFuzzer\344\275\277\347\224\250\350\257\264\346\230\216/index.html"
+++ "b/2023/LibFuzzer\344\275\277\347\224\250\350\257\264\346\230\216/index.html"
@@ -730,7 +730,7 @@ <h2 id="四、- 参考资料"><a href="# 四、- 参考资料" class="headerlink
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -738,7 +738,7 @@ <h2 id="四、- 参考资料"><a href="# 四、- 参考资料" class="headerlink
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -790,7 +790,7 @@ <h2 id="四、- 参考资料"><a href="# 四、- 参考资料" class="headerlink
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -798,7 +798,7 @@ <h2 id="四、- 参考资料"><a href="# 四、- 参考资料" class="headerlink
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2023/LibFuzzer\347\274\226\350\257\221\346\214\207\345\215\227/index.html" "b/2023/LibFuzzer\347\274\226\350\257\221\346\214\207\345\215\227/index.html"
index a1abece..a9a7361 100644
--- "a/2023/LibFuzzer\347\274\226\350\257\221\346\214\207\345\215\227/index.html"
+++ "b/2023/LibFuzzer\347\274\226\350\257\221\346\214\207\345\215\227/index.html"
@@ -482,7 +482,7 @@ <h3 id="2- 静态库 or 动态库"><a href="#2- 静态库 or 动态库" class="h
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -490,7 +490,7 @@ <h3 id="2- 静态库 or 动态库"><a href="#2- 静态库 or 动态库" class="h
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -542,7 +542,7 @@ <h3 id="2- 静态库 or 动态库"><a href="#2- 静态库 or 动态库" class="h
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -550,7 +550,7 @@ <h3 id="2- 静态库 or 动态库"><a href="#2- 静态库 or 动态库" class="h
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2023/Linux\344\273\216\345\205\245\351\227\250\345\210\260\347\206\237\347\273\203/index.html" "b/2023/Linux\344\273\216\345\205\245\351\227\250\345\210\260\347\206\237\347\273\203/index.html"
index 2d44596..64b1022 100644
--- "a/2023/Linux\344\273\216\345\205\245\351\227\250\345\210\260\347\206\237\347\273\203/index.html"
+++ "b/2023/Linux\344\273\216\345\205\245\351\227\250\345\210\260\347\206\237\347\273\203/index.html"
@@ -526,7 +526,7 @@ <h3 id="二 - 相关命令和配置文件"><a href="# 二 - 相关命令和配
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -534,7 +534,7 @@ <h3 id="二 - 相关命令和配置文件"><a href="# 二 - 相关命令和配
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -586,7 +586,7 @@ <h3 id="二 - 相关命令和配置文件"><a href="# 二 - 相关命令和配
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -594,7 +594,7 @@ <h3 id="二 - 相关命令和配置文件"><a href="# 二 - 相关命令和配
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2023/\347\254\246\345\217\267\346\211\247\350\241\214\344\270\216\346\267\267\345\220\210\346\250\241\347\263\212\346\265\213\350\257\225/index.html" "b/2023/\347\254\246\345\217\267\346\211\247\350\241\214\344\270\216\346\267\267\345\220\210\346\250\241\347\263\212\346\265\213\350\257\225/index.html"
index 38cd32f..35b516b 100644
--- "a/2023/\347\254\246\345\217\267\346\211\247\350\241\214\344\270\216\346\267\267\345\220\210\346\250\241\347\263\212\346\265\213\350\257\225/index.html"
+++ "b/2023/\347\254\246\345\217\267\346\211\247\350\241\214\344\270\216\346\267\267\345\220\210\346\250\241\347\263\212\346\265\213\350\257\225/index.html"
@@ -14,7 +14,7 @@
     
     
     
-    <script type="application/ld+json">{"@context":"http://schema.org","@type":"BlogPosting","author":{"@type":"Person","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg"},"articleBody":"\n\n一、符号执行 1. 静态符号执行 定义  符号执行是一种程序分析技术，它通过使用符号代替实际的运行时值来探索程序的所有可能执行路径。这种技术不仅可以帮助生成覆盖率高的测试用例，还能有效地发现潜在的程序错误。\n\n\n具体地，符号执行采用抽象的符号代替具体值作为程序输入变量，得出每个路径抽象的输出结果和需要满足的约束条件。通过约束求解器，可以反推出指定程序路径时，程序输入应该设置的具体值。\n这种传统的符号执行不需要运行程序，所以也称为静态符号执行，它与 fuzz 测试相比各有优劣。举例来说，当我要求如下程序触发 AssertionError 时：\n12345def f():    x = int(input())    y = x * 2    if y == 12:        assert False\n如果使用 fuzz 测试，由于 x 是随机输入，为了满足y==12，fuzz 需要进行大量的尝试。\n如果使用符号执行，要触发 AssertionError 只需要满足约束条件 2*x==12 即可，求解可得x==6，一次分析即可搞定。\n原理  符号执行包括三个核心组件：\n\n状态信息存储器\nσ：程序变量的符号表达式\nπ：路径约束，即走到特定语句所经过的条件组合\nstmt：指向需要处理的下一条程序语句\n\n\n语句执行器：执行 stmt 指向的语句，更新 σ 或π的状态\n约束求解器：根据路径约束 π 和符号表达式σ，求出可行解\n\n下图演示了符号执行过程中，各组件的变化情况：\n\n\n缺陷  只需一次分析，即可获得所有路径的可行解，这个理想很美好，但现实很骨感。 静态符号执行在实际应用中，面临两大挑战：\n1. 路径爆炸\n程序中的分支和循环，都会使得程序路径爆炸式增长，导致分析过程变得不可行：\n\n每增加一次条件判断，程序会产生两个分支，极端情况下，路径数量呈指数增长\n无限循环和递归调用，可能导致无穷长的路径1234567def func():    s = 0    x = int(input())    while x &gt; 0:        s += x        print(f&#x27;total sum: &#123;s&#125;&#x27;)        x = int(input())\n\n处理路径爆炸问题的思路主要是限制分析的搜索空间，例如设置超时机制、搜索次数，使用启发式搜索等策略。\n2. 约束不可解\n符号执行中的关键环节在于约束求解器求解约束条件。学过数学的都知道，解不出来的方程可太多了。在程序中会面临更复杂的情况：\n\n程序调用无源码函数\n1234def func(x, y):    z = do_something(x)    if y + z &lt; 0:        print(&#x27;error&#x27;)\n\n不可解的非线程约束条件\n\n\n为了处理不可解的场景，动态符号执行诞生了，它将具体值与符号值结合，在符号值解不了的场景，用具体值代替，达到化简约束、降低求解难度的目的。\n2. 动态符号执行  静态符号执行不需要运行程序，动态符号执行则是要设置输入，启动程序，让程序跑起来。在程序运行过程中，程序的变量在理论上都有两种取值，一种是符号值，一种是具体值。\n在实现上，根据两种取值的配合方式，动态符号执行可分为两种路线：\nConcolic Testing在这种测试方法中，每个变量同时保留了符号值和具体值。在求解约束条件时，如果用符号值表达的约束条件解不了，那就将具体值代入对应的符号变量，化简条件再求解。\n此外，这种测试方法在一条路径探索结束后，会通过对条件约束进行取反操作，切换到其他的执行路径，再继续进行探索。\n\n\nExecution-Generated Testing在这种测试方法中，每个变量值保留符号值和具体值中的一个状态。程序中的任何一个运算，如果所有相关变量都是具体值，那就使用具体执行；如果有任何一个变量是符号值，那就使用符号执行。\n\n\n缺陷  没有完美的方案，动态符号执行虽然能缓解约束不可解的问题，但是使用具体值简化，也可能导致部分可执行路径无法被探索到。\n1234def func(x):    y = do_something(x)    if y &gt; 0:        print(&#x27;error&#x27;)\n\n由于 do_something 的源码未知，使用静态符号执行无法求解，动态符号执行会用 x 的具体值来计算 y。假设算出来y==-1，那么if 的判断条件由于矛盾而终止，导致 error 不可达。\n为了解决这个问题，需要不断地更换 x 的具体值。从这个角度来看，将 Fuzz 和动态符号执行结合起来，是一件自然而然的事情，于是就有了混合模糊测试技术（Hybrid Fuzzing)。\n3. 参考资料\n符号执行入门\nSymbolic Execution for Software Testing  Three Decades Later\nA Survey of Symbolic Execution Techniques\n北京大学 - 软件分析技术 - 第 19 课\nUsing Klee and Angr\n\n二、混合模糊测试1. 原理与架构Fuzz 测试与符号执行互有优劣，在一定程度上是互补关系。\n\n\n\n技术\n优点\n缺点\n\n\n\nFuzz 测试\n随机变异，运行速度快\n难以深入复杂的执行路径，代码覆盖率有限\n\n\n符号执行\n对程序进行分析和推理，可以突破复杂的路径约束\n运行速度慢，资源消耗大\n\n\n混合模糊测试结合二者的长处，通过 Fuzz 测试随机生成大量输入来测试程序的浅层代码，再结合动态符号执行来探索程序的深层路径，提升整体的代码覆盖率。\n混合模糊测试的常见架构设计如下：\n\n\n在 Fuzz 引擎和符号执行引擎之外，还有一个关键组件 Coordinator，其作用主要为协调 Fuzz 与符号执行的相互配合。 \nFuzz 测试与符号执行在执行速度与资源消耗方面都有很大区别，这个差异还会随着 target 而各有不同。如何设计一个好的 Coordinator，让运行时的性能最优，是混合模糊测试需要考虑的一个关键因素。\n2. SymCCSymCC是一款开源的动态符号执行工具，通过在编译时插桩，为每个变量构建符号表达，在运行时，缩短符号推理计算的时间，相比此前的符号执行工具（如 KLEE 和 QSYM）性能有明显提升。\nSymCC 由于出色表现，已被 LibAFL 官方集成。SymCC 本身提供了一个 symcc_fuzzing_helper 工具，简单快速的支持混合模糊测试功能，其核心代码为：\n\n\n这段代码的主要逻辑为：每隔 5 秒检查 AFL 的corpus目录，如果 AFL 有产生新的测试用例，那么就将这个测试用例发给 symcc，symcc 基于这个测试用例开始动态符号执行。\n使用 SymCC 进行混合模糊测试的步骤请见参考资料。能顺利跑起来的开源项目不多，SymCC 必须给个好评。\n3. 参考资料\nExploratory Review of Hybrid Fuzzing for Automated Vulnerability Detection\nSymbolic execution with SymCC: Don’t interpret, compile!\n符号执行 Symcc 与模糊测试 AFL 结合实践\n","dateCreated":"2023-12-24T16:22:08+08:00","dateModified":"2024-06-27T16:12:14+08:00","datePublished":"2023-12-24T16:22:08+08:00","description":"介绍符号执行技术，以及符号执行与 Fuzz 相结合的混合模糊测试技术","headline":"符号执行与混合模糊测试","image":[],"mainEntityOfPage":{"@type":"WebPage","@id":"https://www.stepbystep.asia/2023/%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C%E4%B8%8E%E6%B7%B7%E5%90%88%E6%A8%A1%E7%B3%8A%E6%B5%8B%E8%AF%95/"},"publisher":{"@type":"Organization","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg","logo":{"@type":"ImageObject","url":"photo.jpg"}},"url":"https://www.stepbystep.asia/2023/%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C%E4%B8%8E%E6%B7%B7%E5%90%88%E6%A8%A1%E7%B3%8A%E6%B5%8B%E8%AF%95/","keywords":"安全, Fuzz, 符号执行"}</script>
+    <script type="application/ld+json">{"@context":"http://schema.org","@type":"BlogPosting","author":{"@type":"Person","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg"},"articleBody":"\n\n一、符号执行 1. 静态符号执行 定义  符号执行是一种程序分析技术，它通过使用符号代替实际的运行时值来探索程序的所有可能执行路径。这种技术不仅可以帮助生成覆盖率高的测试用例，还能有效地发现潜在的程序错误。\n\n\n具体地，符号执行采用抽象的符号代替具体值作为程序输入变量，得出每个路径抽象的输出结果和需要满足的约束条件。通过约束求解器，可以反推出指定程序路径时，程序输入应该设置的具体值。\n这种传统的符号执行不需要运行程序，所以也称为静态符号执行，它与 fuzz 测试相比各有优劣。举例来说，当我要求如下程序触发 AssertionError 时：\n12345def f():    x = int(input())    y = x * 2    if y == 12:        assert False\n如果使用 fuzz 测试，由于 x 是随机输入，为了满足y==12，fuzz 需要进行大量的尝试。\n如果使用符号执行，要触发 AssertionError 只需要满足约束条件 2*x==12 即可，求解可得x==6，一次分析即可搞定。\n原理  符号执行包括三个核心组件：\n\n状态信息存储器\nσ：程序变量的符号表达式\nπ：路径约束，即走到特定语句所经过的条件组合\nstmt：指向需要处理的下一条程序语句\n\n\n语句执行器：执行 stmt 指向的语句，更新 σ 或π的状态\n约束求解器：根据路径约束 π 和符号表达式σ，求出可行解\n\n下图演示了符号执行过程中，各组件的变化情况：\n\n\n缺陷  只需一次分析，即可获得所有路径的可行解，这个理想很美好，但现实很骨感。 静态符号执行在实际应用中，面临两大挑战：\n1. 路径爆炸\n程序中的分支和循环，都会使得程序路径爆炸式增长，导致分析过程变得不可行：\n\n每增加一次条件判断，程序会产生两个分支，极端情况下，路径数量呈指数增长\n无限循环和递归调用，可能导致无穷长的路径1234567def func():    s = 0    x = int(input())    while x &gt; 0:        s += x        print(f&#x27;total sum: &#123;s&#125;&#x27;)        x = int(input())\n\n处理路径爆炸问题的思路主要是限制分析的搜索空间，例如设置超时机制、搜索次数，使用启发式搜索等策略。\n2. 约束不可解\n符号执行中的关键环节在于约束求解器求解约束条件。学过数学的都知道，解不出来的方程可太多了。在程序中会面临更复杂的情况：\n\n程序调用无源码函数\n1234def func(x, y):    z = do_something(x)    if y + z &lt; 0:        print(&#x27;error&#x27;)\n\n不可解的非线程约束条件\n\n\n为了处理不可解的场景，动态符号执行诞生了，它将具体值与符号值结合，在符号值解不了的场景，用具体值代替，达到化简约束、降低求解难度的目的。\n2. 动态符号执行  静态符号执行不需要运行程序，动态符号执行则是要设置输入，启动程序，让程序跑起来。在程序运行过程中，程序的变量在理论上都有两种取值，一种是符号值，一种是具体值。\n在实现上，根据两种取值的配合方式，动态符号执行可分为两种路线：\nConcolic Testing在这种测试方法中，每个变量同时保留了符号值和具体值。在求解约束条件时，如果用符号值表达的约束条件解不了，那就将具体值代入对应的符号变量，化简条件再求解。\n此外，这种测试方法在一条路径探索结束后，会通过对条件约束进行取反操作，切换到其他的执行路径，再继续进行探索。\n\n\nExecution-Generated Testing在这种测试方法中，每个变量值保留符号值和具体值中的一个状态。程序中的任何一个运算，如果所有相关变量都是具体值，那就使用具体执行；如果有任何一个变量是符号值，那就使用符号执行。\n\n\n缺陷  没有完美的方案，动态符号执行虽然能缓解约束不可解的问题，但是使用具体值简化，也可能导致部分可执行路径无法被探索到。\n1234def func(x):    y = do_something(x)    if y &gt; 0:        print(&#x27;error&#x27;)\n\n由于 do_something 的源码未知，使用静态符号执行无法求解，动态符号执行会用 x 的具体值来计算 y。假设算出来y==-1，那么if 的判断条件由于矛盾而终止，导致 error 不可达。\n为了解决这个问题，需要不断地更换 x 的具体值。从这个角度来看，将 Fuzz 和动态符号执行结合起来，是一件自然而然的事情，于是就有了混合模糊测试技术（Hybrid Fuzzing)。\n3. 参考资料\n符号执行入门\nSymbolic Execution for Software Testing  Three Decades Later\nA Survey of Symbolic Execution Techniques\n北京大学 - 软件分析技术 - 第 19 课\nUsing Klee and Angr\n\n二、混合模糊测试1. 原理与架构Fuzz 测试与符号执行互有优劣，在一定程度上是互补关系。\n\n\n\n技术\n优点\n缺点\n\n\n\nFuzz 测试\n随机变异，运行速度快\n难以深入复杂的执行路径，代码覆盖率有限\n\n\n符号执行\n对程序进行分析和推理，可以突破复杂的路径约束\n运行速度慢，资源消耗大\n\n\n混合模糊测试结合二者的长处，通过 Fuzz 测试随机生成大量输入来测试程序的浅层代码，再结合动态符号执行来探索程序的深层路径，提升整体的代码覆盖率。\n混合模糊测试的常见架构设计如下：\n\n\n在 Fuzz 引擎和符号执行引擎之外，还有一个关键组件 Coordinator，其作用主要为协调 Fuzz 与符号执行的相互配合。 \nFuzz 测试与符号执行在执行速度与资源消耗方面都有很大区别，这个差异还会随着 target 而各有不同。如何设计一个好的 Coordinator，让运行时的性能最优，是混合模糊测试需要考虑的一个关键因素。\n2. SymCCSymCC是一款开源的动态符号执行工具，通过在编译时插桩，为每个变量构建符号表达，在运行时，缩短符号推理计算的时间，相比此前的符号执行工具（如 KLEE 和 QSYM）性能有明显提升。\nSymCC 由于出色表现，已被 LibAFL 官方集成。SymCC 本身提供了一个 symcc_fuzzing_helper 工具，简单快速的支持混合模糊测试功能，其核心代码为：\n\n\n这段代码的主要逻辑为：每隔 5 秒检查 AFL 的corpus目录，如果 AFL 有产生新的测试用例，那么就将这个测试用例发给 symcc，symcc 基于这个测试用例开始动态符号执行。\n使用 SymCC 进行混合模糊测试的步骤请见参考资料。能顺利跑起来的开源项目不多，SymCC 必须给个好评。\n3. 参考资料\nExploratory Review of Hybrid Fuzzing for Automated Vulnerability Detection\nSymbolic execution with SymCC: Don’t interpret, compile!\n符号执行 Symcc 与模糊测试 AFL 结合实践\n","dateCreated":"2023-12-24T16:22:08+08:00","dateModified":"2024-06-27T16:12:14+08:00","datePublished":"2023-12-24T16:22:08+08:00","description":"介绍符号执行技术，以及符号执行与 Fuzz 相结合的混合模糊测试技术","headline":"符号执行与混合模糊测试","image":[],"mainEntityOfPage":{"@type":"WebPage","@id":"https://www.stepbystep.asia/2023/%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C%E4%B8%8E%E6%B7%B7%E5%90%88%E6%A8%A1%E7%B3%8A%E6%B5%8B%E8%AF%95/"},"publisher":{"@type":"Organization","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg","logo":{"@type":"ImageObject","url":"photo.jpg"}},"url":"https://www.stepbystep.asia/2023/%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C%E4%B8%8E%E6%B7%B7%E5%90%88%E6%A8%A1%E7%B3%8A%E6%B5%8B%E8%AF%95/","keywords":"符号执行, 安全, Fuzz"}</script>
     <meta name="description" content="介绍符号执行技术，以及符号执行与 Fuzz 相结合的混合模糊测试技术">
 <meta property="og:type" content="blog">
 <meta property="og:title" content="符号执行与混合模糊测试">
@@ -29,9 +29,9 @@
 <meta property="article:published_time" content="2023-12-24T08:22:08.000Z">
 <meta property="article:modified_time" content="2024-06-27T08:12:14.674Z">
 <meta property="article:author" content="一瓢清浅">
+<meta property="article:tag" content="符号执行">
 <meta property="article:tag" content="安全">
 <meta property="article:tag" content="Fuzz">
-<meta property="article:tag" content="符号执行">
 <meta name="twitter:card" content="summary">
 <meta name="twitter:image" content="https://www.stepbystep.asia/2023/%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C%E4%B8%8E%E6%B7%B7%E5%90%88%E6%A8%A1%E7%B3%8A%E6%B5%8B%E8%AF%95/%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C%E5%AE%9A%E4%B9%89.png">
     
@@ -399,7 +399,7 @@ <h3 id="3- 参考资料 -1"><a href="#3- 参考资料 -1" class="headerlink" tit
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -407,7 +407,7 @@ <h3 id="3- 参考资料 -1"><a href="#3- 参考资料 -1" class="headerlink" tit
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -459,7 +459,7 @@ <h3 id="3- 参考资料 -1"><a href="#3- 参考资料 -1" class="headerlink" tit
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -467,7 +467,7 @@ <h3 id="3- 参考资料 -1"><a href="#3- 参考资料 -1" class="headerlink" tit
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2023/\351\233\266\345\237\272\347\241\200\347\210\254\350\231\253\345\205\245\351\227\250/index.html" "b/2023/\351\233\266\345\237\272\347\241\200\347\210\254\350\231\253\345\205\245\351\227\250/index.html"
index 5f06b0e..026e5a4 100644
--- "a/2023/\351\233\266\345\237\272\347\241\200\347\210\254\350\231\253\345\205\245\351\227\250/index.html"
+++ "b/2023/\351\233\266\345\237\272\347\241\200\347\210\254\350\231\253\345\205\245\351\227\250/index.html"
@@ -427,7 +427,7 @@ <h4 id="3-CSS 与 XPath 比较"><a href="#3-CSS 与 XPath 比较" class="headerl
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -435,7 +435,7 @@ <h4 id="3-CSS 与 XPath 比较"><a href="#3-CSS 与 XPath 比较" class="headerl
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -486,7 +486,7 @@ <h4 id="3-CSS 与 XPath 比较"><a href="#3-CSS 与 XPath 比较" class="headerl
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -494,7 +494,7 @@ <h4 id="3-CSS 与 XPath 比较"><a href="#3-CSS 与 XPath 比较" class="headerl
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2024/Angr\351\233\266\345\237\272\347\241\200\345\205\245\351\227\250/index.html" "b/2024/Angr\351\233\266\345\237\272\347\241\200\345\205\245\351\227\250/index.html"
index c2c7481..c563d80 100644
--- "a/2024/Angr\351\233\266\345\237\272\347\241\200\345\205\245\351\227\250/index.html"
+++ "b/2024/Angr\351\233\266\345\237\272\347\241\200\345\205\245\351\227\250/index.html"
@@ -14,7 +14,7 @@
     
     
     
-    <script type="application/ld+json">{"@context":"http://schema.org","@type":"BlogPosting","author":{"@type":"Person","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg"},"articleBody":"\n\n一、Angr 简介Angr 是一个由 Python 语言编写的开源二进制分析框架，它主要用于静态分析、符号执行、逆向工程等安全研究领域。Angr 支持多种操作系统和硬件架构，包括 Windows、Linux、macOS 以及 x86、ARM 等。\n二、Angr 整体架构1、核心组件Angr 是一个复杂的二进制分析框架，其初始的整体架构设计如下图：\n\n\nAngr 的核心组件自下而上依次为：\n\nCLE：加载可执行文件和库文件\n\narchinfo：获取架构信息\n\nPyVEX：将指令转换成 VEX 这种中间语言（IR）\n\nSimuVEX：模拟执行引擎，负责在虚拟环境中执行 VEX\n\nClaripy：用于创建和管理符号变量及条件约束，传递给 Z3 求解器进行求解\n\nAngr：将各个组件集成起来，提供一套整体的二进制分析和符号执行框架\n\nanalysis：提供一套分析工具，通过 CFG、DDG 等对程序进行分析\n\nsurveyors：用于记录和跟踪程序的可执行路径\n\n\n随着 Angr 的发展，部分组件有更新和迭代：\n\nSimuVEX 被移除，其组件已集成到 Angr 中\n\nsurveyors 被移除，被 SimulationManager 所取代\n\n\n2、运作流程Angr 的整体运作流程如图：\n\n\n使用 Angr 进行二进制分析时，各组件的运行步骤为：\n\nCLE 加载二进制，获取机器指令\n\nArchinfo 分析二进制的架构类型\n\nPyVEX 根据架构类型，将机器指令转换为 VEX 中间表达\n\nSimEngine 基于 VEX 来模拟程序执行\n\nClarify 创建和管理执行过程中的符号变量和约束条件，转化为 SMT 表达式，传递给 Z3 求解\n\nSimOS（SimProcedures） 模拟程序与系统的交互，如标准 io 流、文件读写、系统调用等操作\n\n\n三、Angr 使用说明1. 安装Angr 需要 python 3.8 以上的运行环境，需要先装 3.8 版本以上的 python。\n安装 Angr 有两种推荐方式：\n\npip 安装\n1pip install Angr\n\n源码安装\n123git clone https://github.com/Angr/Angr-dev.gitcd Angr-dev./setup.sh -i -e Angr\n\n2. 运行  建议在虚拟环境中运行 Angr。源码安装的方式可以自动创建名为 Angr 的虚拟环境。手动创建虚拟环境的命令为：\n1python3 -m venv Angr\n\n启动虚拟环境：\n1source Angr/bin/active\n\n3. 使用Angr 作为 python 的三方库，通过 import 进行调用：\n1import Angr\n\nAngr 的顶层 API 围绕着 Angr 的核心组件来设计，包含一组常用的 Python 类和对象，它们提供了二进制分析、符号执行和其他功能。\n以下是 Angr 的一些常用 API 组件：\n\nProject（项目）：\n\nProject是 Angr 的中心组件，它代表了用户所要处理的二进制文件。\n创建一个 Project 实例是使用 Angr 进行分析的第一步，Project对象提供了对二进制文件的操作和分析的接口。\n\n\nFactory（工厂）：\n\nFactory对象通过 Project 的factory属性来访问，它提供了快速访问 Angr 的各种分析技术的接口，避免复杂的实例化操作。\n\n\nSimState（模拟状态）：\n\nSimState代表程序的一个瞬时状态，它包含寄存器、内存、堆栈、文件系统等运行时的上下文环境状态，可用于执行符号执行和具体执行。\nSimState对象通过 Project 的factory属性的方法来访问，这些方法包括 entry_state、blank_state、full_init_state 等。\n\n\nSimulationManager（模拟管理器）：\n\nSimulationManager用来跟踪程序执行过程中的路径探索和 SimState 演化，并对这些路径和 SimState 进行管理。\nSimulationManager对象通过 Project 的factory属性的 simulation_manager 方法实例化。\n\n\nLoader（加载器）：\n\nLoader负责将二进制文件载入内存，并处理符号以及它们的地址空间，为后续分析提供详细信息，如入口点、可执行段、符号表等。\nLoader对象通过 Project 的loader属性的方法来访问。\n\n\nBlock（块）：\n\nBlock表示程序基本块，是 Angr 分析的基本单位。每个 Block 是一组顺序执行代码片段，具有原子性，以分支或跳转结尾。\nBlock对象通过 Project 的factory属性的 block 方法实例化。\n\n\n\n四、Angr 实践应用example.c 源码：\n12345678910111213141516171819202122232425262728293031323334#include &lt;stdio.h&gt;#include &lt;string.h&gt;#include &lt;stdint.h&gt;#include &lt;assert.h&gt;#define MAX_LEN 100int calculate(int number)&#123;    return number * number;&#125;int main()&#123;    char input[MAX_LEN];    printf(&quot;Enter the string: &quot;);    fgets(input, MAX_LEN, stdin);    int len = strlen(input);    int num = 0;    for(int i = 0; i &lt; len; i++) &#123;        if(input[i] &gt;= &#x27;0&#x27; &amp;&amp; input[i] &lt;= &#x27;9&#x27;)&#123;            num = num * 10 + (input[i] - &#x27;0&#x27;);        &#125;    &#125;    int res = calculate(num);    assert(res != 65536);    return 0;&#125;\n\n将 example.c 编译为 example_binary ：\n1gcc example.c -o example_binary\n\n以 example_binary 为例，演示 Angr 用法。\n1. 静态程序分析  首先用 Angr 定位程序入口：\n12345678910111213&gt;&gt;&gt; import angr&gt;&gt;&gt; project = angr.Project(&#x27;example_binary&#x27;, load_options=&#123;&#x27;auto_load_libs&#x27;: False&#125;)&gt;&gt;&gt; project.filename&#x27;example_binary&#x27;&gt;&gt;&gt; project.arch&lt;Arch AMD64 (LE)&gt;&gt;&gt;&gt; project.entry4198624&gt;&gt;&gt; bb = project.factory.block(4198624)&gt;&gt;&gt; bb.instructions12&gt;&gt;&gt; hex(bb.addr)&#x27;0x4010e0&#x27;\n\n这个 0x4010e0 地址对应的是程序的入口 block ，包括 12 条指令，在 CFG 中表示为如下节点，可以看到 block 的名字并不是 main，而是 _start ：\n\n\n接着从 _start 开始执行，执行一次后到达 ___libc_start_main ，然而再执行一次后并没有到达 main ：\n123456789101112&gt;&gt;&gt; st_0 = project.factory.entry_state()&gt;&gt;&gt; hex(st_0.addr)&#x27;0x4010e0&#x27;&gt;&gt;&gt; nx  = st_0.step()&gt;&gt;&gt; nx.successors[&lt;SimState @ 0x500000&gt;]&gt;&gt;&gt; st_1 = nx.successors[0]&gt;&gt;&gt; hex(st_1.addr)&#x27;0x500000&#x27;&gt;&gt;&gt; nx = st_1.step()&gt;&gt;&gt; nx.successors[&lt;SimState @ 0x4012e0&gt;]\n\n为了获取 main 这个 block 的状态，可以使用 SimulationManager 来执行：\n12345678&gt;&gt;&gt; simgr = project.factory.simulation_manager(st_0)&gt;&gt;&gt; main_obj = project.loader.main_object.get_symbol(&#x27;main&#x27;)&gt;&gt;&gt; hex(main_obj.rebased_addr)&#x27;0x4011dc&#x27;&gt;&gt;&gt; simgr.explore(find=main_obj.rebased_addr)&lt;SimulationManager with 1 found&gt;&gt;&gt;&gt; simgr.found[&lt;SimState @ 0x4011dc&gt;]\n\n\n\n2. 静态符号执行example_binary 接受一个最长为 100 位的字符串作为输入，提取字符串中的数字，转换成数值，然后进行平方运算，结果等于 65536 时出现断言错误。反推回来，当输入字符串中包含 2、5、6 这三个数字时，就能导致AssertionError。\n要让程序自动找到触发 example_binary 中 AssertionError 的 input，可以用 Angr 符号执行来求解。\n首先引入claripy，创建符号变量：\n1234&gt;&gt;&gt; import claripy&gt;&gt;&gt; input_size = 100&gt;&gt;&gt; symbolic_buffer = claripy.BVS(&#x27;input&#x27;, 8 * (input_size - 1))&gt;&gt;&gt; entry_state = project.factory.entry_state(stdin=claripy.Concat(symbolic_buffer, claripy.BVV(b&#x27;\\n&#x27;)))\n\n通过 CFG 可以找到 AssertionError 的 block 地址为0x4010c0：\n\n\n然后用 SimulationManager 控制程序朝 AssertionError 开始探索：\n1234567891011121314151617181920212223&gt;&gt;&gt; simgr = project.factory.simulation_manager(entry_state)&gt;&gt;&gt; simgr.explore(find=0x4010c0)WARNING  | 2024-03-11 17:27:02,034 | angr.storage.memory_mixins.default_filler_mixin | The program is accessing memory with an unspecified value. This could indicate unwanted behavior.WARNING  | 2024-03-11 17:27:03,808 | angr.storage.memory_mixins.default_filler_mixin | angr will cope with this by generating an unconstrained symbolic variable and continuing. You can resolve this by:WARNING  | 2024-03-11 17:27:03,808 | angr.storage.memory_mixins.default_filler_mixin | 1) setting a value to the initial stateWARNING  | 2024-03-11 17:27:03,808 | angr.storage.memory_mixins.default_filler_mixin | 2) adding the state option ZERO_FILL_UNCONSTRAINED_&#123;MEMORY,REGISTERS&#125;, to make unknown regions hold nullWARNING  | 2024-03-11 17:27:03,808 | angr.storage.memory_mixins.default_filler_mixin | 3) adding the state option SYMBOL_FILL_UNCONSTRAINED_&#123;MEMORY,REGISTERS&#125;, to suppress these messages.WARNING  | 2024-03-11 17:27:03,994 | angr.storage.memory_mixins.default_filler_mixin | Filling memory at 0x7fffffffffeff70 with 1 unconstrained bytes referenced from 0x500010 (strlen+0x0 in extern-address space (0x10))&lt;SimulationManager with 829 active, 20 deadended, 1 found&gt;&gt;&gt;&gt;&gt;&gt;&gt; simgr.found[&lt;SimState @ 0x4010c0&gt;]&gt;&gt;&gt; found_state = simgr.found[0]&gt;&gt;&gt; found_state&lt;SimState @ 0x4010c0&gt;&gt;&gt;&gt; found_state.solver.eval(symbolic_buffer, cast_to=bytes)b&#x27;256\\x00\\x00\\x00\\x01\\x00\\x00\\x00\\x80\\x01\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00@ \\x08\\x08\\x00\\x02\\x00 \\x00\\x00\\x80\\x00\\x00\\x00@\\x00\\x01 \\x02\\x10\\x00\\x01 \\x10\\x00@\\x04\\x80\\x80\\x01\\x80\\x01@\\x02\\x08\\x08\\x04\\x80\\x01@\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00&#x27;&gt;&gt;&gt; len(found_state.solver.eval(symbolic_buffer, cast_to=bytes))99&gt;&gt;&gt; found_state.solver.constraints[&lt;Bool !(input_3_792[791:784] == 10)&gt;, &lt;Bool !(input_3_792[783:776] == 10)&gt;, &lt;Bool !(input_3_792[775:768] == 10)&gt;, &lt;Bool !(input_3_792[767:760] == 10)&gt;, &lt;Bool !(input_3_792[759:752] == 10)&gt;, &lt;Bool !(input_3_792[751:744] == 10)&gt;, &lt;Bool !(input_3_792[743:736] == 10)&gt;, &lt;Bool !(input_3_792[735:728] == 10)&gt;, &lt;Bool !(input_3_792[727:720] == 10)&gt;, &lt;Bool !(input_3_792[719:712] == 10)&gt;, &lt;Bool !(input_3_792[711:704] == 10)&gt;, &lt;Bool !(input_3_792[703:696] == 10)&gt;, &lt;Bool !……\n\n可以看到虽然很慢，但是 Angr 成功地算出了一个可以触发 AssertionError 的输入。计算结果保存在 SimulationManager 的found属性中，每个结果是一个 SimState 实例，通过 SimState 的solver属性可以查看可行解与约束条件。\n五、同类工具\n\n\n特性 \\ 工具\nAngr\nBAP\nTriton\nBinary Ninja\nGhidra\n\n\n\n发布年份\n2015\n2011\n2015\n2016\n2019\n\n\n开发语言\nPython\nOCaml (接口: C&#x2F;Python)\nC++ (接口: Python)\nC++\nJava\n\n\n模块化\n✅\n✅\n❌\n✅\n✅\n\n\n插件系统\n✅\n✅\n❌\n✅\n✅\n\n\n符号执行\n✅\n✅\n✅\n❌\n✅\n\n\n污点分析\n✅\n部分支持\n✅\n✅\n✅\n\n\n动静态分析\n均支持\n主要是静态分析\n主要是动态分析\n主要静态分析\n均支持\n\n\n形式化验证\n有限支持\n✅\n❌\n❌\n通过插件\n\n\n中间表示\nVEX IR\nMicrocode\nTriton IR\nLLIL&#x2F;MLIL&#x2F;HLIL\nP-Code\n\n\n社区活跃度\n高\n中\n低\n高\n高\n\n\n专长领域\n全栈式分析\n可扩展性与形式化验证\n动态分析与污点追踪\n逆向工程\n逆向工程\n\n\n跨平台支持\n广泛\n广泛\n有限\n广泛\n广泛\n\n\n学习曲线\n中等\n较高\n中等\n中等\n中等\n\n\n应用场景\nCTF&#x2F; 漏洞研究 &#x2F; 二进制加固\n安全研究 &#x2F; 形式化验证\n精确污点追踪 &#x2F; 变量跟踪\n逆向工程\n逆向工程\n\n\n开源\n✅\n部分开源\n✅\n社区版开源\n✅\n\n\n六、参考资料\nangr 原理与实践（一）——原理\nangr 官方文档\nangr 系列教程(一）核心概念及模块解读\nAngr 初学笔记\nBinary 自动分析的那些事\n","dateCreated":"2024-01-23T13:45:08+08:00","dateModified":"2024-06-26T16:27:23+08:00","datePublished":"2024-01-23T13:45:08+08:00","description":"Angr 是一款二进制分析和符号执行工具，常用于 CTF 和安全测试领域","headline":"符号执行工具——Angr 零基础入门","image":[],"mainEntityOfPage":{"@type":"WebPage","@id":"https://www.stepbystep.asia/2024/Angr%E9%9B%B6%E5%9F%BA%E7%A1%80%E5%85%A5%E9%97%A8/"},"publisher":{"@type":"Organization","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg","logo":{"@type":"ImageObject","url":"photo.jpg"}},"url":"https://www.stepbystep.asia/2024/Angr%E9%9B%B6%E5%9F%BA%E7%A1%80%E5%85%A5%E9%97%A8/","keywords":"安全, 工具, 符号执行"}</script>
+    <script type="application/ld+json">{"@context":"http://schema.org","@type":"BlogPosting","author":{"@type":"Person","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg"},"articleBody":"\n\n一、Angr 简介Angr 是一个由 Python 语言编写的开源二进制分析框架，它主要用于静态分析、符号执行、逆向工程等安全研究领域。Angr 支持多种操作系统和硬件架构，包括 Windows、Linux、macOS 以及 x86、ARM 等。\n二、Angr 整体架构1、核心组件Angr 是一个复杂的二进制分析框架，其初始的整体架构设计如下图：\n\n\nAngr 的核心组件自下而上依次为：\n\nCLE：加载可执行文件和库文件\n\narchinfo：获取架构信息\n\nPyVEX：将指令转换成 VEX 这种中间语言（IR）\n\nSimuVEX：模拟执行引擎，负责在虚拟环境中执行 VEX\n\nClaripy：用于创建和管理符号变量及条件约束，传递给 Z3 求解器进行求解\n\nAngr：将各个组件集成起来，提供一套整体的二进制分析和符号执行框架\n\nanalysis：提供一套分析工具，通过 CFG、DDG 等对程序进行分析\n\nsurveyors：用于记录和跟踪程序的可执行路径\n\n\n随着 Angr 的发展，部分组件有更新和迭代：\n\nSimuVEX 被移除，其组件已集成到 Angr 中\n\nsurveyors 被移除，被 SimulationManager 所取代\n\n\n2、运作流程Angr 的整体运作流程如图：\n\n\n使用 Angr 进行二进制分析时，各组件的运行步骤为：\n\nCLE 加载二进制，获取机器指令\n\nArchinfo 分析二进制的架构类型\n\nPyVEX 根据架构类型，将机器指令转换为 VEX 中间表达\n\nSimEngine 基于 VEX 来模拟程序执行\n\nClarify 创建和管理执行过程中的符号变量和约束条件，转化为 SMT 表达式，传递给 Z3 求解\n\nSimOS（SimProcedures） 模拟程序与系统的交互，如标准 io 流、文件读写、系统调用等操作\n\n\n三、Angr 使用说明1. 安装Angr 需要 python 3.8 以上的运行环境，需要先装 3.8 版本以上的 python。\n安装 Angr 有两种推荐方式：\n\npip 安装\n1pip install Angr\n\n源码安装\n123git clone https://github.com/Angr/Angr-dev.gitcd Angr-dev./setup.sh -i -e Angr\n\n2. 运行  建议在虚拟环境中运行 Angr。源码安装的方式可以自动创建名为 Angr 的虚拟环境。手动创建虚拟环境的命令为：\n1python3 -m venv Angr\n\n启动虚拟环境：\n1source Angr/bin/active\n\n3. 使用Angr 作为 python 的三方库，通过 import 进行调用：\n1import Angr\n\nAngr 的顶层 API 围绕着 Angr 的核心组件来设计，包含一组常用的 Python 类和对象，它们提供了二进制分析、符号执行和其他功能。\n以下是 Angr 的一些常用 API 组件：\n\nProject（项目）：\n\nProject是 Angr 的中心组件，它代表了用户所要处理的二进制文件。\n创建一个 Project 实例是使用 Angr 进行分析的第一步，Project对象提供了对二进制文件的操作和分析的接口。\n\n\nFactory（工厂）：\n\nFactory对象通过 Project 的factory属性来访问，它提供了快速访问 Angr 的各种分析技术的接口，避免复杂的实例化操作。\n\n\nSimState（模拟状态）：\n\nSimState代表程序的一个瞬时状态，它包含寄存器、内存、堆栈、文件系统等运行时的上下文环境状态，可用于执行符号执行和具体执行。\nSimState对象通过 Project 的factory属性的方法来访问，这些方法包括 entry_state、blank_state、full_init_state 等。\n\n\nSimulationManager（模拟管理器）：\n\nSimulationManager用来跟踪程序执行过程中的路径探索和 SimState 演化，并对这些路径和 SimState 进行管理。\nSimulationManager对象通过 Project 的factory属性的 simulation_manager 方法实例化。\n\n\nLoader（加载器）：\n\nLoader负责将二进制文件载入内存，并处理符号以及它们的地址空间，为后续分析提供详细信息，如入口点、可执行段、符号表等。\nLoader对象通过 Project 的loader属性的方法来访问。\n\n\nBlock（块）：\n\nBlock表示程序基本块，是 Angr 分析的基本单位。每个 Block 是一组顺序执行代码片段，具有原子性，以分支或跳转结尾。\nBlock对象通过 Project 的factory属性的 block 方法实例化。\n\n\n\n四、Angr 实践应用example.c 源码：\n12345678910111213141516171819202122232425262728293031323334#include &lt;stdio.h&gt;#include &lt;string.h&gt;#include &lt;stdint.h&gt;#include &lt;assert.h&gt;#define MAX_LEN 100int calculate(int number)&#123;    return number * number;&#125;int main()&#123;    char input[MAX_LEN];    printf(&quot;Enter the string: &quot;);    fgets(input, MAX_LEN, stdin);    int len = strlen(input);    int num = 0;    for(int i = 0; i &lt; len; i++) &#123;        if(input[i] &gt;= &#x27;0&#x27; &amp;&amp; input[i] &lt;= &#x27;9&#x27;)&#123;            num = num * 10 + (input[i] - &#x27;0&#x27;);        &#125;    &#125;    int res = calculate(num);    assert(res != 65536);    return 0;&#125;\n\n将 example.c 编译为 example_binary ：\n1gcc example.c -o example_binary\n\n以 example_binary 为例，演示 Angr 用法。\n1. 静态程序分析  首先用 Angr 定位程序入口：\n12345678910111213&gt;&gt;&gt; import angr&gt;&gt;&gt; project = angr.Project(&#x27;example_binary&#x27;, load_options=&#123;&#x27;auto_load_libs&#x27;: False&#125;)&gt;&gt;&gt; project.filename&#x27;example_binary&#x27;&gt;&gt;&gt; project.arch&lt;Arch AMD64 (LE)&gt;&gt;&gt;&gt; project.entry4198624&gt;&gt;&gt; bb = project.factory.block(4198624)&gt;&gt;&gt; bb.instructions12&gt;&gt;&gt; hex(bb.addr)&#x27;0x4010e0&#x27;\n\n这个 0x4010e0 地址对应的是程序的入口 block ，包括 12 条指令，在 CFG 中表示为如下节点，可以看到 block 的名字并不是 main，而是 _start ：\n\n\n接着从 _start 开始执行，执行一次后到达 ___libc_start_main ，然而再执行一次后并没有到达 main ：\n123456789101112&gt;&gt;&gt; st_0 = project.factory.entry_state()&gt;&gt;&gt; hex(st_0.addr)&#x27;0x4010e0&#x27;&gt;&gt;&gt; nx  = st_0.step()&gt;&gt;&gt; nx.successors[&lt;SimState @ 0x500000&gt;]&gt;&gt;&gt; st_1 = nx.successors[0]&gt;&gt;&gt; hex(st_1.addr)&#x27;0x500000&#x27;&gt;&gt;&gt; nx = st_1.step()&gt;&gt;&gt; nx.successors[&lt;SimState @ 0x4012e0&gt;]\n\n为了获取 main 这个 block 的状态，可以使用 SimulationManager 来执行：\n12345678&gt;&gt;&gt; simgr = project.factory.simulation_manager(st_0)&gt;&gt;&gt; main_obj = project.loader.main_object.get_symbol(&#x27;main&#x27;)&gt;&gt;&gt; hex(main_obj.rebased_addr)&#x27;0x4011dc&#x27;&gt;&gt;&gt; simgr.explore(find=main_obj.rebased_addr)&lt;SimulationManager with 1 found&gt;&gt;&gt;&gt; simgr.found[&lt;SimState @ 0x4011dc&gt;]\n\n\n\n2. 静态符号执行example_binary 接受一个最长为 100 位的字符串作为输入，提取字符串中的数字，转换成数值，然后进行平方运算，结果等于 65536 时出现断言错误。反推回来，当输入字符串中包含 2、5、6 这三个数字时，就能导致AssertionError。\n要让程序自动找到触发 example_binary 中 AssertionError 的 input，可以用 Angr 符号执行来求解。\n首先引入claripy，创建符号变量：\n1234&gt;&gt;&gt; import claripy&gt;&gt;&gt; input_size = 100&gt;&gt;&gt; symbolic_buffer = claripy.BVS(&#x27;input&#x27;, 8 * (input_size - 1))&gt;&gt;&gt; entry_state = project.factory.entry_state(stdin=claripy.Concat(symbolic_buffer, claripy.BVV(b&#x27;\\n&#x27;)))\n\n通过 CFG 可以找到 AssertionError 的 block 地址为0x4010c0：\n\n\n然后用 SimulationManager 控制程序朝 AssertionError 开始探索：\n1234567891011121314151617181920212223&gt;&gt;&gt; simgr = project.factory.simulation_manager(entry_state)&gt;&gt;&gt; simgr.explore(find=0x4010c0)WARNING  | 2024-03-11 17:27:02,034 | angr.storage.memory_mixins.default_filler_mixin | The program is accessing memory with an unspecified value. This could indicate unwanted behavior.WARNING  | 2024-03-11 17:27:03,808 | angr.storage.memory_mixins.default_filler_mixin | angr will cope with this by generating an unconstrained symbolic variable and continuing. You can resolve this by:WARNING  | 2024-03-11 17:27:03,808 | angr.storage.memory_mixins.default_filler_mixin | 1) setting a value to the initial stateWARNING  | 2024-03-11 17:27:03,808 | angr.storage.memory_mixins.default_filler_mixin | 2) adding the state option ZERO_FILL_UNCONSTRAINED_&#123;MEMORY,REGISTERS&#125;, to make unknown regions hold nullWARNING  | 2024-03-11 17:27:03,808 | angr.storage.memory_mixins.default_filler_mixin | 3) adding the state option SYMBOL_FILL_UNCONSTRAINED_&#123;MEMORY,REGISTERS&#125;, to suppress these messages.WARNING  | 2024-03-11 17:27:03,994 | angr.storage.memory_mixins.default_filler_mixin | Filling memory at 0x7fffffffffeff70 with 1 unconstrained bytes referenced from 0x500010 (strlen+0x0 in extern-address space (0x10))&lt;SimulationManager with 829 active, 20 deadended, 1 found&gt;&gt;&gt;&gt;&gt;&gt;&gt; simgr.found[&lt;SimState @ 0x4010c0&gt;]&gt;&gt;&gt; found_state = simgr.found[0]&gt;&gt;&gt; found_state&lt;SimState @ 0x4010c0&gt;&gt;&gt;&gt; found_state.solver.eval(symbolic_buffer, cast_to=bytes)b&#x27;256\\x00\\x00\\x00\\x01\\x00\\x00\\x00\\x80\\x01\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00@ \\x08\\x08\\x00\\x02\\x00 \\x00\\x00\\x80\\x00\\x00\\x00@\\x00\\x01 \\x02\\x10\\x00\\x01 \\x10\\x00@\\x04\\x80\\x80\\x01\\x80\\x01@\\x02\\x08\\x08\\x04\\x80\\x01@\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00\\x00&#x27;&gt;&gt;&gt; len(found_state.solver.eval(symbolic_buffer, cast_to=bytes))99&gt;&gt;&gt; found_state.solver.constraints[&lt;Bool !(input_3_792[791:784] == 10)&gt;, &lt;Bool !(input_3_792[783:776] == 10)&gt;, &lt;Bool !(input_3_792[775:768] == 10)&gt;, &lt;Bool !(input_3_792[767:760] == 10)&gt;, &lt;Bool !(input_3_792[759:752] == 10)&gt;, &lt;Bool !(input_3_792[751:744] == 10)&gt;, &lt;Bool !(input_3_792[743:736] == 10)&gt;, &lt;Bool !(input_3_792[735:728] == 10)&gt;, &lt;Bool !(input_3_792[727:720] == 10)&gt;, &lt;Bool !(input_3_792[719:712] == 10)&gt;, &lt;Bool !(input_3_792[711:704] == 10)&gt;, &lt;Bool !(input_3_792[703:696] == 10)&gt;, &lt;Bool !……\n\n可以看到虽然很慢，但是 Angr 成功地算出了一个可以触发 AssertionError 的输入。计算结果保存在 SimulationManager 的found属性中，每个结果是一个 SimState 实例，通过 SimState 的solver属性可以查看可行解与约束条件。\n五、同类工具\n\n\n特性 \\ 工具\nAngr\nBAP\nTriton\nBinary Ninja\nGhidra\n\n\n\n发布年份\n2015\n2011\n2015\n2016\n2019\n\n\n开发语言\nPython\nOCaml (接口: C&#x2F;Python)\nC++ (接口: Python)\nC++\nJava\n\n\n模块化\n✅\n✅\n❌\n✅\n✅\n\n\n插件系统\n✅\n✅\n❌\n✅\n✅\n\n\n符号执行\n✅\n✅\n✅\n❌\n✅\n\n\n污点分析\n✅\n部分支持\n✅\n✅\n✅\n\n\n动静态分析\n均支持\n主要是静态分析\n主要是动态分析\n主要静态分析\n均支持\n\n\n形式化验证\n有限支持\n✅\n❌\n❌\n通过插件\n\n\n中间表示\nVEX IR\nMicrocode\nTriton IR\nLLIL&#x2F;MLIL&#x2F;HLIL\nP-Code\n\n\n社区活跃度\n高\n中\n低\n高\n高\n\n\n专长领域\n全栈式分析\n可扩展性与形式化验证\n动态分析与污点追踪\n逆向工程\n逆向工程\n\n\n跨平台支持\n广泛\n广泛\n有限\n广泛\n广泛\n\n\n学习曲线\n中等\n较高\n中等\n中等\n中等\n\n\n应用场景\nCTF&#x2F; 漏洞研究 &#x2F; 二进制加固\n安全研究 &#x2F; 形式化验证\n精确污点追踪 &#x2F; 变量跟踪\n逆向工程\n逆向工程\n\n\n开源\n✅\n部分开源\n✅\n社区版开源\n✅\n\n\n六、参考资料\nangr 原理与实践（一）——原理\nangr 官方文档\nangr 系列教程(一）核心概念及模块解读\nAngr 初学笔记\nBinary 自动分析的那些事\n","dateCreated":"2024-01-23T13:45:08+08:00","dateModified":"2024-06-26T16:27:23+08:00","datePublished":"2024-01-23T13:45:08+08:00","description":"Angr 是一款二进制分析和符号执行工具，常用于 CTF 和安全测试领域","headline":"符号执行工具——Angr 零基础入门","image":[],"mainEntityOfPage":{"@type":"WebPage","@id":"https://www.stepbystep.asia/2024/Angr%E9%9B%B6%E5%9F%BA%E7%A1%80%E5%85%A5%E9%97%A8/"},"publisher":{"@type":"Organization","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg","logo":{"@type":"ImageObject","url":"photo.jpg"}},"url":"https://www.stepbystep.asia/2024/Angr%E9%9B%B6%E5%9F%BA%E7%A1%80%E5%85%A5%E9%97%A8/","keywords":"符号执行, 安全, 工具"}</script>
     <meta name="description" content="Angr 是一款二进制分析和符号执行工具，常用于 CTF 和安全测试领域">
 <meta property="og:type" content="blog">
 <meta property="og:title" content="符号执行工具——Angr 零基础入门">
@@ -29,9 +29,9 @@
 <meta property="article:published_time" content="2024-01-23T05:45:08.000Z">
 <meta property="article:modified_time" content="2024-06-26T08:27:23.656Z">
 <meta property="article:author" content="一瓢清浅">
+<meta property="article:tag" content="符号执行">
 <meta property="article:tag" content="安全">
 <meta property="article:tag" content="工具">
-<meta property="article:tag" content="符号执行">
 <meta name="twitter:card" content="summary">
 <meta name="twitter:image" content="https://www.stepbystep.asia/2024/Angr%E9%9B%B6%E5%9F%BA%E7%A1%80%E5%85%A5%E9%97%A8/Angr%E6%A0%B8%E5%BF%83%E7%BB%84%E4%BB%B6.png">
     
@@ -578,7 +578,7 @@ <h2 id="六、参考资料"><a href="# 六、参考资料" class="headerlink" ti
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -586,7 +586,7 @@ <h2 id="六、参考资料"><a href="# 六、参考资料" class="headerlink" ti
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -638,7 +638,7 @@ <h2 id="六、参考资料"><a href="# 六、参考资料" class="headerlink" ti
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -646,7 +646,7 @@ <h2 id="六、参考资料"><a href="# 六、参考资料" class="headerlink" ti
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2024/Hexo\346\215\243\351\274\223\346\234\255\350\256\260/index.html" "b/2024/Hexo\346\215\243\351\274\223\346\234\255\350\256\260/index.html"
index aab8304..1f8517f 100644
--- "a/2024/Hexo\346\215\243\351\274\223\346\234\255\350\256\260/index.html"
+++ "b/2024/Hexo\346\215\243\351\274\223\346\234\255\350\256\260/index.html"
@@ -439,7 +439,7 @@ <h4 id="2- 添加目录导航侧边栏"><a href="#2- 添加目录导航侧边栏
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -447,7 +447,7 @@ <h4 id="2- 添加目录导航侧边栏"><a href="#2- 添加目录导航侧边栏
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -499,7 +499,7 @@ <h4 id="2- 添加目录导航侧边栏"><a href="#2- 添加目录导航侧边栏
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -507,7 +507,7 @@ <h4 id="2- 添加目录导航侧边栏"><a href="#2- 添加目录导航侧边栏
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2024/LibAFL\347\256\200\344\273\213/index.html" "b/2024/LibAFL\347\256\200\344\273\213/index.html"
index 8287267..61af17c 100644
--- "a/2024/LibAFL\347\256\200\344\273\213/index.html"
+++ "b/2024/LibAFL\347\256\200\344\273\213/index.html"
@@ -343,7 +343,7 @@ <h2 id="5- 参考资料"><a href="#5- 参考资料" class="headerlink" title="5.
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -351,7 +351,7 @@ <h2 id="5- 参考资料"><a href="#5- 参考资料" class="headerlink" title="5.
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -403,7 +403,7 @@ <h2 id="5- 参考资料"><a href="#5- 参考资料" class="headerlink" title="5.
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -411,7 +411,7 @@ <h2 id="5- 参考资料"><a href="#5- 参考资料" class="headerlink" title="5.
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2024/Python\350\277\233\351\230\266\342\200\224\342\200\224\345\271\266\345\217\221\347\274\226\347\250\213/index.html" "b/2024/Python\350\277\233\351\230\266\342\200\224\342\200\224\345\271\266\345\217\221\347\274\226\347\250\213/index.html"
index 8c583d3..e2f32b9 100644
--- "a/2024/Python\350\277\233\351\230\266\342\200\224\342\200\224\345\271\266\345\217\221\347\274\226\347\250\213/index.html"
+++ "b/2024/Python\350\277\233\351\230\266\342\200\224\342\200\224\345\271\266\345\217\221\347\274\226\347\250\213/index.html"
@@ -300,7 +300,7 @@ <h2 id="一、基本概念"><a href="# 一、基本概念" class="headerlink" ti
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -308,7 +308,7 @@ <h2 id="一、基本概念"><a href="# 一、基本概念" class="headerlink" ti
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -359,7 +359,7 @@ <h2 id="一、基本概念"><a href="# 一、基本概念" class="headerlink" ti
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -367,7 +367,7 @@ <h2 id="一、基本概念"><a href="# 一、基本概念" class="headerlink" ti
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2024/Symbion\345\210\235\346\216\242/index.html" "b/2024/Symbion\345\210\235\346\216\242/index.html"
index 36efec1..e11382b 100644
--- "a/2024/Symbion\345\210\235\346\216\242/index.html"
+++ "b/2024/Symbion\345\210\235\346\216\242/index.html"
@@ -14,7 +14,7 @@
     
     
     
-    <script type="application/ld+json">{"@context":"http://schema.org","@type":"BlogPosting","author":{"@type":"Person","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg"},"articleBody":"\n\n一、原理介绍  原始论文：SYMBION: Interleaving Symbolic with Concrete Execution\n官方博客：symbion: fusing concrete and symbolic execution\n1. 背景  符号执行可以用来获取走到指定程序区块的可行输入，但是符号执行在实际应用中面临很多挑战：\n\n路径爆炸问题：符号执行从程序入口开始探索，当程序中出现分支和循环时，会导致路径状态呈指数增长。\n\n环境交互问题：当程序与系统或三方库进行交互时，由于缺失源码或交互复杂等原因，会阻碍符号执行的状态更新。\n\n\n2. 方案Symbion 通过具体执行环境与符号执行环境的同步与切换，实现具体值和符号值交替执行。通过这种交替执行机制，减少符号执行探索的路径状态，并解决程序对外部环境的依赖问题。\n图中演示了具体执行环境与符号执行环境相互切换的过程：\n\n\n目标是对从 PoI 到TP的路径进行符号推理，CSP节点是程序入口。从 CSP 到PoI要经过复杂的运算和交互，这导致直接从 CSP 开始符号推理，将无法向后演进到PoI。\n使用 Symbion 时，首先将具体值输入给 CSP，在具体执行后到达PoI。然后在PoI 切换到符号执行环境，算出到达 TP 所需的变量取值。再将算出来的结果同步给具体执行环境，在 PoI 恢复具体执行，即可到达TP。\n3. 实现Symbion 的架构设计如下：\n\n\nSymbion 在 Angr 的基础上，增加了如下组件：\n\nConcrete Target：定义了与具体执行环境交互的方法，通过实现这些方法可以让 Symbion 支持特定的交互环境。例如 Symbion 实现的GDBConcreteTarget，它通过 gdbsever 控制远程目标程序的交互。\n\nread_memory(address, nbytes)：从具体进程内存中 address 开始读取 nbytes 字节。\nwrite_memory(address, value)：在具体进程内存中 address 处写入value。\nread_register(register)：返回具体进程中指定 register 的内容。\nwrite_register(register, value)：在具体进程的 register 中写入value。\nset_breakpoint(address)：在具体进程中的 address 处设置断点。\nremove_breakpoint(address)：移除之前在 address 处设置的断点。\nrun()：恢复具体进程的执行。\n\n\nSimEngineConcrete：利用 Concrete Target 的方法执行以下步骤，实现 Symbolic 环境到 Concrete 环境的切换。\n\n用用户提供的值修改具体进程的内存。\n用用户提供的值修改具体进程的寄存器。\n通过断点来设置新的PoI。\n恢复程序的具体执行，直到到达新的PoI，并将控制权交还给 Angr。\n\n\nConcrete SimPlugin：当具体执行到达 PoI，这个插件实现Concrete 环境到 Symbolic 环境的切换，它将具体状态导入 Angr 来创建SimState。\n\n将 SimState 的内存后端重定向到具体进程的内存，即在符号执行过程中，SimState的内存读取都是从具体进程中来操作。\n\n将具体进程中的寄存器值复制到 SimState 中。\n\n将具体进程的内存映射与 Angr 在启动期间加载的内存映射同步。\n\n\n\nSYMBION Exploration Technique：提供用户使用 Symbion 的 API ，通过这些 API ，用户指定 PoI 的地址，在具体执行到达 PoI 后，Symbion 切换为符号执行。\n\n\n简而言之，在 Symbion 的工作流程中，各组件的作用为：\n\n用户通过 SYMBION Exploration Technique 指定PoI。\n\n程序经过具体执行到达到 PoI 后暂停， Concrete SimPlugin 根据具体执行环境来创建一个SimState。\n\nAngr 通过符号执行，计算到达下一个 PoI 的可行解。\n\nSimEngineConcrete 用 Angr 算出来的结果修改具体进程中的变量，恢复具体执行直到下一个PoI。\n\n\n二、示例分析Symbion 官方示例：test_concrete_not_packed_elf64\n示例使用的二进制：not_packed_elf64\n二进制没有给源码，通过 IDA 逆向源码，并用 AI 改写，得到 C 源码如下，源码中取 dest 变量中的一串数值做判断，不同的分支触发不同的print。\n\n\n在 Symbion 的示例代码中，首先通过具体执行到达 BINARY_DECISION_ADDRESS，然后用符号执行探索从BINARY_DECISION_ADDRESS 到DROP_STAGE2_V2的路径。\n\n\n在符号执行求解成功后，再将求解结果传递给具体执行环境，并启动具体执行，即可到达DROP_STAGE2_V2：\n\n\n结合 CFG 和源码可以看到，符号执行的起点 BINARY_DECISION_ADDRESS 对应源码图右侧 55 行，符号执行的终点 DROP_STAGE2_V2 对应源码图右侧 77 行。通过 Symbion，实现了对二进制按指定路径的进行分析的目的。\n\n\nSymbion 的示例代码中，涉及到很多内存地址操作，需要结合 IDA 的反编译源码来看：\n\n\n\nline 2：启动具体执行，到 BINARY_DECISION_ADDRESS 停下，即 IDA 反编译源码第 67 行代码\n\nline 3：从具体执行环境的获取寄存器中的栈指针sp，指向栈顶（即栈开始的位置）\n\nline 4：从栈顶 sp 开始读取 20 个字节的内存，这块内存包括反编译源码中的变量 i 和v5\n\nline 5：判断是否为符号变量，此时为具体执行环境，所以不是符号变量\n\nline 7：定义符号变量，变量名为arg0，大小为 32 字节\n\nline 8：用 symbolic_buffer_memory 指向具体执行环境中 rbp-0xc0 的内存地址，它对应 IDA 反编译源码中的数组 s 的起始地址。\n\nline 10：从 symbolic_buffer_memory 开始加载 36 个字节的内存\n\nline 11：判断是否为符号变量，此时为具体执行环境，所以不是符号变量\n\nline 12：将 angr0 存储到symbolic_buffer_memory，将符号变量与具体执行环境的内存地址关联起来\n\nline 15：从 symbolic_buffer_memory 开始加载 36 个字节的内存\n\nline 16：判断是否为符号变量，因为 把 angr0 保存到这块内存，所以是符号变量\n\nline 19：符号执行状态初始化\n\nline 37：启动符号执行\n\n\n可以看到，Symbion 在切换具体执行环境和符号执行环境时，是通过内存地址把变量的具体值和符号值对应起来。需要结合 IDA 反编译的源码中给出的变量地址和内存大小，人工设置符号执行中所需要的符号变量，难以实现自动化。","dateCreated":"2024-02-27T16:33:24+08:00","dateModified":"2024-06-26T16:27:23+08:00","datePublished":"2024-02-27T16:33:24+08:00","description":"Symbion 是 Angr 的一款插件，可以实现具体执行与符号执行交替运行","headline":"交替符号执行工具——Symbion 初探","image":[],"mainEntityOfPage":{"@type":"WebPage","@id":"https://www.stepbystep.asia/2024/Symbion%E5%88%9D%E6%8E%A2/"},"publisher":{"@type":"Organization","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg","logo":{"@type":"ImageObject","url":"photo.jpg"}},"url":"https://www.stepbystep.asia/2024/Symbion%E5%88%9D%E6%8E%A2/","keywords":"安全, 工具, 符号执行"}</script>
+    <script type="application/ld+json">{"@context":"http://schema.org","@type":"BlogPosting","author":{"@type":"Person","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg"},"articleBody":"\n\n一、原理介绍  原始论文：SYMBION: Interleaving Symbolic with Concrete Execution\n官方博客：symbion: fusing concrete and symbolic execution\n1. 背景  符号执行可以用来获取走到指定程序区块的可行输入，但是符号执行在实际应用中面临很多挑战：\n\n路径爆炸问题：符号执行从程序入口开始探索，当程序中出现分支和循环时，会导致路径状态呈指数增长。\n\n环境交互问题：当程序与系统或三方库进行交互时，由于缺失源码或交互复杂等原因，会阻碍符号执行的状态更新。\n\n\n2. 方案Symbion 通过具体执行环境与符号执行环境的同步与切换，实现具体值和符号值交替执行。通过这种交替执行机制，减少符号执行探索的路径状态，并解决程序对外部环境的依赖问题。\n图中演示了具体执行环境与符号执行环境相互切换的过程：\n\n\n目标是对从 PoI 到TP的路径进行符号推理，CSP节点是程序入口。从 CSP 到PoI要经过复杂的运算和交互，这导致直接从 CSP 开始符号推理，将无法向后演进到PoI。\n使用 Symbion 时，首先将具体值输入给 CSP，在具体执行后到达PoI。然后在PoI 切换到符号执行环境，算出到达 TP 所需的变量取值。再将算出来的结果同步给具体执行环境，在 PoI 恢复具体执行，即可到达TP。\n3. 实现Symbion 的架构设计如下：\n\n\nSymbion 在 Angr 的基础上，增加了如下组件：\n\nConcrete Target：定义了与具体执行环境交互的方法，通过实现这些方法可以让 Symbion 支持特定的交互环境。例如 Symbion 实现的GDBConcreteTarget，它通过 gdbsever 控制远程目标程序的交互。\n\nread_memory(address, nbytes)：从具体进程内存中 address 开始读取 nbytes 字节。\nwrite_memory(address, value)：在具体进程内存中 address 处写入value。\nread_register(register)：返回具体进程中指定 register 的内容。\nwrite_register(register, value)：在具体进程的 register 中写入value。\nset_breakpoint(address)：在具体进程中的 address 处设置断点。\nremove_breakpoint(address)：移除之前在 address 处设置的断点。\nrun()：恢复具体进程的执行。\n\n\nSimEngineConcrete：利用 Concrete Target 的方法执行以下步骤，实现 Symbolic 环境到 Concrete 环境的切换。\n\n用用户提供的值修改具体进程的内存。\n用用户提供的值修改具体进程的寄存器。\n通过断点来设置新的PoI。\n恢复程序的具体执行，直到到达新的PoI，并将控制权交还给 Angr。\n\n\nConcrete SimPlugin：当具体执行到达 PoI，这个插件实现Concrete 环境到 Symbolic 环境的切换，它将具体状态导入 Angr 来创建SimState。\n\n将 SimState 的内存后端重定向到具体进程的内存，即在符号执行过程中，SimState的内存读取都是从具体进程中来操作。\n\n将具体进程中的寄存器值复制到 SimState 中。\n\n将具体进程的内存映射与 Angr 在启动期间加载的内存映射同步。\n\n\n\nSYMBION Exploration Technique：提供用户使用 Symbion 的 API ，通过这些 API ，用户指定 PoI 的地址，在具体执行到达 PoI 后，Symbion 切换为符号执行。\n\n\n简而言之，在 Symbion 的工作流程中，各组件的作用为：\n\n用户通过 SYMBION Exploration Technique 指定PoI。\n\n程序经过具体执行到达到 PoI 后暂停， Concrete SimPlugin 根据具体执行环境来创建一个SimState。\n\nAngr 通过符号执行，计算到达下一个 PoI 的可行解。\n\nSimEngineConcrete 用 Angr 算出来的结果修改具体进程中的变量，恢复具体执行直到下一个PoI。\n\n\n二、示例分析Symbion 官方示例：test_concrete_not_packed_elf64\n示例使用的二进制：not_packed_elf64\n二进制没有给源码，通过 IDA 逆向源码，并用 AI 改写，得到 C 源码如下，源码中取 dest 变量中的一串数值做判断，不同的分支触发不同的print。\n\n\n在 Symbion 的示例代码中，首先通过具体执行到达 BINARY_DECISION_ADDRESS，然后用符号执行探索从BINARY_DECISION_ADDRESS 到DROP_STAGE2_V2的路径。\n\n\n在符号执行求解成功后，再将求解结果传递给具体执行环境，并启动具体执行，即可到达DROP_STAGE2_V2：\n\n\n结合 CFG 和源码可以看到，符号执行的起点 BINARY_DECISION_ADDRESS 对应源码图右侧 55 行，符号执行的终点 DROP_STAGE2_V2 对应源码图右侧 77 行。通过 Symbion，实现了对二进制按指定路径的进行分析的目的。\n\n\nSymbion 的示例代码中，涉及到很多内存地址操作，需要结合 IDA 的反编译源码来看：\n\n\n\nline 2：启动具体执行，到 BINARY_DECISION_ADDRESS 停下，即 IDA 反编译源码第 67 行代码\n\nline 3：从具体执行环境的获取寄存器中的栈指针sp，指向栈顶（即栈开始的位置）\n\nline 4：从栈顶 sp 开始读取 20 个字节的内存，这块内存包括反编译源码中的变量 i 和v5\n\nline 5：判断是否为符号变量，此时为具体执行环境，所以不是符号变量\n\nline 7：定义符号变量，变量名为arg0，大小为 32 字节\n\nline 8：用 symbolic_buffer_memory 指向具体执行环境中 rbp-0xc0 的内存地址，它对应 IDA 反编译源码中的数组 s 的起始地址。\n\nline 10：从 symbolic_buffer_memory 开始加载 36 个字节的内存\n\nline 11：判断是否为符号变量，此时为具体执行环境，所以不是符号变量\n\nline 12：将 angr0 存储到symbolic_buffer_memory，将符号变量与具体执行环境的内存地址关联起来\n\nline 15：从 symbolic_buffer_memory 开始加载 36 个字节的内存\n\nline 16：判断是否为符号变量，因为 把 angr0 保存到这块内存，所以是符号变量\n\nline 19：符号执行状态初始化\n\nline 37：启动符号执行\n\n\n可以看到，Symbion 在切换具体执行环境和符号执行环境时，是通过内存地址把变量的具体值和符号值对应起来。需要结合 IDA 反编译的源码中给出的变量地址和内存大小，人工设置符号执行中所需要的符号变量，难以实现自动化。","dateCreated":"2024-02-27T16:33:24+08:00","dateModified":"2024-06-26T16:27:23+08:00","datePublished":"2024-02-27T16:33:24+08:00","description":"Symbion 是 Angr 的一款插件，可以实现具体执行与符号执行交替运行","headline":"交替符号执行工具——Symbion 初探","image":[],"mainEntityOfPage":{"@type":"WebPage","@id":"https://www.stepbystep.asia/2024/Symbion%E5%88%9D%E6%8E%A2/"},"publisher":{"@type":"Organization","name":"一瓢清浅","sameAs":["#about","https://github.com/jiliguluss"],"image":"photo.jpg","logo":{"@type":"ImageObject","url":"photo.jpg"}},"url":"https://www.stepbystep.asia/2024/Symbion%E5%88%9D%E6%8E%A2/","keywords":"符号执行, 安全, 工具"}</script>
     <meta name="description" content="Symbion 是 Angr 的一款插件，可以实现具体执行与符号执行交替运行">
 <meta property="og:type" content="blog">
 <meta property="og:title" content="交替符号执行工具——Symbion 初探">
@@ -32,9 +32,9 @@
 <meta property="article:published_time" content="2024-02-27T08:33:24.000Z">
 <meta property="article:modified_time" content="2024-06-26T08:27:23.616Z">
 <meta property="article:author" content="一瓢清浅">
+<meta property="article:tag" content="符号执行">
 <meta property="article:tag" content="安全">
 <meta property="article:tag" content="工具">
-<meta property="article:tag" content="符号执行">
 <meta name="twitter:card" content="summary">
 <meta name="twitter:image" content="https://www.stepbystep.asia/2024/Symbion%E5%88%9D%E6%8E%A2/symbion%E4%B8%8A%E4%B8%8B%E6%96%87%E5%88%87%E6%8D%A2.png">
     
@@ -413,7 +413,7 @@ <h2 id="二、示例分析"><a href="# 二、示例分析" class="headerlink" ti
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -421,7 +421,7 @@ <h2 id="二、示例分析"><a href="# 二、示例分析" class="headerlink" ti
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -473,7 +473,7 @@ <h2 id="二、示例分析"><a href="# 二、示例分析" class="headerlink" ti
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -481,7 +481,7 @@ <h2 id="二、示例分析"><a href="# 二、示例分析" class="headerlink" ti
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git "a/2024/\346\261\241\347\202\271\345\210\206\346\236\220\345\267\245\345\205\267\342\200\224\342\200\224libdft64/index.html" "b/2024/\346\261\241\347\202\271\345\210\206\346\236\220\345\267\245\345\205\267\342\200\224\342\200\224libdft64/index.html"
index e4bff4b..1cb74f0 100644
--- "a/2024/\346\261\241\347\202\271\345\210\206\346\236\220\345\267\245\345\205\267\342\200\224\342\200\224libdft64/index.html"
+++ "b/2024/\346\261\241\347\202\271\345\210\206\346\236\220\345\267\245\345\205\267\342\200\224\342\200\224libdft64/index.html"
@@ -336,7 +336,7 @@ <h4 id="2- 源码解读"><a href="#2- 源码解读" class="headerlink" title="(2
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -344,7 +344,7 @@ <h4 id="2- 源码解读"><a href="#2- 源码解读" class="headerlink" title="(2
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
@@ -396,7 +396,7 @@ <h4 id="2- 源码解读"><a href="#2- 源码解读" class="headerlink" title="(2
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -404,7 +404,7 @@ <h4 id="2- 源码解读"><a href="#2- 源码解读" class="headerlink" title="(2
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git a/404.html b/404.html
index 23ffcdc..817f2b1 100644
--- a/404.html
+++ b/404.html
@@ -294,7 +294,7 @@ <h1 class="post-title">
     </nav>
     <ul class="post-actions post-action-share">
         <li class="post-action hide-lg hide-md hide-sm">
-            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Share this post">
+            <a class="post-action-btn btn btn--default btn-open-shareoptions" href="#btn-open-shareoptions" aria-label="Diesen Beitrag teilen">
                 <i class="fa fa-share-alt" aria-hidden="true"></i>
             </a>
         </li>
@@ -302,7 +302,7 @@ <h1 class="post-title">
 	
         <li class="post-action">
             
-                <a class="post-action-btn btn btn--default" href="#" aria-label="Back to top">
+                <a class="post-action-btn btn btn--default" href="#" aria-label="Nach oben">
             
                 <i class="fa fa-list" aria-hidden="true"></i>
             </a>
diff --git a/all-tags/index.html b/all-tags/index.html
index cbfa104..a4caf9e 100644
--- a/all-tags/index.html
+++ b/all-tags/index.html
@@ -233,18 +233,10 @@ <h4 class="archive-result text-color-base text-xlarge" data-message-zero="没有
                 AFL
             </a>
         
-            <a class="tag tag--primary tag--small" href="#Angr-list" data-tag="angr">
-                Angr
-            </a>
-        
             <a class="tag tag--primary tag--small" href="#C++-list" data-tag="c++">
                 C++
             </a>
         
-            <a class="tag tag--primary tag--small" href="#CTF-list" data-tag="ctf">
-                CTF
-            </a>
-        
             <a class="tag tag--primary tag--small" href="#Docker-list" data-tag="docker">
                 Docker
             </a>
@@ -365,17 +357,6 @@ <h4 class="archive-title">
                 </ul>
             </div>
         
-            <div id="Angr-list" class="archive box" data-tag="angr">
-                <h4 class="archive-title">
-                    <a class="link-unstyled" href="/tags/Angr">
-                        Angr (0)
-                    </a>
-                </h4>
-                <ul class="archive-posts">
-                    
-                </ul>
-            </div>
-        
             <div id="C++-list" class="archive box" data-tag="c++">
                 <h4 class="archive-title">
                     <a class="link-unstyled" href="/tags/C">
@@ -423,17 +404,6 @@ <h4 class="archive-title">
                 </ul>
             </div>
         
-            <div id="CTF-list" class="archive box" data-tag="ctf">
-                <h4 class="archive-title">
-                    <a class="link-unstyled" href="/tags/CTF">
-                        CTF (0)
-                    </a>
-                </h4>
-                <ul class="archive-posts">
-                    
-                </ul>
-            </div>
-        
             <div id="Docker-list" class="archive box" data-tag="docker">
                 <h4 class="archive-title">
                     <a class="link-unstyled" href="/tags/Docker">
diff --git a/sitemap.xml b/sitemap.xml
index da733f9..0d8b1b4 100644
--- a/sitemap.xml
+++ b/sitemap.xml
@@ -221,14 +221,7 @@
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/Angr/</loc>
-    <lastmod>2024-06-27</lastmod>
-    <changefreq>weekly</changefreq>
-    <priority>0.2</priority>
-  </url>
-  
-  <url>
-    <loc>https://www.stepbystep.asia/tags/CTF/</loc>
+    <loc>https://www.stepbystep.asia/tags/%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
@@ -249,133 +242,126 @@
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/Hexo/</loc>
-    <lastmod>2024-06-27</lastmod>
-    <changefreq>weekly</changefreq>
-    <priority>0.2</priority>
-  </url>
-  
-  <url>
-    <loc>https://www.stepbystep.asia/tags/%E5%8D%9A%E5%AE%A2/</loc>
+    <loc>https://www.stepbystep.asia/tags/Docker/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/%E7%BD%91%E7%AB%99/</loc>
+    <loc>https://www.stepbystep.asia/tags/%E5%AE%B9%E5%99%A8/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/tranquilpeak/</loc>
+    <loc>https://www.stepbystep.asia/tags/AFL/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/AFL/</loc>
+    <loc>https://www.stepbystep.asia/tags/Fuzz/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/Fuzz/</loc>
+    <loc>https://www.stepbystep.asia/tags/LibFuzzer/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/Docker/</loc>
+    <loc>https://www.stepbystep.asia/tags/Python/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/%E5%AE%B9%E5%99%A8/</loc>
+    <loc>https://www.stepbystep.asia/tags/Web/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/Python/</loc>
+    <loc>https://www.stepbystep.asia/tags/%E7%88%AC%E8%99%AB/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/Web/</loc>
+    <loc>https://www.stepbystep.asia/tags/python/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/%E7%88%AC%E8%99%AB/</loc>
+    <loc>https://www.stepbystep.asia/tags/IntelPin/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/python/</loc>
+    <loc>https://www.stepbystep.asia/tags/%E6%B1%A1%E7%82%B9%E5%88%86%E6%9E%90/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/LibFuzzer/</loc>
+    <loc>https://www.stepbystep.asia/tags/Hexo/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/Linux/</loc>
+    <loc>https://www.stepbystep.asia/tags/%E5%8D%9A%E5%AE%A2/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F/</loc>
+    <loc>https://www.stepbystep.asia/tags/%E7%BD%91%E7%AB%99/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/%E5%91%BD%E4%BB%A4/</loc>
+    <loc>https://www.stepbystep.asia/tags/tranquilpeak/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/IntelPin/</loc>
+    <loc>https://www.stepbystep.asia/tags/Linux/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/%E6%B1%A1%E7%82%B9%E5%88%86%E6%9E%90/</loc>
+    <loc>https://www.stepbystep.asia/tags/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/tags/%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C/</loc>
+    <loc>https://www.stepbystep.asia/tags/%E5%91%BD%E4%BB%A4/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
@@ -398,14 +384,14 @@
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/categories/web/</loc>
+    <loc>https://www.stepbystep.asia/categories/%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80/C/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/categories/%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80/C/</loc>
+    <loc>https://www.stepbystep.asia/categories/%E5%BC%80%E5%8F%91/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
@@ -426,35 +412,35 @@
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/categories/web/%E4%B8%AA%E4%BA%BA%E5%8D%9A%E5%AE%A2/</loc>
+    <loc>https://www.stepbystep.asia/categories/%E5%BC%80%E5%8F%91/Docker/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/categories/%E5%BC%80%E5%8F%91/</loc>
+    <loc>https://www.stepbystep.asia/categories/%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80/Python/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/categories/%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80/Python/</loc>
+    <loc>https://www.stepbystep.asia/categories/%E5%BC%80%E5%8F%91/%E7%88%AC%E8%99%AB/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/categories/%E5%BC%80%E5%8F%91/%E7%88%AC%E8%99%AB/</loc>
+    <loc>https://www.stepbystep.asia/categories/%E5%AE%89%E5%85%A8/%E6%B1%A1%E7%82%B9%E5%88%86%E6%9E%90/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/categories/%E5%BC%80%E5%8F%91/Docker/</loc>
+    <loc>https://www.stepbystep.asia/categories/web/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>
@@ -468,7 +454,7 @@
   </url>
   
   <url>
-    <loc>https://www.stepbystep.asia/categories/%E5%AE%89%E5%85%A8/%E6%B1%A1%E7%82%B9%E5%88%86%E6%9E%90/</loc>
+    <loc>https://www.stepbystep.asia/categories/web/%E4%B8%AA%E4%BA%BA%E5%8D%9A%E5%AE%A2/</loc>
     <lastmod>2024-06-27</lastmod>
     <changefreq>weekly</changefreq>
     <priority>0.2</priority>