tcc - Thread Confinement Checker

Tooling and Dependencies

1. Build Tooling Apache Maven Version 2.2.X more details see http://maven.apache.org/

2. For byte code analyzing the BCEL library is used in the project. More details about Apache BCEL see http://commons.apache.org/bcel/

3. Tests are written in JUnit Version 4.X more details about JUnit see http://junit.org/

4. SCM is GIT / GitHUB.

Build Project

1. Clone Project from github git clone https://github.com/seerhein-lab/tcc.git

2. Import as Eclipse project mvn eclipse:eclipse and import as generic project.

Usage

Start ConfinementTestDriver with the program package and the Class to check, if only one class should be checked.

ConfinementTestDriver package [classToCheck]

The specified package has to be on the classpath.

LICENSE

Copyright 2012 HTWG Konstanz and Seitenbau

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.