“A synthetic data technique for training bug detection models involves using a simple model to introduce bugs into code, then using this bug-injected code as training data for a more sophisticated bug detection model.”