Evil waveforms (EWF) are anomalies in the Global Navigation Satellite System (GNSS) transmitted signals, provoked by electric malfunctions, that can degrade significantly the accuracy of the receiver's position, velocity and time solution. In this work, cross-correlation functions of the received signal disturbed by EWF distortion and the locally-generated code signal are derived for threat models TM-A, TM-B and TM-C, with expressions obtained for BPSK, BOCs and CBOCpilot modulations. Closed-form expressions are offered in terms of sine integral functions for TM-A. A description is presented on how to use these results to assess the performance of EWF detectors through semi-analytic simulation, allowing the detectability and hazard regions to be determined in a computationally efficient way.