Perfecting brute-force attack for D-Link alarm/siren; basically we have to always...
[iot2.git] / checker / iotchecker / IoTJavaChecker.java
1 package iotchecker;
2
3 import org.checkerframework.common.basetype.BaseTypeChecker;
4
5 /** Class IoTJavaChecker is a class that extends
6  *  BaseTypeChecker. 
7  *
8  * @author      Rahmadi Trimananda <rahmadi.trimananda @ uci.edu>
9  * @author      Bin Xu <xub3 @ uci.edu>
10  * @version     1.0
11  * @since       2016-03-25
12  */
13 public final class IoTJavaChecker extends BaseTypeChecker {
14 }