Skip to content

Support for object_size #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
rafaelsamenezes opened this issue Nov 19, 2024 · 1 comment
Open

Support for object_size #1

rafaelsamenezes opened this issue Nov 19, 2024 · 1 comment
Labels
esbmc Issues that might require touching ESBMC
Milestone
First Contract

Comments

@rafaelsamenezes
Copy link
Owner

Expressions of id "object_size" from CBMC have an equivalent in ESBMC through an intrinsic function.
@rafaelsamenezes rafaelsamenezes added bug Something isn't working contract and removed contract labels Nov 19, 2024
@rafaelsamenezes rafaelsamenezes added this to the First Contract milestone Nov 19, 2024
@rafaelsamenezes rafaelsamenezes added esbmc Issues that might require touching ESBMC and removed bug Something isn't working labels Nov 19, 2024
@rafaelsamenezes rafaelsamenezes mentioned this issue Dec 3, 2024
Closed
6 tasks
@tautschnig
Copy link

This evolved in CBMC quite a bit over time, so might nowadays be different from how ESBMC handles it. Possibly look at the older ones among the PRs in this list: https://github.com/diffblue/cbmc/pulls?q=is%3Apr+is%3Aclosed+object_size.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
esbmc Issues that might require touching ESBMC
Projects
None yet
Milestone
First Contract
Development

No branches or pull requests
2 participants
@tautschnig @rafaelsamenezes