This project is dedicated to using Large Language Model (LLM) to complement traditional program analysis. With our program, you can use the Large Language Model to help understand the semantics of a program while using traditional program analysis tools, thus making the analysis more complete.
Our project is divided into three main parts as follows:
- Extractor: extract the required content from the project for analysis.
- Engine: ask LLM to get the information you need.
- Generator: generate files to aid in program analysis.
Currently, our implementation is based on CodeQL and ChatGPT:
- Extractor: input is a CodeQL Database. The extractor will extract the functions from the database.
- Engine: