Symbolic Execution is a term of art for a kind of program analysis using symbolic value inputs. https://en.wikipedia.org/wiki/Symbolic_execution https://en.wik

Symbolic Execution is a term of art for a kind of program analysis using symbolic value inputs. https://en.wikipedia.org/wiki/Symbolic_execution https://en.wikipedia.org/wiki/Symbolic_execution