這個標題在 tech_j 版又有另一個驚人的題目
強者不需要註解
=========================================================================
: 以高階語言寫的程式是容易被人看得懂的.
: =====================================
:
: 學過資訊科技的人都清楚高階語言完成的程式是有這個特性的.
: 要用高階語言寫出 "self modified code" 或 "dirty code" 其實不容易. 這需要
: 把程式的指令碼當成資料來處理.
========
資料是能被拿來修改的, 但指令碼通常不准被拿來修改. 指令碼的部分就如同硬體,
做好了就不再更改. 有些資料如起始的設定值也是不改的. 譬如限制試用期的時間
鎖. 高階語言編譯器對這些不同的項目是區分得很清楚. 要用高階語言寫出一段會
自我修正程式碼的程式在先天上就不是很容易.
就今天的IC晶片言, 電子電路的設計也是用軟體寫出來的, 那麼IC晶片能否隨時間
對已完成的電路做自我修正, 把不良的電路自動更新為正確又新的電路?
PC 的 BIOS ROM 可以更新就是其中一例. 這是從記憶體做覆蓋的範例, 如果把某些
能被更改的資料放在網路上, 這些資訊可以透過網路被遮蔽或被依對象選擇性使用
或保護, 不同代差的電腦, 在某些功能上就隨時間是否有更新而有所不同了.
更新就是把特定對象的項目換成一個新的狀態, 這個新狀態替換了舊狀態.
更新要能進行, 首先就要先能找到舊狀態的位置.
某個錯誤的電路或程式碼先要被找到, 其次才能對之做更換.
程式的可讀性, 可被修改的變數命名是否易記, 是否容易被人區分辨識, 就影響某
個關鍵變數能否很快被人找出來? 這就涉及變數的命名及可以舉一反三的命名規則.
反組譯的程式也是有自動產生symbolic name 的功能, 會把被程式修改到的變數及
其位置列印出來讓人參考.
需要用人(包含自己)協同合作發展的軟體, 在程式的設計上需要把關鍵用到的變數
或連接點等資訊, 透過人類的命名使下一個接替發展的人可以快速找到. 對這些點
的額外描述就是 易記名稱及comment.
但如果連這些關鍵變數的名稱及備註說明都不給, 下一個接手的人能不能後續接手
做進一步改進或發展?
從對程式的反組譯來比較, 有symbolic debug 支援修改變數對照表的產生, 原始程
式隱蔽關鍵變數的作用, 只是變得很難被一眼找出.
self modified code 的行為, 通常只在 kernerl code 才會使用到. 譬如中斷服務
程式, 總是要把中段處理程式的入口位址需要到中斷向量表處做串接的修改. 這種
連接點的修改會影響程式與事件間的關連. 是否有正確的連接是在程式執行才發生,
核心系統的除錯追蹤工具可以協助把這種非正規(把指令當資料)的修改展示出來.
Qemu 虛擬機的作者使用code translation 及類似 just in-time compiler 的轉譯
技術可以自動對 self modified code 及時進行對應的機器碼轉換. 這種 dirty
code 招數也是能被破解的.
===============
程式軟體做出來是要讓電腦遵循, 替人類服務的. 也就是會被人拿去使用. 沒有人
肯用或能用的軟體, 跟不存在是一樣的.
電腦硬體設計同樣會出錯, 但電路的除錯, 麻煩太多, 所以造IC的產業會用軟體寫
的模擬器幫忙找出照做下去的IC可能會發生的錯誤. 預先防止錯誤, 是否能讓機器
自動執行? 機器是否能達到程式設計員的智能? 機器人時代的到來, 自動化程式的
產生暗示隱藏程式資訊, 不做備註只是在防人做合作學習而非防機器自動接手處理
後續工作.
程式設計師基本上就是透過機器來協助發展程式, 機器會取代後續處理的工作者是
必然發生的, 因為最後就是讓機器代替人做計算工作.
電腦協助除錯, 當然也會針對那些想隱藏軟體功能動作資訊的成品做處理.
: → ggg12345: 可以維護的就找免付費的高手來做,不給改的就建平台找更 07/19 10:22
: → ggg12345: 高手私下給高薪來提供工具,工具能自動識別與處理萬行. 07/19 10:25
==========================================================================