1. A method, comprising executing operations of a program with a main thread, tracking the main thread's execution of the operations of the program with a tracking thread, updating, with the tracking thread, a taint value associated with the value of the main thread to reflect whether the value is tainted, and determining, with the tracking thread based upon the taint value, whether use of the value by the main thread violates a specific security policy.