search

mheinsen / seec

Program visualization and debugging for novice C programmers
http://seec-team.github.io/seec/
MIT License
3 stars 0 forks source link

Support bit-level initialization tracking. #9

Closed mheinsen closed 7 years ago

mheinsen commented 11 years ago

I think that this should proceed as follows:

  1. Update shadow memory tracking to be allocation-based rather than the old fragment-based system (recreated memory was updated way back in 97b8557fca6edaaa967b0528e3a69ca36774c8a8).
  2. Implement methods to retrieve/set the shadow state of memory that can be used by instrumented code and interceptors.
  3. Update the instrumentation to propagate uninitialized bits through instructions.

In the long term, it would be nice to have a large block of shadow memory so that determining the location of the shadow memory for any particular byte was a simple operation (a la Memcheck, MemorySanitizer, etc.)

mheinsen commented 7 years ago

This issue was moved to seec-team/seec#16