OpenSSH also has sensitive global variables, so have implemented support
for assigning sensitivity classes to these. The analysis then treats loads
of these globals as being sources of taint and performs taint propagation.
Post-taint-propagation, we check for accesses of sensitive data in contexts
that are not allowed to and report warnings.