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