SecurityEval dataset: mining vulnerability examples to evaluate machine learning-based code generation techniques | Synapse