One such example is IRIS. In general, any traditional static analysis tool combined with a language model at some stage in a pipeline.