summaryrefslogtreecommitdiff
path: root/src/parse_ast.ml
diff options
context:
space:
mode:
authorKathy Gray2014-08-13 17:52:33 +0100
committerKathy Gray2014-08-13 17:53:43 +0100
commit67fb47fa3fce732be6ae78824ac37e7a641021e8 (patch)
tree70c6d5e90cf349870aa4aa13595ffaed1a027714 /src/parse_ast.ml
parent92c4ffbfe3f1e1759a850fef4aa9ef134877385d (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/parse_ast.ml')
0 files changed, 0 insertions, 0 deletions