Site updated: 2023-10-15 11:56:56

wr-web · Oct 15, 2023 · 38427a3 · 38427a3
1 parent c6c7114
commit 38427a3
Show file tree

Hide file tree

Showing 119 changed files with 1,636 additions and 1,001 deletions.
diff --git a/2020/09/27/win_handle/index.html b/2020/09/27/win_handle/index.html
diff --git a/2020/09/28/marked_book/index.html b/2020/09/28/marked_book/index.html
diff --git a/2020/09/28/thread_process_loader/index.html b/2020/09/28/thread_process_loader/index.html
diff --git a/2020/11/10/anti_debug_hardware_breakpoint/index.html b/2020/11/10/anti_debug_hardware_breakpoint/index.html
diff --git a/2020/12/17/write_up_findkey/index.html b/2020/12/17/write_up_findkey/index.html
diff --git a/2021/03/14/HGAME_WEEK1_WP/index.html b/2021/03/14/HGAME_WEEK1_WP/index.html
diff --git a/2021/03/14/HGAME_WEEK2_WP/index.html b/2021/03/14/HGAME_WEEK2_WP/index.html
diff --git a/2021/03/14/HGAME_WEEK3_WP/index.html b/2021/03/14/HGAME_WEEK3_WP/index.html
diff --git a/2021/03/14/HGAME_WEEK4_WP/index.html b/2021/03/14/HGAME_WEEK4_WP/index.html
diff --git a/2021/03/21/HGAME_FINAL/index.html b/2021/03/21/HGAME_FINAL/index.html
diff --git a/2021/04/15/call_convention/index.html b/2021/04/15/call_convention/index.html
diff --git a/2021/05/22/dll_injection_hook/index.html b/2021/05/22/dll_injection_hook/index.html
diff --git a/2021/07/19/rctf_valgrind/index.html b/2021/07/19/rctf_valgrind/index.html
diff --git a/2021/08/16/angr_learn_introduction/index.html b/2021/08/16/angr_learn_introduction/index.html
diff --git a/2021/12/27/sctf_2021_ret2text/index.html b/2021/12/27/sctf_2021_ret2text/index.html
diff --git a/2022/03/13/d3d12-6/index.html b/2022/03/13/d3d12-6/index.html
diff --git a/2022/03/16/d3d12-7/index.html b/2022/03/16/d3d12-7/index.html
diff --git a/2022/03/17/d3d12-8/index.html b/2022/03/17/d3d12-8/index.html
diff --git a/2022/04/07/HGAME2022-partialPWN/index.html b/2022/04/07/HGAME2022-partialPWN/index.html
diff --git a/2023/09/21/散記-9-21-23/index.html b/2023/09/21/散記-9-21-23/index.html
diff --git a/2023/09/22/散記-9-22-23/index.html b/2023/09/22/散記-9-22-23/index.html
diff --git a/2023/09/23/散記-10-6-23/index.html b/2023/09/23/散記-10-6-23/index.html
diff --git a/2023/09/23/散記-9-23-23/index.html b/2023/09/23/散記-9-23-23/index.html
diff --git a/2023/09/24/散記-9-24-23/index.html b/2023/09/24/散記-9-24-23/index.html
diff --git a/2023/09/25/散記-9-25-23/index.html b/2023/09/25/散記-9-25-23/index.html
diff --git a/2023/09/26/散記-9-26-23/index.html b/2023/09/26/散記-9-26-23/index.html
diff --git a/2023/09/27/散記-9-27-23/index.html b/2023/09/27/散記-9-27-23/index.html
diff --git a/2023/09/28/散記-9-28-23/index.html b/2023/09/28/散記-9-28-23/index.html
diff --git a/2023/10/05/散記-10-5-23/index.html b/2023/10/05/散記-10-5-23/index.html
diff --git a/2023/10/08/散記-10-8-23/index.html b/2023/10/08/散記-10-8-23/index.html
diff --git a/2023/10/12/散記-10-12-23/index.html b/2023/10/12/散記-10-12-23/index.html
diff --git a/2023/10/14/散記-10-13-23/index.html b/2023/10/14/散記-10-13-23/index.html
diff --git a/about/index.html b/about/index.html
diff --git a/archives/2020/09/index.html b/archives/2020/09/index.html
diff --git a/archives/2020/11/index.html b/archives/2020/11/index.html
diff --git a/archives/2020/12/index.html b/archives/2020/12/index.html
diff --git a/archives/2020/index.html b/archives/2020/index.html
diff --git a/archives/2021/03/index.html b/archives/2021/03/index.html
diff --git a/archives/2021/04/index.html b/archives/2021/04/index.html
diff --git a/archives/2021/05/index.html b/archives/2021/05/index.html
diff --git a/archives/2021/07/index.html b/archives/2021/07/index.html
diff --git a/archives/2021/08/index.html b/archives/2021/08/index.html
diff --git a/archives/2021/12/index.html b/archives/2021/12/index.html
diff --git a/archives/2021/index.html b/archives/2021/index.html
diff --git a/archives/2021/page/2/index.html b/archives/2021/page/2/index.html
diff --git a/archives/2022/03/index.html b/archives/2022/03/index.html
diff --git a/archives/2022/04/index.html b/archives/2022/04/index.html
diff --git a/archives/2022/index.html b/archives/2022/index.html
diff --git a/archives/2023/09/index.html b/archives/2023/09/index.html
diff --git a/archives/2023/09/page/2/index.html b/archives/2023/09/page/2/index.html
diff --git a/archives/2023/10/index.html b/archives/2023/10/index.html
diff --git a/archives/2023/index.html b/archives/2023/index.html
diff --git a/archives/2023/page/2/index.html b/archives/2023/page/2/index.html
diff --git a/archives/2023/page/3/index.html b/archives/2023/page/3/index.html
diff --git a/archives/index.html b/archives/index.html
diff --git a/archives/page/2/index.html b/archives/page/2/index.html
diff --git a/archives/page/3/index.html b/archives/page/3/index.html
diff --git a/archives/page/4/index.html b/archives/page/4/index.html
diff --git a/archives/page/5/index.html b/archives/page/5/index.html
diff --git a/archives/page/6/index.html b/archives/page/6/index.html
diff --git a/archives/page/7/index.html b/archives/page/7/index.html
diff --git a/atom.xml b/atom.xml
@@ -6,7 +6,7 @@
   <link href="https://wr-web.github.io/atom.xml" rel="self"/>
 
   <link href="https://wr-web.github.io/"/>
