Class loading utils #2640
Merged
Class loading utils #2640
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
allredj
requested review from
cesaro,
cristina-david,
kroening,
mgudemann,
NathanJPhillips,
pkesseli,
smowton,
tautschnig and
thk123
as code owners
kroening
reviewed
Jul 31, 2018
| @@ -148,3 +148,16 @@ std::string escape(const std::string &s) | |||
|
|
|||
| return result; | |||
| } | |||
|
|
|||
There was a problem hiding this comment.
This bit of code is from stack overflow. You need to attribute it, and clearly mark it as covered by the MIT license.
There was a problem hiding this comment.
@kroening, added copyright notice.
allredj
commented
Jul 31, 2018
There was a problem hiding this comment.
Passed Diffblue compatibility checks (cbmc commit: 60c2c23).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/80485462
allredj
force-pushed
the
support-for-load-containing-class-only
branch
from
60c2c23 to
57ee75f
Compare
Utility to search and replace strings inside a string.
allredj
force-pushed
the
support-for-load-containing-class-only
branch
from
57ee75f to
ee4a670
Compare
allredj
commented
Jul 31, 2018
There was a problem hiding this comment.
Passed Diffblue compatibility checks (cbmc commit: ee4a670).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/80495891
| regex_matcher=std::regex(java_cp_include_files); | ||
| debug() << "Limit loading to classes matching : " << java_cp_include_files |
There was a problem hiding this comment.
Maybe better matching '" << java_cp_include_files << ''' << eom;
There was a problem hiding this comment.
@peterschrammel, adapted as requested.
allredj
force-pushed
the
support-for-load-containing-class-only
branch
from
ee4a670 to
1f4ef40
Compare
allredj
commented
Jul 31, 2018
There was a problem hiding this comment.
Passed Diffblue compatibility checks (cbmc commit: 1f4ef40).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/80506525
peterschrammel
approved these changes
Jul 31, 2018
forejtv
approved these changes
Jul 31, 2018
NathanJPhillips
added a commit
to NathanJPhillips/cbmc
that referenced
this pull request
Aug 22, 2018
6a10f1a Merge pull request diffblue#2462 from tautschnig/vs-goto-inline 96fc7b1 Merge pull request diffblue#2654 from peterschrammel/update-jml8 1847066 Update jbmc/lib/java-models-library to java-models-library#8 (remove sun.* imports) c157ba7 Revert "CMake version.cpp: switch back to add_custom_target" 7a009d6 Merge pull request diffblue#2650 from diffblue/aws-codebuild-clcache 63652fc add clcache to Windows build 6f72b3b Merge pull request diffblue#2657 from smowton/smowton/fix/cmake-version-cpp 35d09d5 CMake version.cpp: switch back to add_custom_target 80331d8 Merge pull request diffblue#2638 from diffblue/CBMC_VERSION_string 7c066f9 Merge pull request diffblue#2618 from owen-jones-diffblue/doc/move-irep-docs-from-util-to-irep ad5c375 use a string instead of macro for version number b6258db Merge pull request diffblue#2509 from danpoe/feature/sharing-map-stats eb71a01 Merge pull request diffblue#2639 from thk123/array-element-type c5519ec Merge pull request diffblue#2640 from allredj/support-for-load-containing-class-only 0855872 Address review comments diffblue#2 eaa7664 Wrap lines properly e682eb9 Add \ref in lots of places 3023cca Address review comments 758f069 Move dstringt documentation to above dstringt a54c82d Move documentation of irept to be above irept b827ea4 Use type equality check in unit tests 77185fd Merge pull request diffblue#2607 from jeannielynnmoulton/jeannie/ParseThrownExceptions2 1f4ef40 Add class loader debug output 4ae8eb6 Move sharing map friends declarations to unit tests 186897c Sharing stats for the sharing map 4438b43 Fix sharing map internal assertion 332febe Remove wrong sharing map internal assertions be7e140 Activate internal checks for the sharing map unit tests 713d3fe Merge pull request diffblue#2636 from polgreen/fix_function_map 87f90ee Add replace_all string utility ea2d393 Make test work on windows 4fa9943 Make array element type be not a comment 655248a Add unit test for when there are no exceptions. a6e7c4b Refactors interface for exceptions to not use irepts. 1134bba Creates java_method_typet which extends code_typet aa83622 Unit tests method get_super_class 565c999 Unit tests throws exceptions parsing. eb88509 Use parsed information for thrown exceptions. 5c7dcac Parses the exception attribute 7fcc42d Adds const to get/set_outer_class 5994dd8 Add method to get super class from java class type. fbad2d9 Rename variable extends to super_class 6d0776f if function is not in the function map, treat as if it has no body da86bdb Merge pull request diffblue#2602 from diffblue/__CPROVER_r/w_ok 0202f34 refactor pointer_validity_check using address_check 4a24ad4 use __CPROVER_r/w_ok in string.c library 732ce2a expand __CPROVER_r/w_ok in goto_check acfea65 __CPROVER_r_ok and __CPROVER_w_ok added to ANSI-C front-end 0618f7d Merge pull request diffblue#2628 from diffblue/clang-extensions 5e43131 Merge pull request diffblue#2608 from diffblue/ms_cl_int64 7c56091 Merge pull request diffblue#2634 from qaphla/local_bitvector_analysis_regression 44ef8d5 Merge pull request diffblue#2630 from diffblue/invalid-pointer-flattening f74c161 test for __float80 and __float128 8288a72 __float80 is a typedef, not a keyword 5495625 FreeBSD: default flavor is now CLANG e63402e added _Null_unspecified clang extension 16a49a7 bugfix: __float128 3849bb0 rename APPLE flavor to CLANG 060b59c separate pointer check for integer addresses 9b5847e fix flattening of ID_invalid_pointer 432dcf1 Added a regression test checking that --pointer-check does not generate excess checks if local_bitvector_analysis can gather information on the pointer being checked. cbfcc5c added support for _int64 keyword 0148347 Avoid signed/unsigned casts and conversion in goto_inline git-subtree-dir: cbmc git-subtree-split: 6a10f1a
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Useful for class loading strategies.
This replaces: #2633. The core functionality has been moved out of cbmc.