Improve Signedness Checker
- Mentors
- Michael Ernst
- Organization
- Checker Framework
This project consists of:
1.)Allowing the Signedness Type System to capture the signedness of boxed integral types, special Java wrappers for integral primitives and BigInteger class.
2.) Annotate and provide new methods with the JDK and Guava classes.
3.) Extend the refinement of Value Checker based on their value ranges to wrappers classes and expressions.
4.) Doing case studies on files and annotate the necessary changes.