New Techniques for the Automatic Identification of Uncontrollable Lines in a CPU Core