-  <updated>2023-10-13T14:51:52.575Z</updated>
+  <updated>2023-10-14T02:39:06.318Z</updated>
   <id>https://wr-web.github.io/</id>
 
   <author>
@@ -16,6 +16,31 @@
 
   <generator uri="https://hexo.io/">Hexo</generator>
 
+  <entry>
+    <title>散記</title>
+    <link href="https://wr-web.github.io/2023/10/14/%E6%95%A3%E8%A8%98-10-13-23/"/>
+    <id>https://wr-web.github.io/2023/10/14/%E6%95%A3%E8%A8%98-10-13-23/</id>
+    <published>2023-10-14T04:00:00.000Z</published>
+    <updated>2023-10-14T02:39:06.318Z</updated>
+
+
+    <summary type="html">散記</summary>
+
+
+
+    <category term="Notes" scheme="https://wr-web.github.io/categories/Notes/"/>
+
+
+    <category term="Notes" scheme="https://wr-web.github.io/tags/Notes/"/>
+
+    <category term="抽象解释" scheme="https://wr-web.github.io/tags/%E6%8A%BD%E8%B1%A1%E8%A7%A3%E9%87%8A/"/>
+
+    <category term="数值程序分析" scheme="https://wr-web.github.io/tags/%E6%95%B0%E5%80%BC%E7%A8%8B%E5%BA%8F%E5%88%86%E6%9E%90/"/>
+
+    <category term="抽象域" scheme="https://wr-web.github.io/tags/%E6%8A%BD%E8%B1%A1%E5%9F%9F/"/>
+
+  </entry>
+
   <entry>
     <title>静态分析相关综述笔记</title>
     <link href="https://wr-web.github.io/2023/10/12/%E6%95%A3%E8%A8%98-10-12-23/"/>
