A lot of commenters point out that there already are many established static checkers that do this. That is not what Uber attempts here. Uber is not proposing

A lot of commenters point out that there already are many established static checkers that do this. That is not what Uber attempts here. Uber is not proposing a static checker. They even use sonar qube in their architecture. They propose using an LLM to resolve the leak detected by sonar qube.