- Feb 05, 2020
-
-
Marek Chalupa authored
-
Marek Chalupa authored
Good for debugging.
-
Marek Chalupa authored
Make symexe inherit from interpreter.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
And handle them in symbolic executor.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
So that we can correctly handle undefined functions.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
Differentiate between concrete and symbolic solver, later we'll probably go with this hierarchy further. This will simplify the code in executor (no need to ask for constants).
-
- Feb 04, 2020
-
-
Marek Chalupa authored
So that we can easily replace the type of objects that are being used.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
These methods generate new state(s) that are modified by the read/write. We did this this way so that we can later easily extend the code to support symbolic memory where we can return a set of states that stem from one read/write.
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
Marek Chalupa authored
-
- Feb 03, 2020
-
-
Marek Chalupa authored
-