3 ms·

You are right that static linters are incredibly fast and efficient for catching certain classes of issues. Our focus with the dynamic sandbox execution is aim

You are right that static linters are incredibly fast and efficient for catching certain classes of issues. Our focus with the dynamic sandbox execution is aimed at finding bugs that are much harder for static analysis to detect. These are bugs like logical flaws in specific execution paths and unexpected interactions between code changes.

winwang 1y ago
Do you guide the LLM to do this specifically? So it doesn't "waste" time on what can be taken care of by static analysis? Would be interesting if you could also integrate traditional analysis tools pre-LLM.