esbmc

esbmc/esbmc-ai

Automated Code Repair suite powered by ESBMC and LLMs.

1 good first / help-wanted issue · C · last activity Aug 26, 2025

38 stars 8 forks 38 watchers C Other
ai artificial-intelligence automated-program-repair bmc bounded-model-checking esbmc llm llms
View on GitHub Website
1 Open Issue Need Help Last updated: Aug 26, 2025

Open Issues Need Help

View All on GitHub
Change get_patch to get_diff in SourceFile about 1 year ago
good first issue
esbmc/esbmc-ai
38

Automated Code Repair suite powered by ESBMC and LLMs.

C
#ai#artificial-intelligence#automated-program-repair#bmc#bounded-model-checking#esbmc#llm#llms