Symbolic execution
In computer science, symbolic execution (also symbolic evaluation or symbex) is a means of analyzing a program to determine what inputs cause each part of a program to execute. An interpreter follows the program, assuming symbolic values for inputs rather than obtaining actual inputs as normal execution of the program would. It thus arrives at expressions in terms of those symbols for expressions and variables in the program, and constraints in terms of those symbols for the possible outcomes of each conditional branch. Finally, the possible inputs that trigger a branch can be determined by solving the constraints.
Wikipage disambiguates
Wikipage redirect
2016 Cyber Grand ChallengeAbstract interpretationConcolic testingDifferential testingFuzzingGrigore RosuHarry R. LewisHistory of mathematical notationKeYMALPAS Software Static Analysis ToolsetPredicate transformer semanticsSatisfiability modulo theoriesStatic program analysisSymbolicSymbolic evaluationSymbolic simulationTest designWebAssembly
Link from a Wikipage to another Wikipage
primaryTopic
Symbolic execution
In computer science, symbolic execution (also symbolic evaluation or symbex) is a means of analyzing a program to determine what inputs cause each part of a program to execute. An interpreter follows the program, assuming symbolic values for inputs rather than obtaining actual inputs as normal execution of the program would. It thus arrives at expressions in terms of those symbols for expressions and variables in the program, and constraints in terms of those symbols for the possible outcomes of each conditional branch. Finally, the possible inputs that trigger a branch can be determined by solving the constraints.
has abstract
In computer science, symbolic ...... s of mathematical expressions.
@en
في علم الحاسوب، يعد التنفيذ ال ...... على تحليل التعبيرات الرياضية.
@ar
符号执行(英語:symbolic execution)是一种 ...... 析;(Symbolic computation)则用于数学。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,024,106,912
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
In computer science, symbolic ...... ed by solving the constraints.
@en
في علم الحاسوب، يعد التنفيذ ال ...... على تحليل التعبيرات الرياضية.
@ar
符号执行(英語:symbolic execution)是一种 ...... 支进行符号执行测试来提高对大型程序应用符号执行测试的可行性。
@zh
label
Symbolic execution
@en
تنفيذ رمزي
@ar
符号执行
@zh
기호 실행
@ko