Skip to content
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

Jump to bottom

SAFE has it's own entry points #127

Open
khatchad opened this issue Dec 15, 2017 · 2 comments
Open

SAFE has it's own entry points #127

khatchad opened this issue Dec 15, 2017 · 2 comments
Labels
bug interprocedural
Milestone
Future

Comments

@khatchad
Copy link
Member

khatchad commented Dec 15, 2017 •
edited
Loading

In the typestate analysis options. It's probably defaulting to main() methods but this may not match what we get from the input program.
@khatchad khatchad added the bug label Dec 18, 2017
@khatchad
Copy link
Member Author

It could be the case that SAFE uses our call graph, in which case this issue is moot.

@khatchad
Copy link
Member Author

In fact, I think that is the case:
https://github.com/ponder-lab/Java-8-Stream-Refactoring/blob/9835cb06da282e08c97feae9a099da3c31ca0884/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamStateMachine.java#L255-L256

@khatchad khatchad mentioned this issue Dec 18, 2017
Open
@khatchad khatchad added this to the Future milestone Dec 21, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug interprocedural
Projects
None yet
Milestone
Future
Development

No branches or pull requests
1 participant
@khatchad