We put Snyk Code Symbolic AI to the test to analyze code paths and detect security vulnerabilities.