0. 總覽 這是一篇過度冗長的博客靶擦，如果你有心情讀罗心，大不必都看，算是對我之前workshop paper的一個背景補充介紹。 什么是CFA 什么是AAM式的CFA算法 不同閉...
IP屬地：紐約州
-
AAM 與 Control Flow Anlaysis中的精度控制 -
PL 2015 QE ProofPL QE2015 Claim For all expression , state and , and integer . If then there is a sta...
-
PL 2020-2 QE Prooforiginal question[https://eng-cs.syr.edu/wp-content/uploads/2020/09/CIS-exam-Jan-6-2020...
-
重返動態(tài)規(guī)劃
如果你搜索動態(tài)規(guī)劃捐友， 那么你能找到的絕大多數(shù)資料都會告訴你，動態(tài)規(guī)劃，是一種把問題拆解為子問題慢哈，然后再利用子問題之間的關(guān)系列出狀態(tài)轉(zhuǎn)移方程，最后求把問題變成一個動態(tài)決策求最優(yōu)...
-
所以寫顯示的類型簽名是一個比較好的習(xí)慣永票，并且合理的使用ide工具也是不錯的選在卵贱。
求值和效率我覺得并沒有什么直接的關(guān)系滥沫。 求值順序是語義層面的，而效率是編譯器層面键俱。使用什么樣的求值更多還是看語義設(shè)計所面向的想要解決的問題兰绣。來自地獄的雜技團(tuán)----函數(shù)與函數(shù)類型
我在Structral programming and formal method 的前半部分簡單的接觸了Haskell的最基本的語法。 但是用haskell寫出如此丑陋的代...
-
煉丹安全编振？一些胡思亂想
下面只是我的思考筆記缀辩，所以會非常自由和不嚴(yán)謹(jǐn)，不論是驗證還是AI都不是我的研究方向踪央，存在大量謬誤 最近由于課程原因臀玄，我開始讀一些神經(jīng)網(wǎng)絡(luò)相關(guān)的東西。 由于我本身的研究還是黑魔...
-
Something I fail to prove ......Pre I had thought I understand how to prove progress in Coq for some simple semantic...
-
安全信息流與2-safety性質(zhì)
Pre 在之前的文章中我簡單的介紹了一種描述計算機安全常用的方式: Non-interference模型(GMNI)畅蹂。 再用一句話來回顧一下什么是non-intererenc...
-
當(dāng)我們談計算機安全的時候我們在談什么(noninterference)
Pre 相信大家都學(xué)過不少關(guān)于計算機安全的課程和知識健无， 大家多多少少對各種各樣的攻擊方式有一定的了解。但是當(dāng)談及到底什么樣的程序可以被認(rèn)為是安全的時候液斜， 這都不會是一個容易回...
-
Find C++ Thiscall in Binary
Backgrond: calling convention defines what register will be used to pass argument from ...
-
DDisasm Code Note
ELF loader Section some section might be useful. We can know what they are by some fla...
-
Dimension Shift! 一起來學(xué)Datalog吧累贤！Pre 相信很多閱讀龍書/PPA朋友在使用C++之類的語言實現(xiàn)書上的程序分析算法的時候會感覺到無比頭疼， 甚至是在實現(xiàn)完成之后還是對算法稀里糊涂的旗唁。因為這些書在描述算法的時候...
-
知乎：<a href="https://links.jianshu.com/go?to=https%3A%2F%2Fwww.zhihu.com%2Fpeople%2Fthzt" target="_blank">https://www.zhihu.com/people/thzt</a><br>博客：<a href="https://links.jianshu.com/go?to=https%3A%2F%2Fthzt.github.io" target="_blank">https://thzt.github.io</a><br>文檔：<a href="https://links.jianshu.com/go?to=https%3A%2F%2Fyuque.com%2Fthzt" target="_blank">https://yuque.com/thzt</a>
-
數(shù)據(jù)流分析(2) - 框架化分析 distributive framework之前我簡單的介紹過幾種常見的過程內(nèi)分析算法检疫。 可以看到這些算法有非常大的相似性讶请，本質(zhì)都是使用一個worklist里面存放需要分析的語句，再使用Kill/Gen 函數(shù)（或者說方...
-
Fuzz A Program!什么是Fuzz? 嘛這篇blog 還是會是一篇和計算機相關(guān)的Blog, 希望有機會我也能寫一些和上面圖里的Fuzzer相關(guān)的文章hhhhh 如何保證程序的正確性屎媳？ 相信每一個...
-
Structral Facts in Datalog: 一種更加理想的Datalog Syntax
什么是Datalog datalog是一種用于描述形如：u ? p ∧ q ∧ … ∧ t的邏輯關(guān)系的一種一階邏輯的聲明式查詢語言烛谊。這種形式的邏輯表達(dá)式也被稱為Horn Cl...
-
數(shù)據(jù)流分析 (1) 過程內(nèi)分析 Intraprocedural Analysis過程內(nèi)分析风响，顧名思義， 不考慮任何的過程/函數(shù)間調(diào)用的分析算法丹禀。 總的來說状勤，這是最基礎(chǔ)也是最簡單的一類程序分析算法， 但是其實還是比較有用双泪， 特別是在二進(jìn)制分析的實際應(yīng)用中...
-
數(shù)據(jù)流分析 (0) : 示例語言和數(shù)據(jù)流數(shù)據(jù)流分析是一種比較經(jīng)典的分析算法持搜， 在大量的編譯原理的書里都會提到（比如龍書）。在PPA 中焙矛，為了方便討論葫盼，使用了一種非常簡單的命令式語言作為示例來進(jìn)行講解。 Syntax...
-
PPA 讀書筆記 0 ： Pre
這個筆記主要會記錄我在實現(xiàn)PPA 中算法的時候遇到的一些問題村斟， 可能不會放太多PPA書上已經(jīng)有的內(nèi)容贫导。 初步計劃是我會使用racket, 和邏輯式編程的方式(也許并不是某一種...
