The design and implementation of hardware systems for information flow tracking