symbolic execution 中文意思是什麼
symbolic execution
解釋
符號執行 通過符號表達式來執行程序路徑的一種靜態分析設計技術。其中，程序的執行被用符號來模擬，例如，使用變量名而不是實際值，程序的輸出被表示成包含這些符號的邏輯或數學表達式。
-
For this reason, the thesis presents an approach based on constraint satisfaction, symbolic execution and extended finite state machines. it can analyze programs written in a subset of the c programming language
針對上述情況，本文中提出了一種方法，它基於約束滿足問題求解方法和擴展有限狀態機上的符號執行演算法，能夠對c語言子集描述的程序進行分析。 -
It covers the theory and algorithm of how to implement the breakpoint, single step, execution control and symbolic access. the general hardware and operation system support are briefly introduced in order to well explain the mechanism of debugging process
然後介紹了斷點設置，單步跟蹤，執行控制和符號表讀寫的原理;以及硬體和操作系統對跟蹤調試的支持。 -
In this thesis, we will review some traditional methods of detecting data dependence and analyze the relation between the data dependence and the mechanism of parallelism. based on path analysis and symbolic execution, we describe two methods, static analysis and dynamic analysis, for detecting data dependence of array variables in loops of sequential programs
進而提出了基於路徑分析和符號執行的靜態測試和動態測試方法，來研究串列程序中循環內部數組變量的數據相關性，該方法對于下標表達式為線性表達式時有很好的效果，而且能夠處理一些復雜的數組下標表達式，比如數組下標表達式含有輸入變量和非線性下標表達式的情況。
分享友人