Skip to content
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

Fixed and tested vt. Removed UB in vt module. #1

Closed
wants to merge 1 commit into from
Closed

Fixed and tested vt. Removed UB in vt module. #1

wants to merge 1 commit into from

Conversation

pkesseli
Copy link
Contributor

Fixed and tested vt. Removed UB in vt module. Lots of format changes in java_bytecode_vtable.cpp to make it compliant with curent CBMC coding guideline.

@tautschnig
Copy link
Collaborator

Hi Pascal,
Great work, I'll leave it to @kroening to comment on most of the patch contents. For future patch sets, would it be possible to split out whitespace/formatting-only changes into a separate patch? This greatly simplifies reviewing and any potential future debugging.
Best,
Michael

@tautschnig
Copy link
Collaborator

This has been merged in 23aaf82, closing.

@tautschnig tautschnig closed this Mar 5, 2016
@pkesseli pkesseli deleted the vtable branch March 10, 2016 11:06
@theyoucheng theyoucheng mentioned this pull request Aug 25, 2016
Open
@martin-cs martin-cs mentioned this pull request Oct 28, 2016
Closed
smowton referenced this pull request in smowton/cbmc Jan 3, 2017
@peterschrammel
Merge pull request #1 from thk123/no-inline-start-function-calls
fbc712c 
Do not partially inline functions called from _start

This allows us to unambiguously identify the binding of the arguments 
to the parameters of entry point function.
mariusmc92 pushed a commit to mariusmc92/cbmc that referenced this pull request Mar 9, 2017
@smowton
Merge pull request diffblue#1 from mariusmc92/security_scanner_support
2d8187c 
Updated LVSA data structures for Recency Analysis
@smowton smowton mentioned this pull request Apr 21, 2017
Merged
@smowton smowton mentioned this pull request May 20, 2017
Merged
@smowton smowton mentioned this pull request Jul 20, 2017
Merged
polgreen referenced this pull request in polgreen/cbmc Nov 14, 2017
@peterschrammel
Merge pull request #1 from zemanlx/feature/optimise-travis-run
a111150 
Feature/optimise travis run
@tautschnig tautschnig mentioned this pull request Feb 15, 2018
Closed
@smowton smowton mentioned this pull request Feb 28, 2018
Merged
@smowton smowton mentioned this pull request May 22, 2018
Merged
owen-mc-diffblue pushed a commit that referenced this pull request Mar 20, 2019
Fix wrong type for dereference expression #1
96d572d 
We should keep the struct tag type, not follow it and get the struct type
tautschnig pushed a commit that referenced this pull request Mar 21, 2019
Fix wrong type for dereference expression #1
a72469a 
We should keep the struct tag type, not follow it and get the struct type
zlfben pushed a commit to zlfben/cbmc that referenced this pull request May 13, 2021
Merge pull request diffblue#1 from lefanz-amazon/show-expr-temp
71a7f7d 
I merged our code together and added a simple json parser (not completed but working).
@martin-cs martin-cs mentioned this pull request Jun 24, 2021
Closed
@tautschnig tautschnig mentioned this pull request Jun 21, 2022
Closed
@NlightNFotis NlightNFotis mentioned this pull request Jul 28, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@pkesseli @tautschnig