From bb8d092a28856c502c8dc1e685ad8481688f62f8 Mon Sep 17 00:00:00 2001 From: Alberto Garcia Illera Date: Thu, 15 Sep 2016 14:17:21 -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 0ccada7d..60712c78 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 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. +- Symbolic memory load/write: When the index used to read a memory value is symbolic like in `x = aray[symbolic_index]` some problems arise that could lead on the loose of track of the tainted/symbolized user controled input. ## Authors - Alberto Garcia Illera ([@algillera](https://twitter.com/algillera)) agarciaillera@gmail.com