Skip to content

Design document for problems and solutions for static initializers analysis #877

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.

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 2 commits into from
Nov 18, 2022

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.

3 participants