TODO list
This is my TODO list that I had in a text file:
- BMC + unrolling
- heap
- function ptrs and symbolic pointers resolution 3.5) strings, floats
- Access to non-constant offset (use theory of arrays? of just somehow keep the updates?)
- symbolic pointers comparison
- optimize reads/writes (mix concrete and symbolic)
- support for combination of domains and analyses (e.g., invariant inference during SE)
- add incremental solving
- use generators instead of whole lists, use slots https://www.codementor.io/@satwikkansal/python-practices-for-efficient-code-performance-memory-and-usability-aze6oiq65