How much of a difference are you seeing between this and existing static code analysis tools?

Static code analysis is great but it misses a lot. Agents that read code make guesses about how code would execute, Ito makes a guess and then verifies it with runtime evidence.