You’re the second person who has asked me this, I think I need to start a blog or something.

So I dont want to give too much away about how it works because I think I might try to offer a paid version where the results are private.

But at a high level it combines an LLM, program analysis, and heuristics.