rule

Rules are added as an extra option for the user. They permit the user to add an edge between two data channels. They are useful in tainting. For example, if channel 1 writes to a memory, channel 2 reads from the same memory and channel 1 is not the same as channel 2 then in tainting the taint of channel 1 will not result in training channel 2. The user can add a rule so channel 2 gets tainted after channel 1 writes the data.