From 61091c66d2bb5d30139aafec02e8e28730c753aa Mon Sep 17 00:00:00 2001 From: 0ca Date: Thu, 15 Sep 2016 14:13:24 -0700 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b0946811..0ccada7d 100644 --- a/README.md +++ b/README.md @@ -154,7 +154,7 @@ Sure! Please do pull requests and work in the opened issues. We will pay you in ## Limitations Symbolic execution has some inherent problems: -- Symbolic indexing +- Symbolic memory load/write: When the index used to read a memory value is symbolic like in `x = aray[symbolic_index]` we need to know the limits for the index, get all the possible values `x` could take and generate a symbolic expression to represent this fact. ## Authors - Alberto Garcia Illera ([@algillera](https://twitter.com/algillera)) agarciaillera@gmail.com