Programming Languages Research Group: Git

Adding Java Checker Framework to flag error when java.net and java.lang.reflect libraries are used in user's code

checker/Makefile	[new file with mode: 0644]	blob
checker/astubs/IoTRelation.astub	[new file with mode: 0644]	blob
checker/astubs/IoTSet.astub	[new file with mode: 0644]	blob
checker/iotchecker/IoTJavaChecker.java	[new file with mode: 0644]	blob
checker/iotchecker/IoTJavaVisitor.java	[new file with mode: 0644]	blob
checker/iotchecker/messages.properties	[new file with mode: 0644]	blob
checker/iotchecker/package-info.java	[new file with mode: 0644]	blob

The source code and documentation of Vigilia