Pull requests: ucr-riple/NullAwayAnnotator
Pull requests list
Skip serialization for elements in generated classes in Scanner
enhancement
New feature or request
#231
opened May 13, 2024 by
nimakarimipour
Loading…
Add clean up phase to remove annotations on local variables
enhancement
New feature or request
#203
opened May 31, 2023 by
nimakarimipour
Loading…
Add inference support for UCRTaint checker
enhancement
New feature or request
#194
opened May 18, 2023 by
nimakarimipour
Loading…
Avoid serializing 0-argument super calls in constructors
low priority
Low priority task
#142
opened Feb 16, 2023 by
nimakarimipour
Loading…
Change json dependency to use org.json
low priority
Low priority task
refactoring/simplification
Refactoring Simplification
#123
opened Jan 2, 2023 by
nimakarimipour
Loading…
Add -Werror for javac
low priority
Low priority task
refactoring/simplification
Refactoring Simplification
#107
opened Dec 7, 2022 by
nimakarimipour
Loading…
Resolves #71 including fixes from downstream depenedencies
bug
Something isn't working
#72
opened Sep 15, 2022 by
nimakarimipour
•
Draft
ProTip!
What’s not been updated in a month: updated:<2024-10-09.