Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing