Skip to content

Refactor java_bytecode_convert_methodt::convert_instructions #2069

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

Merged
merged 37 commits into from
Jun 13, 2018
Merged

Refactor java_bytecode_convert_methodt::convert_instructions #2069

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
37 commits
Select commit Hold shift + click to select a range
036f1b1
Use auto for iterator types
romainbrenguier Apr 17, 2018
36ed947
Replace assert by invariant
romainbrenguier Apr 17, 2018
87a4f31
Make label static
romainbrenguier Jun 11, 2018
390063f
Extract try_catch_handler function
romainbrenguier Apr 17, 2018
ddb31a0
Extract draw_edges_from_ret_to_jsr function
romainbrenguier Apr 17, 2018
939bb53
Rename iterators and use auto
romainbrenguier Apr 17, 2018
14e3c35
Extract convert_invokedynamic function
romainbrenguier Apr 17, 2018
ce58dca
Extract convert_aload/store/astore functions
romainbrenguier Apr 17, 2018
fc95df1
Extract convert_ret function
romainbrenguier Apr 17, 2018
651246e
Extract convert_if_cmp function
romainbrenguier Apr 17, 2018
0e911d4
Extract convert_if function
romainbrenguier Apr 17, 2018
b4f6d04
Extract convert_if_nonull function
romainbrenguier Apr 17, 2018
61d03da
Extract convert_ifnull function
romainbrenguier Apr 17, 2018
305ede8
Extract convert_iinc function
romainbrenguier Apr 17, 2018
5a5788c
Extract convert_ushr function
romainbrenguier Apr 17, 2018
3049281
Extract convert_cmp function
romainbrenguier Apr 17, 2018
6f0f3fb
Extract convert_cmp2 function
romainbrenguier Apr 17, 2018
68bddf1
Remove redundant assert
romainbrenguier Apr 17, 2018
f1edff9
Extract convert_getstatic function
romainbrenguier Apr 17, 2018
27af4a2
Extract convert_putfield function
romainbrenguier Apr 17, 2018
b846798
Extract convert_putstatic function
romainbrenguier Apr 17, 2018
f8d00f6
Extract convert_new function
romainbrenguier Apr 17, 2018
edc4a28
Extract convert_newarray function
romainbrenguier Apr 17, 2018
48dd97f
Extract convert_multianewarray function
romainbrenguier Apr 17, 2018
0aa1c8e
Extract convert_monitorenter function
romainbrenguier Apr 17, 2018
a7bbf53
Extract do_exception_handling function
romainbrenguier Apr 17, 2018
21e37a8
Extract convert_monitorexit function
romainbrenguier Apr 17, 2018
4c28f99
Extract convert_athrow function
romainbrenguier Apr 17, 2018
0a521a4
Extract convert_checkcast function
romainbrenguier Apr 17, 2018
fcfca08
Extract replace_calls_to_cprover_assume function
romainbrenguier Apr 17, 2018
d627638
Extract convert_invoke function
romainbrenguier Apr 17, 2018
51f53ca
Extract convert_const function
romainbrenguier Apr 17, 2018
e0735af
Extract convert_dup2 function
romainbrenguier Apr 17, 2018
66cf709
Extract convert_dup2_x1 function
romainbrenguier Apr 17, 2018
f2acb00
Extract convert_dup2_x2 function
romainbrenguier Apr 17, 2018
cd98a1f
Extract convert_switch function
romainbrenguier Apr 17, 2018
67081d5
Extract convert_pop function
romainbrenguier Apr 17, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading