Skip to content

Prohibit to set static fields from library classes #697 - #699

Merged
sergeypospelov merged 7 commits into
mainfrom
sergey/static_fields_concrete_processing
Aug 15, 2022
Merged

Prohibit to set static fields from library classes #697#699
sergeypospelov merged 7 commits into
mainfrom
sergey/static_fields_concrete_processing

Conversation

@sergeypospelov

@sergeypospelov sergeypospelov commented Aug 10, 2022 •
edited
Loading

Copy link
Copy Markdown
Member

Description

  • It's prohibited now to set static fields from predefined library classes. This is done by filtering fields which are added to meaningfulStaticFields in Traverser. Also these fields won't be substituted with unbounded symbolic variables.
  • Add flag in UtSettings for this feature.
  • Refactored initializedStaticFields field in Memory.
  • Refactored docs for WorkaroundReason.

Fixes #697

Type of Change

  • Bug fix (non-breaking change which fixes an issue)

How Has This Been Tested?

Manual Scenario

To reproduce section from #697 works correctly.

Checklist (remove irrelevant options):

  • The change followed the style guidelines of the UTBot project
  • Self-review of the code is passed
  • The change contains enough commentaries, particularly in hard-to-understand areas
  • No new warnings
  • All tests pass locally with my changes

@sergeypospelov sergeypospelov changed the title Prohibit to set static final fields from library classes #697 Prohibit to set static fields from library classes #697 Aug 10, 2022
Damtev
Damtev previously requested changes Aug 10, 2022
View reviewed changes
Comment thread utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt Outdated
@sergeypospelov
sergeypospelov force-pushed the sergey/static_fields_concrete_processing branch 2 times, most recently from 537d0dd to cea277b Compare August 11, 2022 08:41
@sergeypospelov
sergeypospelov requested a review from Damtev August 11, 2022 08:41
@sergeypospelov sergeypospelov mentioned this pull request Aug 12, 2022
Open
@sergeypospelov
sergeypospelov force-pushed the sergey/static_fields_concrete_processing branch from cea277b to bbcb4a8 Compare August 12, 2022 11:37
CaelmBleidd
CaelmBleidd approved these changes Aug 12, 2022
View reviewed changes

@CaelmBleidd CaelmBleidd left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Comment thread utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt Outdated
Comment thread utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt
dtim
dtim approved these changes Aug 12, 2022
View reviewed changes

@dtim dtim left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I agree with comments by @CaelmBleidd (especially w.r.t. condition readability in isStaticFieldMeaningful), but LGTM overall.

@sergeypospelov
sergeypospelov enabled auto-merge (squash) August 15, 2022 11:02
@sergeypospelov
sergeypospelov merged commit 25707e0 into main Aug 15, 2022
@sergeypospelov
sergeypospelov deleted the sergey/static_fields_concrete_processing branch August 15, 2022 13:49
denis-fokin pushed a commit that referenced this pull request Aug 18, 2022
@sergeypospelov @denis-fokin
Prohibit to set static fields from library classes #697 (#699)
e6dfd01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@dtim dtim dtim approved these changes
@CaelmBleidd CaelmBleidd CaelmBleidd approved these changes
@Damtev Damtev Awaiting requested review from Damtev

Assignees

No one assigned

Labels

None yet

Projects

UTBot Java
Archived in project

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Engine sets the hidden SecurityManager static field

4 participants

@sergeypospelov @dtim @CaelmBleidd @Damtev