sysss-blogs

摘要： Efficient Construction of Approximate Call Graphs for JavaScript IDE Services Introduction 文章提出了 a field-based flow analysis for constructing call gra 閱讀全文

摘要： JavaScript 的特點(diǎn) JavaScript 的語言特點(diǎn) “動(dòng)態(tài)”特性，使得靜態(tài)分析不好進(jìn)行（難以找到合適的抽象） 動(dòng)態(tài)類型的（dynamically typed）并且支持廣泛的隱式類型轉(zhuǎn)換的使用 基于原型的面向?qū)ο螅≒rototype-based OOP），可以動(dòng)態(tài)增減實(shí)例上的屬性 動(dòng)態(tài)生成 閱讀全文

摘要： 因?yàn)橐恍W(xué)習(xí)任務(wù)需要在本地使用 SVF 構(gòu)建某個(gè)項(xiàng)目的 CallGraph，中間遇到一點(diǎn)問題 wLLVM 參考 https://blog.csdn.net/weixin_47778392/article/details/141107768 SVF 編譯時(shí)終端 exited with code 1 需 閱讀全文

摘要： Hw1 toDigits :: Integer -> [Integer] toDigits n | n <= 0 = [] | otherwise = toDigits (n `div` 10) ++ [n `mod` 10] toDigitsRev :: Integer -> [Integer] 閱讀全文

摘要： Background Information 擺了兩三天覺得不能再開擺了，感覺至少把什么是貝葉斯方法及其名詞搞懂（雖然可能概率論學(xué)過，但是已經(jīng)忘干凈了）： 貝葉斯的思考方式：先驗(yàn)概率 \(\pi(\theta)\) + 樣本信息 \(X\) -> 后驗(yàn)概率 \(\pi(\theta | X)\) 不 閱讀全文

摘要： HKUST COMP4901X 課程筆記 Buchi 游戲 定義 Game Graph 為 \(G = (V, \ V_1, \ V_2, \ E )\)，\(G(V, E)\) 是一張圖，\(V_1\)是屬于玩家 1 的圖上結(jié)點(diǎn)，\(V_2\) 是屬于玩家 2 的圖上結(jié)點(diǎn)。 定義 玩家 i 的游戲 閱讀全文

摘要： 文法和語言的形式定義 終結(jié)符號(hào) \(V_T\)、非終結(jié)符號(hào) \(V_N\) 滿足 \(V_T \cap V_N = \emptyset\) 產(chǎn)生式 $\alpha \rightarrow \beta $， \(\alpha \in (V_T \cup V_N)^+, \beta \in (V_T \ 閱讀全文

摘要： GPT-4o-mini 翻譯，經(jīng)個(gè)人審校。添加了一點(diǎn)筆記。 原文地址 Type Systems Introduction 類型系統(tǒng)的基本目的是避免程序運(yùn)行過程中出現(xiàn)運(yùn)行錯(cuò)誤。這個(gè)不夠正式的說法激勵(lì)了對(duì)類型系統(tǒng)的研究，但是還需要更進(jìn)一步的澄清。這個(gè)說法的準(zhǔn)確性首先依賴于一個(gè)相當(dāng)微妙的問題，即什么構(gòu)成運(yùn) 閱讀全文

摘要： 南京大學(xué)《軟件分析》學(xué)習(xí)筆記 1 課太好了，忍不住寫篇博客從頭推導(dǎo)一下 理論 偏序集 poset 偏序關(guān)系 偏序關(guān)系是滿足下面三個(gè)條件的二元關(guān)系： 自反性 反對(duì)稱性 傳遞性 偏序集 poset 偏序集定義為一個(gè)集合以及集合上的偏序關(guān)系，表示為 \((P, \sqsubseteq)\) 上界 uppe 閱讀全文

摘要： 前綴函數(shù) 定義 定義字符串 \(s\) 和它的長(zhǎng)度 \(n\)，字符串 \(s\) 可以寫作 \(s_0s_1s_2s_3...s_n\) 定義真前綴為：從 \(s\) 的首部開始到某個(gè)位置 \(i\) 結(jié)束的子串，但不包括 \(s\) 本身 定義真后綴為：從 \(s\) 的某個(gè)位置 \(i\) 開 閱讀全文