Symbolic execution: Difference between revisions

Revision as of 09:44, 2 February 2021

Revision as of 15:41, 8 April 2021

Line 242:

==Earlier versions of the tools==

# EXE<ref>{{cite journal |last1=Cadar |first1=Cristian |last2=Ganesh |first2=Vijay |last3=Pawlowski |first3=Peter M. |last4=Dill |first4=David L. |last5=Engler |first5=Dawson R. |s2cid=10905673 |title=EXE: Automatically Generating Inputs of Death |journal=ACM Trans. Inf. Syst. Secur. |date=2008 |volume=12 |pages=10:1–10:38 |doi=10.1145/1455518.1455522 }}</ref> is an earlier version of KLEE . EXE paper can be found [https://dblp.uni-trier.de/rec/bibtex/journals/tissec/CadarGPDE08 here].

Line 253 ⟶ 252:

==See also==

* [[Abstract interpretation]]

* [[Symbolic simulation]]

* [[Symbolic computation]]

* [[Concolic testing]]

* [[Control -flow graph]]

* [[Dynamic recompilation]]