GitHub repository: mayurnaik/iris
Description: A neurosymbolic framework for vulnerability detection in code