Symbolic execution

Symbolic execution is a way for computers to figure out if pieces of code (commands written in a programming language) will have the right outcome when they are used. It does this by taking the code and using symbols (letters) instead of numbers. Then it follows the steps the code takes to see what the result will be. It's like solving a math problem using letters instead of numbers.