161 words
1 minutes
ESBMC_bug_fixing

Here is used to record what I have done and how the UI looks like.

Currently, the AI fixing part is not working well. first the result is not catched as my expected. I can get the result print but failed to show it in the frontend.

Besides that, the repair is quite bad. It tried to fix the bug but just adding a lot of meaningless if statements. To specific, you know, that is not how bug fixing works.

ESBMC_bug_fixing

Formal Verification Assistant

Formal Verification Assistant

Formal Verification Assistant

I have just fixed the bug in the repair suggestion part but the performance is just too bad. DeepSeek and Claude are just trying to add a If statement to change to code to make it work instead of actually fixing the state transition.

Performance is bad. But how to evaluate the fixing? If only based on the assertion properties, it may look like the fixing is correct. Holy Moly!

Hard to continue. I need to talk with my supervisors.

ESBMC_bug_fixing
https://lukew1999.github.io/posts/esbmc_bug_fixing/
Author
Weiqi Wang
Published at
2025-04-16