Skip to content

Conversation

@Damtev
Copy link
Member

@Damtev Damtev commented Sep 8, 2022

Description

See the corresponding document.

Type of Change

  • Documentation

@Damtev Damtev added ctg-documentation Improvements or additions to documentation comp-symbolic-engine Issue is related to the symbolic execution engine labels Sep 8, 2022
@Damtev Damtev requested a review from CaelmBleidd September 8, 2022 09:36
@Damtev Damtev force-pushed the damtev/static_initializers_analysis_design_doc branch from f520487 to c1d6d1d Compare September 8, 2022 09:36
Copy link
Member

@CaelmBleidd CaelmBleidd left a comment

Choose a reason for hiding this comment

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

Seems good, but I suggest asking @olganaumenko for help with English

Comment on lines 1 to 4
# Symbolic analysis of static initializers

## Current behavior
### Problem
Copy link
Member

Choose a reason for hiding this comment

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

I think it is a bad idea to leave three consecutive titles without text between them

setStaticField(optionalClazz, "EMPTY", empty);
```

Such behavior is mostly strange for a user and should be properly fixed - we should not set such static fields with initializers manually.
Copy link
Member

Choose a reason for hiding this comment

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

What does such mean? What criteria make these fields such?

@Damtev Damtev requested a review from CaelmBleidd November 16, 2022 06:57
@Damtev Damtev merged commit d7ad5ed into main Nov 18, 2022
@Damtev Damtev deleted the damtev/static_initializers_analysis_design_doc branch November 18, 2022 09:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp-symbolic-engine Issue is related to the symbolic execution engine ctg-documentation Improvements or additions to documentation

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

4 participants