One of the recent AI generated bug reports for #curl quite impressively identifies mismatches between a function header's comment mentioning that an argument is optional, but the code uses it unconditionally.

This taking comments into account certainly allows for some extra magic the classic code analyzers can't do.