According to Aptori, Code-Q does this by using “a semantic graph of the codebase to reason about intent and generate ...