Iris: A neurosymbolic framework for vulnerability detection in code