摘要 合取查詢（Conjunctive Query, CQ）是OLAP數(shù)據(jù)庫中的常見操作。本文探討了傳統(tǒng)的聯(lián)結(jié)查詢處理方法，首先我會(huì)從傳統(tǒng)二元聯(lián)結(jié)（Binary Join）處...
IP屬地：紐約州
-
Conjunctive Query未聞 -
AAM 與 Control Flow Anlaysis中的精度控制0. 總覽 這是一篇過度冗長的博客，如果你有心情讀，大不必都看，算是對我之前workshop paper的一個(gè)背景補(bǔ)充介紹。 什么是CFA 什么是AAM式的CFA算法 不同閉...
-
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...
-
重返動(dòng)態(tài)規(guī)劃
如果你搜索動(dòng)態(tài)規(guī)劃， 那么你能找到的絕大多數(shù)資料都會(huì)告訴你，動(dòng)態(tài)規(guī)劃，是一種把問題拆解為子問題，然后再利用子問題之間的關(guān)系列出狀態(tài)轉(zhuǎn)移方程，最后求把問題變成一個(gè)動(dòng)態(tài)決策求最優(yōu)...
-
所以寫顯示的類型簽名是一個(gè)比較好的習(xí)慣，并且合理的使用ide工具也是不錯(cuò)的選在。
求值和效率我覺得并沒有什么直接的關(guān)系。 求值順序是語義層面的，而效率是編譯器層面。使用什么樣的求值更多還是看語義設(shè)計(jì)所面向的想要解決的問題。來自地獄的雜技團(tuán)----函數(shù)與函數(shù)類型
我在Structral programming and formal method 的前半部分簡單的接觸了Haskell的最基本的語法。 但是用haskell寫出如此丑陋的代...
-
煉丹安全？一些胡思亂想
下面只是我的思考筆記，所以會(huì)非常自由和不嚴(yán)謹(jǐn)，不論是驗(yà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 在之前的文章中我簡單的介紹了一種描述計(jì)算機(jī)安全常用的方式: Non-interference模型(GMNI)。 再用一句話來回顧一下什么是non-intererenc...
-
當(dāng)我們談?dòng)?jì)算機(jī)安全的時(shí)候我們在談什么(noninterference)
Pre 相信大家都學(xué)過不少關(guān)于計(jì)算機(jī)安全的課程和知識(shí)， 大家多多少少對各種各樣的攻擊方式有一定的了解。但是當(dāng)談及到底什么樣的程序可以被認(rèn)為是安全的時(shí)候， 這都不會(huì)是一個(gè)容易回...
-
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++之類的語言實(shí)現(xiàn)書上的程序分析算法的時(shí)候會(huì)感覺到無比頭疼， 甚至是在實(shí)現(xiàn)完成之后還是對算法稀里糊涂的。因?yàn)檫@些書在描述算法的時(shí)候...
-
知乎：<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ì)都是使用一個(gè)worklist里面存放需要分析的語句，再使用Kill/Gen 函數(shù)（或者說方...
-
Fuzz A Program!什么是Fuzz? 嘛這篇blog 還是會(huì)是一篇和計(jì)算機(jī)相關(guān)的Blog, 希望有機(jī)會(huì)我也能寫一些和上面圖里的Fuzzer相關(guān)的文章hhhhh 如何保證程序的正確性？ 相信每一個(gè)...
-
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ǔ)也是最簡單的一類程序分析算法， 但是其實(shí)還是比較有用， 特別是在二進(jìn)制分析的實(shí)際應(yīng)用中...
-
數(shù)據(jù)流分析 (0) : 示例語言和數(shù)據(jù)流數(shù)據(jù)流分析是一種比較經(jīng)典的分析算法， 在大量的編譯原理的書里都會(huì)提到（比如龍書）。在PPA 中，為了方便討論，使用了一種非常簡單的命令式語言作為示例來進(jìn)行講解。 Syntax...
