Texonom
Texonom/
Engineering
Engineering/Software Engineering/Programming/Coding/Code Logic/Symbolic Execution/
Symbolic State
Search

Symbolic State

Creator
Creator
Seonglae ChoSeonglae Cho
Created
Created
2022 Jan 15 17:39
Editor
Editor
Seonglae ChoSeonglae Cho
Edited
Edited
2024 Jul 5 16:17
Refs
Refs
  • fully symbolic memory
  • address concretization
 
 
 
 

Recommendations

Texonom
Texonom/
Engineering
Engineering/Software Engineering/Programming/Coding/Code Logic/Symbolic Execution/
Symbolic State