search

checkedc / checkedc-llvm-project

This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now at https://github.com/checkedc/checkedc-clang.
https://www.checkedc.org
13 stars 19 forks source link

Latest updates to Checked C Convert tool #874

Closed secure-sw-dev-bot closed 2 years ago

secure-sw-dev-bot commented 2 years ago

This issue was copied from https://github.com/microsoft/checkedc-clang/issues/878

This pull request includes a lot of changes to cconv tool.

We fixed various issues, added a lot (318) of test cases, improved the reliability and accuracy of the tool done over past 2 months.

secure-sw-dev-bot commented 2 years ago

Comment from @mgrang:

I see changes in several files because your PR does not seem to be on latest master. Could you please merge master into your PR? This would make it easier to review the changes.

secure-sw-dev-bot commented 2 years ago

Comment from @Machiry:

I see changes in several files because your PR does not seem to be on latest master. Could you please merge master into your PR? This would make it easier to review the changes.

Actually, they are on top of the master. The huge number of files is because of the new tests (318) we added.

secure-sw-dev-bot commented 2 years ago

Comment from @mgrang:

Sorry, I am having difficulty reviewing this PR effectively because of its size. Is it possible to break it down into smaller PRs?