Skip to content

Commit 8bbfed7

Browse files
author
Enrico Steffinlongo
committed
Add shadow memory util functions
Add a set of utility functions to `shadow_memory_util.{h,cpp}` that will be used by `shadow_memory::symex_get_field` and its subfunctions.
1 parent 8f4b316 commit 8bbfed7

File tree

2 files changed

+672
-0
lines changed

2 files changed

+672
-0
lines changed

0 commit comments

Comments
 (0)