JCSI Files

/**
 * This file is part of the JCSI tool.
 * Reference publication: "JCSI: A tool for checking secure information flow in Java Card applications"
 *                        Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco, Paolo Masci
 *                        Journal of Systems and Software, Volume 85, Issue 11, November 2012, Pages 2479–2493
 *
 * JCSI is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * JCSI is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with JCSI.  If not, see <http://www.gnu.org/licenses/>.
 *
 * -------------------------------------------------------------------------------------------
 *
 * <p>Title: JCSI</p>
 * <p>JCSI: A Tool for Checking Secure Information Flow in Java Card Applications</p>
 * @author Paolo Masci
 * @version 1.2
 *
 * -------------------------------------------------------------------------------------------
 *
 * ========================
 * BUILD OUTPUT DESCRIPTION
 * ========================
 * 
 * When you build an Java application project that has a main class, the IDE
 * automatically copies all of the JAR
 * files on the projects classpath to your projects dist/lib folder. The IDE
 * also adds each of the JAR files to the Class-Path element in the application
 * JAR files manifest file (MANIFEST.MF).
 * 
 * To run the project from the command line, go to the dist folder and
 * type the following:
 * 
 * java -jar "JCSI_1.2.jar" 
 * 
 */