LLM driven development and automatic repair kit.
Project description
ESBMC AI
AI Augmented ESBMC processing. Passes the output from ESBMC to an AI model that allows the user to use natural language to understand the output. As the output from ESBMC can be quite technical in nature. The AI can also be asked other questions, such as suggestions on how to fix the problem outputted by ESBMC, and to offer further explanations.
This is an area of active research.
Demonstration
Basic Usage Demo
Fix Code Demo
YouTube Channel
More videos can be found on the ESBMC-AI Youtube Channel
ESBMC
From the ESBMC website:
ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single and multi-threaded C/C++ programs. It does not require the user to annotate the programs with pre- or postconditions, but allows the user to state additional properties using assert-statements, that are then checked as well. Furthermore, ESBMC provides two approaches (lazy and schedule recording) to model check multi-threaded programs. It converts the verification conditions using different background theories and passes them directly to an SMT solver.
From the ESBMC GitHub repo
The efficient SMT-based context-bounded model checker (ESBMC)
Wiki
For full documentation, see the ESBMC-AI Wiki. The README file contains quick setup instructions. For more detailed setup instructions, see the Initial Setup page.
Initial Setup
Configuration/Settings
Usage
Read about how to run and use ESBMC-AI in this wiki page.
Contributing
Pull requests are welcome. For major changes, please open an issue first to discuss what you would like to change.
- Keep the coding style consistent. Use the Black code formatter.
- Keep the righting style professional.
- Include comments and function doc-strings.
- Make sure to update tests as appropriate.
Acknowledgments
ESBMC-AI is made possible by the following listed entities:
License
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for esbmc_ai-0.4.0.dev0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 645ab1bc5c6dab2248c59e45deffc36c4dad1381e64fe0a4cc204cf4c10c6301 |
|
MD5 | a9d7b72b1473b9f3f6fd0276729ba3b5 |
|
BLAKE2b-256 | ae84487e9a66c7d3a36f06802a52514986c6acb881bf82b71d20f7796a04992e |