-
Notifications
You must be signed in to change notification settings - Fork 13
Issues: spgroup/conflict-static-analysis
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
teria que criar um wrapper de List, mas ficaria melhor. pode deixar para a proxima versao
#73
by barbosamaatheus
was closed Aug 8, 2024
[OA INTER] Adicionar Stack trace ao conflito.
enhancement
New feature or request
#43
by barbosamaatheus
was closed Aug 11, 2022
Differentiate indexes in array for OA conflict detection
#40
by barbosamaatheus
was closed Jul 15, 2021
Add Overriding Assignment Inter Procedural Analyze
enhancement
New feature or request
#31
by barbosamaatheus
was closed Aug 11, 2022
Integrate different overriding assignment implementations for performance and experiment reasons
#23
by pauloborba
was closed Aug 8, 2024
Refactor overriding assignment abstraction so that we have two lists
#22
by pauloborba
was closed Jul 15, 2021
Refactor DataFlowAbstraction so that it has only two fields: statement and variable
#21
by pauloborba
was closed Aug 8, 2024
Confluent Tainted Analysis
enhancement
New feature or request
good first issue
Good for newcomers
#5
by rbonifacio
was closed Apr 27, 2020
ProTip!
Updated in the last three days: updated:>2025-01-22.