請幫助

wu_songshan

我們對linux內(nèi)核做了抽�。ㄏ喈斢诜聪蛟O(shè)計吧）
因我們能力有限，知道這里大咖多，來此請大家?guī)椭�。真心希望能夠得到大伙的幫�?br /> 程序邏輯抽取-linux之內(nèi)核源代碼bricktou.com(這是網(wǎng)址，這里不允許鏈接)

nswcfd

有點意思，能簡單介紹一下工作原理嗎？
怎么把“代碼”映射為“邏輯”？
形式上看把變量和函數(shù)參數(shù)去掉了，保留了控制結(jié)構(gòu)和每個call？

bricktou.com/idx_error.html 這一頁說，可以檢查“邏輯錯誤”。
那么邏輯錯誤又是怎么定義的？

wu_songshan

簡單的工作原理就是編譯原理。
我們認為：從看代碼開始，到理解系統(tǒng)，實際要經(jīng)過多個層次的升華。根據(jù)我的經(jīng)驗（保險核心業(yè)務(wù)，代碼量接近300M），如果從一個點看進去，很快就會被代碼纏住，很難做到把握全局。這就好比看金字塔，如果你在塔下看，你只能仰視它，且只能看到的局部。但如果你能夠俯視它，你首先看到的是全貌，包括他的整體結(jié)構(gòu)和周邊環(huán)境，然后再根據(jù)需要，詳細觀察局部。這就是認識系統(tǒng)的兩種截然不同的途徑。
如何做到俯視系統(tǒng)呢？我們認為，你在觀察系統(tǒng)時的“關(guān)心點”能夠放在它“做了什么”，而不是放在它是“怎么做的”，你就會輕松很多，套用一句名言：通向廣場的路不止一條。
關(guān)于代碼和邏輯的映射，一般情況下，對于一句代碼，我們的大腦會經(jīng)過一連串的轉(zhuǎn)化，然后總結(jié)出一句話，這算是看懂了這句代碼（實際就是邏輯）！是吧？以下只是我的方式（不能代表大多數(shù)）：看到符號->代表的意思（多數(shù)情況在大腦中會是轉(zhuǎn)化為中文意思），未知->查找意思（可能找不到，留下未知繼續(xù)向下看或在達到一個量級就放棄了）。之所以看不懂，是由于我們不知道符號代表的意思，或著是查詢符號代表的意思要費很大的周折，于是越看越累。我看代碼的表現(xiàn)是頭疼。
形式上看把變量和函數(shù)參數(shù)去掉了，保留了控制結(jié)構(gòu)和每個call？非也！
關(guān)于邏輯錯誤：一般情況下代碼常犯的邏輯錯誤有十幾種（別人總結(jié)的），但有些我們不認可，比如 變量未使用，實際上這是早期硬件條件不足提出的，對于現(xiàn)在嗎？當然養(yǎng)成好的編程習慣是重要的！我們目前主要檢查的是“條件語句包含賦值語句”，此種情況也可認為是筆誤（我在工作中盡量把別人的錯誤輕描淡寫），但造成的影響確實較深。對于“不達代碼”也可以檢查，但有誤告，需要手工過濾。

nswcfd

如何做到俯視系統(tǒng)呢？我們認為，你在觀察系統(tǒng)時的“關(guān)心點”能夠放在它“做了什么”，而不是放在它是“怎么做的”，你就會輕松很多，套用一句名言：通向廣場的路不止一條。

之所以看不懂，是由于我們不知道符號代表的意思，或著是查詢符號代表的意思要費很大的周折，于是越看越累

非常贊同

wu_songshan

linux內(nèi)核反向設(shè)計更新到4.1.6
本版整理了“調(diào)度”

wu_songshan

內(nèi)核抽取更新到v4.2
本次整理了“進程創(chuàng)建”
期待你的完善

mordorwww

做逆向？
根據(jù)代碼自動生成設(shè)計文檔和需求文檔？

firocu

持保留意見. lz可以搞搞.