@@ -447,27 +472,4 @@
 
   </entry>
 
-  <entry>
-    <title>Dll INJECTION &amp;&amp; HOOK</title>
-    <link href="https://wr-web.github.io/2021/05/22/dll_injection_hook/"/>
-    <id>https://wr-web.github.io/2021/05/22/dll_injection_hook/</id>
-    <published>2021-05-22T12:00:00.000Z</published>
-    <updated>2022-04-12T11:08:56.279Z</updated>
-
-
-    <summary type="html">learn hook</summary>
-
-
-
-    <category term="Windows" scheme="https://wr-web.github.io/categories/Windows/"/>
-
-
-    <category term="留坑" scheme="https://wr-web.github.io/tags/%E7%95%99%E5%9D%91/"/>
-
-    <category term="Hacking" scheme="https://wr-web.github.io/tags/Hacking/"/>
-
-    <category term="DLL hook" scheme="https://wr-web.github.io/tags/DLL-hook/"/>
-
-  </entry>
-
 </feed>
diff --git a/categories/DX12/index.html b/categories/DX12/index.html
diff --git a/categories/HGAME/index.html b/categories/HGAME/index.html
diff --git a/categories/HGAME/page/2/index.html b/categories/HGAME/page/2/index.html
diff --git a/categories/HGAME/留坑/index.html b/categories/HGAME/留坑/index.html
diff --git a/categories/Notes/index.html b/categories/Notes/index.html
diff --git a/categories/Notes/page/2/index.html b/categories/Notes/page/2/index.html
diff --git a/categories/Notes/page/3/index.html b/categories/Notes/page/3/index.html
diff --git a/categories/Windbg/Anti-debug/index.html b/categories/Windbg/Anti-debug/index.html
diff --git a/categories/Windbg/index.html b/categories/Windbg/index.html
diff --git a/categories/Windows/index.html b/categories/Windows/index.html
diff --git a/categories/books/index.html b/categories/books/index.html
diff --git a/categories/call-convention/index.html b/categories/call-convention/index.html
diff --git a/categories/index.html b/categories/index.html
diff --git a/categories/write-up/index.html b/categories/write-up/index.html
diff --git a/categories/write-up/re/index.html b/categories/write-up/re/index.html
diff --git a/categories/符号执行/Angr/RCTF/index.html b/categories/符号执行/Angr/RCTF/index.html
diff --git a/categories/符号执行/Angr/index.html b/categories/符号执行/Angr/index.html
diff --git a/categories/符号执行/index.html b/categories/符号执行/index.html
diff --git a/index.html b/index.html
diff --git a/link/index.html b/link/index.html
diff --git a/links/index.html b/links/index.html
diff --git a/page/2/index.html b/page/2/index.html
diff --git a/page/3/index.html b/page/3/index.html
diff --git a/page/4/index.html b/page/4/index.html
diff --git a/search.xml b/search.xml
@@ -1,5 +1,45 @@
 <?xml version="1.0" encoding="utf-8"?>
 <search>
