大师作文网英语翻译Symbolic execution simulates the program execution using
来源：学生作业帮 编辑：大师作文网作业帮 分类：英语作业 时间：2024/11/07 00:25:22
英语翻译
Symbolic execution simulates the program execution using symbolic values as inputs.Different from normal “data execution”,the obtained values of variables are expressions of input symbols and constants.Because the symbolic value is indeterminate,assumptions have to be made when
branches are encountered.A path is a sequence of statements that are executed sequentially.PC is a set of constraints of input symbols,which are the accumulation of assumptions for branches.Symbolic execution goes along a path if and only if its PC is satisfiable.So a theorem prover is needed to solve PC.There are two ways to handle module calls:function summaries[5] and macro-expansion.Function summaries perform inter-procedural analysis by replacing function calls with their summaries,and every function is symbolic executed only once,whereas the macro-expansion enters the body of a function like expanding a macro at the function’s every call site.The function summary approach is a more scalable inter-procedural analysis technique.
Symbolic execution simulates the program execution using symbolic values as inputs.Different from normal “data execution”,the obtained values of variables are expressions of input symbols and constants.Because the symbolic value is indeterminate,assumptions have to be made when
branches are encountered.A path is a sequence of statements that are executed sequentially.PC is a set of constraints of input symbols,which are the accumulation of assumptions for branches.Symbolic execution goes along a path if and only if its PC is satisfiable.So a theorem prover is needed to solve PC.There are two ways to handle module calls:function summaries[5] and macro-expansion.Function summaries perform inter-procedural analysis by replacing function calls with their summaries,and every function is symbolic executed only once,whereas the macro-expansion enters the body of a function like expanding a macro at the function’s every call site.The function summary approach is a more scalable inter-procedural analysis technique.
符号化执行过程使用符号化数值代替输入值,模拟程序的执行过程.与普通的“数据执行过程”不同,获得变量的值是由输入符号和常量组成的表达式.由于符号化数值是非确定性的,因此当发生分支时必须进行一些假设.一条路径是一个队列,该队列由多个被序列化执行的状态值构成.PC 是一组与输入符号相关的约束,这些约束模拟各种分支的假设.符号化过程能够执行一条路径当且仅当该路径的PC是可满足的.因此,需要一个定理证明程序来证明PC是否可被满足.这里有两种方法来解决模块调用：函数摘要【5】和宏扩展,函数摘要用函数调用的摘要来代替函数调用,从而实现跨程序的分析,每个函数只被符号化执行一次,而宏扩展进入函数体的方式像是在该函数的每个调用点进行一次宏展开.函数摘要的实现是一种更具弹性的跨程序的分析技术.
英语翻译Symbolic execution simulates the program execution using
英语翻译Binding Commitment:The parties agree that the execution
英语翻译The execution,delivery and performance by the Investor o
英语翻译Neither the execution of this Agreement,nor the disclosu
英语翻译Upon execution of thisAgreement,the Purchaser(s) shall p
英语翻译That the execution and performance of this Agreement doe
英语翻译The Buyer will initiate the execution of the contract by
英语翻译1.The execution .Is it a great ad?2.The dollar spend .Ho
英语翻译1.We're all clear on the Burrows execution.Burrows的死刑一切准
英语翻译All taxes in connection with the execution of this Contr
英语翻译All taxes in connection with and in the execution of thi
英语翻译The contract has been concluded by execution of two (2)