Open
Description
After running clang-tidy in ESBMC, it was able to find some bugs. We should confirm and fix those issues:
- (confirmed) Dead_Store_0.txt
- (confirmed) Dead_Store_1.txt
- (confirmed, and maybe a bug) Dead_Store_2.txt
- (needs confirmation) Memory_Leak_0.txt
- (needs confirmation) Memory_Leak_1.txt
- (needs confirmation) Memory_Leak_2.txt
- (needs confirmation) Memory_Leak_3.txt
- (needs confirmation) Memory_Leak_4.txt
- (needs confirmation) Memory_Leak_5.txt
- (needs confirmation) Uninitialized_Branch.txt