Content deleted Content added
Added disambiguation for execution, and a link to capital punishment Tags: Reverted Disambiguation links added |
Undid revision 1264379372 by Onekx666 (talk). I do not think it is plausible anyone would arrive at this page expecting to read about capital punishment. Pages with titles that are MUCH more plausibly related to capital punishment ("Writ of execution", "Stay of execution") do not have such a disambiguation line. |
||
Line 1:
{{Short description|Technique for Program Analysis}}
In [[computer science]], '''symbolic execution '''(also '''symbolic evaluation''' or '''symbex''') is a means of [[Program analysis|analyzing a program]] to determine what [[Input (computer science)|inputs]] cause each part of a program to [[Execution (computing)|execute]]. An [[Interpreter (computing)|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.
| |||