Wyvern Graph (or Wy-Graph) is a python tool for translating LLVM IR into a knowledge graph. Wy-Graph takes an LLVM IR file as input and performs standard static analyses (Syntactic, Control-Flow, Data-Flow, and Memory). It encodes these analyses results in a list of unary and binary formal predicates with the intention of building data sets that convey knowledge graph equivalents of LLVM IR programs. The goal is for these data sets to be utilized to apply Neuro-symbolic AI (Specifically, differentiable Inductive Logic Programming AI) to program analysis.

1. Getting Started
2. Features
3. Demo
4. Future Development

This project was developed by Christian Scaff at the Georgia Tech Research Institute's Advanced Research in Computing and Artificial Intelligence Division (ARCAID) under the guidance of Clayton Kerce in the summer of 2025.

The project was made possible with:

• The LLVM Project (https://llvm.org)
• LLVMLite Library (https://github.com/numba/llvmlite)