-
Notifications
You must be signed in to change notification settings - Fork 72
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
ThreadCreate analysis to improve partially context-sensitive threadID analysis #1077
Conversation
Co-authored-by:FelixKrayer<[email protected]>
Co-authored-by:FelixKrayer<[email protected]>
@@ -0,0 +1,32 @@ | |||
// PARAM: --disable ana.thread.context.create-edges |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All these tests disable the new option, so aren't they just testing the old behavior without the edges?
Seems like there should be tests for the cases where enabling the new option actually makes us more precise than before as well.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The option is active by default as that corresponds to the old behavior. What the changes in here are about is holding on to more precision, when reducing the amount of context-sensitivity.
Co-authored-by: Simmo Saan <[email protected]>
@sim642 When you get a chance, can you have a look? The comments should be addressed, and it would be nice to have this merged before it becomes stale again. |
This is a reimplementation of #1007 to play nice with the new uniqueness counter integrating the analysis into the
threadId
analysis as suggested in #1007 (comment).Original implementation by @FelixKrayer.