search

model-checking / cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
https://model-checking.github.io/cbmc-viewer/
Apache License 2.0
32 stars 11 forks source link

CBMC v6 fixes and release 3.9 #153

Closed tautschnig closed 3 weeks ago

tautschnig commented 3 weeks ago

See individual commit messages for details.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

rod-chapman commented 3 weeks ago

Could you drop a release 3.9 into Homebrew as soon as you have it please?

rod-chapman commented 3 weeks ago

s2n-tls's CI runners install this via "pip3 install cbmc-viewer==$CBMC_VIEWER_VERSION" where CBMC_VIEWER_VERSION is pulled from https://api.github.com/repos/model-checking/cbmc-viewer/releases/latest

Will that automatically get updated too?

feliperodri commented 3 weeks ago

It seems now we are failing to produce result.xml for some cases in coreHTTP.

tautschnig commented 3 weeks ago

It seems now we are failing to produce result.xml for some cases in coreHTTP.

I will investigate what is going on there.

tautschnig commented 3 weeks ago

It seems now we are failing to produce result.xml for some cases in coreHTTP.

I will investigate what is going on there.

We will first need to fix coreHTTP to work with CBMC v6 (updating the use of --object-bits). Merging as the failure is unrelated.

tautschnig commented 3 weeks ago

s2n-tls's CI runners install this via "pip3 install cbmc-viewer==$CBMC_VIEWER_VERSION" where CBMC_VIEWER_VERSION is pulled from https://api.github.com/repos/model-checking/cbmc-viewer/releases/latest

Will that automatically get updated too?

@rod-chapman This works now.

tautschnig commented 3 weeks ago

Could you drop a release 3.9 into Homebrew as soon as you have it please?

Homebrew should be available as soon as https://github.com/aws/homebrew-tap/pull/557 has been merged.