+  <entry>
+    <title>散記</title>
+    <url>/2023/10/14/%E6%95%A3%E8%A8%98-10-13-23/</url>
+    <content><![CDATA[<blockquote>
+<p> 打算早上先看一個視頻，具體瞭解一下抽象解釋的相關概念，下午把 Tracer: Signature-based Static Analysis for Detecting Recurring Vulnerabilities 看了</p>
+</blockquote>
+<p> SIG-程序分析 技术沙龙 数值程序分析—陈立前（国防科技大学）</p>
+<p>不變式（值）生成</p>
+<p>抽象解釋：對程序語義進行抽象（近似）的通用理論</p>
+<p>Galois 連接</p>
+<p>抽象域</p>
+<p><img src="https://i.imgs.ovh/2023/10/14/XyLPT.png" alt="image-20231014095701310"></p>
+<p>數值抽象域，在其上的析取，合取</p>
+<p><img src="https://i.imgs.ovh/2023/10/14/XyPip.png" alt="image-20231014095821500"></p>
+<p>多面躰域（綫性不等式域），八邊形域（刻畫+1,-1,0，兩個變量之間的關係）</p>
+<p>上近似：無漏報但是可能存在誤報</p>
+<p>凸抽象域（綫性抽象域），凸抽象域（區間綫性抽象域，絕對值綫性抽象域）</p>
+<p>數值程式分析</p>
+<ul>
+<li>結合抽象域與SMT的程式分析</li>
+<li>軟件中資源使用量上界分析</li>
+<li>神經網絡架構中的數值缺陷檢測</li>
+</ul>
+<p>他人提問:</p>
+<ul>
+<li>應該選擇什麽樣的抽象域</li>
+<li>怎麽去自動化地檢測抽象域的精度</li>
+<li>…</li>
+</ul>
+]]></content>
+      <categories>
+        <category>Notes</category>
+      </categories>
+      <tags>
+        <tag>Notes</tag>
+        <tag>抽象解释</tag>
+        <tag>数值程序分析</tag>
+        <tag>抽象域</tag>
+      </tags>
+  </entry>
   <entry>
     <title>静态分析相关综述笔记</title>
     <url>/2023/10/12/%E6%95%A3%E8%A8%98-10-12-23/</url>

diff --git a/tags/DLL-hook/index.html b/tags/DLL-hook/index.html
diff --git a/tags/HGAME/index.html b/tags/HGAME/index.html
diff --git a/tags/HGAME/page/2/index.html b/tags/HGAME/page/2/index.html
diff --git a/tags/Hacking/index.html b/tags/Hacking/index.html
diff --git a/tags/Handle/index.html b/tags/Handle/index.html
diff --git a/tags/LLVM/index.html b/tags/LLVM/index.html
diff --git a/tags/LLVM/page/2/index.html b/tags/LLVM/page/2/index.html
diff --git a/tags/MSVC/index.html b/tags/MSVC/index.html
diff --git a/tags/Notes/index.html b/tags/Notes/index.html
diff --git a/tags/Notes/page/2/index.html b/tags/Notes/page/2/index.html
diff --git a/tags/Notes/page/3/index.html b/tags/Notes/page/3/index.html
diff --git a/tags/RCTF/index.html b/tags/RCTF/index.html
diff --git a/tags/Static-Analysis/index.html b/tags/Static-Analysis/index.html
diff --git a/tags/WP/index.html b/tags/WP/index.html
diff --git a/tags/WP/page/2/index.html b/tags/WP/page/2/index.html
diff --git a/tags/Windows/index.html b/tags/Windows/index.html
diff --git a/tags/angr/index.html b/tags/angr/index.html
diff --git a/tags/anti-debug/index.html b/tags/anti-debug/index.html
diff --git a/tags/book/index.html b/tags/book/index.html
diff --git a/tags/call-convention/index.html b/tags/call-convention/index.html
diff --git a/tags/directX-12/index.html b/tags/directX-12/index.html
diff --git a/tags/index.html b/tags/index.html
diff --git a/tags/mark/index.html b/tags/mark/index.html
diff --git a/tags/paper/index.html b/tags/paper/index.html
diff --git a/tags/vulnerability-mining/index.html b/tags/vulnerability-mining/index.html
diff --git a/tags/windbg/index.html b/tags/windbg/index.html
diff --git a/tags/图形学/index.html b/tags/图形学/index.html
diff --git a/tags/抽象域/index.html b/tags/抽象域/index.html
diff --git a/tags/抽象解释/index.html b/tags/抽象解释/index.html
diff --git a/tags/数值程序分析/index.html b/tags/数值程序分析/index.html
diff --git a/tags/留坑/index.html b/tags/留坑/index.html
diff --git a/tags/符号执行/index.html b/tags/符号执行/index.html