diff options
| author | Kathy Gray | 2014-08-13 17:52:33 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-13 17:53:43 +0100 |
| commit | 67fb47fa3fce732be6ae78824ac37e7a641021e8 (patch) | |
| tree | 70c6d5e90cf349870aa4aa13595ffaed1a027714 /src/lem_interp/interp.lem | |
| parent | 92c4ffbfe3f1e1759a850fef4aa9ef134877385d (diff) | |
Complete tainting phase 1
Now when mode.track_values is true, on every register read, the returned value is tainted with the register it came from. This tracking is followed through every operation the interperter touches (except library functions, to be completed next).
One a memory operation involving a tracked value, there is optionally list of registers that value arose from in the memory request (i.e. maybe (list reg_name)).
Diffstat (limited to 'src/lem_interp/interp.lem')
0 files changed, 0 insertions, 0 deletions
