Project Solution Generator

[Yiannis128]

Project Solution Generator

This issue is going to track the addition of a mode that is designed to handle entire solutions/projects. The mode is going to be activated by a flag -d --document-mode and will change the way ESBMC-AI behaves. Instead of receiving a filename, the mode can also receive a directory.

1. It will go through every recognizable file in the directory (C files, etc) and activate ESBMC on each one of them.
2. ESBMC-AI will then leave a comment file for each file that contains vulnerable code. For example, if ESBMC finds that src/world_simulator.c has issues, then it will prompt the AI to fully explain the output of ESBMC and place the contents in a file src/world_simulator.c.comments.
3. This will allow developers to slowly sweep through their solution and fix all the vulnerabilities reported by ESBMC.
4. Each iteration of a file in the source tree will call the AI model with the source code file and the ESBMC output.

TODO

These are the tasks left to do to implement this:

• Basic implementation
• Add a -o --output-dir flag that will take another filepath with a destination to place all the .comments files in. So the original project directory is not changed.

[Yiannis128]

See #103