What actually makes SAST scanners hard to build accurately?

I’ve been learning about static analysis and noticed people often mention challenges like:

\- false positives

\- AST parsing

\- rule engines

\- language support

For people who’ve worked on SAST/static analysis tools:

which challenge becomes the biggest in real-world projects?

Trying to understand the engineering side of these systems better.