Revision as of 11:33, 31 August 2022 edit Fwxc (talk \| contribs) 9 edits Fix typo ← Previous edit		Revision as of 19:03, 23 September 2022 edit undo Graxwell (talk \| contribs) 151 edits →Memory aliasing Next edit →
Line 33: === Memory aliasing === Symbolic execution is harder when the same memory ___location can be accessed through different names ([[aliasing (computing) \| aliasing]]). Aliasing cannot always be recognized statically, so the symbolic execution engine can't recognize that a change to the value of one variable also changes the other.<ref name=DeMillo1991>{{Cite journal\| title = Constraint-Based Automatic Test Data Generation\| journal = IEEE Transactions on Software Engineering\| date = 1991-09-01\| pages = 900–910\| volume = 17\| issue = 9\| first1 = Rich\| last1 = DeMillo\| first2 = Jeff\| last2 = Offutt\| doi = 10.1109/32.92910}}</ref> === Arrays ===

Symbolic execution: Difference between revisions