TeSSLa Instrumenter

Copyright (c) 2020 Institute of Software Engineering and Programming Languages, 
University of Lübeck, Germany

TeSSLa Instrumenter is licensed under the following license (modified MIT
license):

Permission is hereby granted, free of charge, to any person obtaining a copy of 
this binary (the "Software"), to deal in the Software without restriction, 
including without limitation the rights to use, copy, modify, merge, publish, 
distribute, sublicense, and/or sell copies of the Software and the code which is 
generated by the Software, and to permit persons to whom the Software is 
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all 
copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS 
FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR 
COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER 
IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN 
CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

TeSSLa Instrumenter links directly or indirectly the following works:

antlr (BSD License)
cats (MIT License) 
checkerframework (GNU GPL License with classpath exception)
ctf-reader (Eclipse Public License 1.0)
google-errorprone (Apache License, Version 2.0)
google-guava (Apache License, Version 2.0)
google-j2objc (Apache License, Version 2.0)
google-jsr305 (Apache License, Version 2.0)
javacpp (Apache License, Version 2.0)
mojo-animalsniffer (MIT License)
plume-lib (MIT License)
scala (Apache License, Version 2.0)
scalatest (Apache License, Version 2.0)
spray-json (Apache License, Version 2.0)


Copyright notices:

antlr: Copyright (c) 2012 Terence Parr and Sam Harwell
cats: Copyright (c) 2015 Cats Contributors.
checkerframework: Copyright 2004-present by the Checker Framework developers
plume-lib: Copyright (c) 2017 plume-lib
scala: Copyright (c) 2002-2020 EPFL, Copyright (c) 2011-2020 Lightbend, Inc.

# Jackson JSON processor

Jackson is a high-performance, Free/Open Source JSON processing library.
It was originally written by Tatu Saloranta (tatu.saloranta@iki.fi), and has
been in development since 2007.
It is currently developed by a community of developers, as well as supported
commercially by FasterXML.com.

## Licensing

Jackson core and extension components may be licensed under different licenses.
To find the details that apply to this artifact see the accompanying LICENSE file.
For more information, including possible other licensing options, contact
FasterXML.com (http://fasterxml.com).

## Credits

A list of contributors may be found from CREDITS file, which is included
in some artifacts (usually source distributions); but is always available
from the source code management (SCM) system project uses.

# Joda

This product includes software developed by
Joda.org (http://www.joda.org/).

# Scala

Scala
Copyright (c) 2002-2020 EPFL
Copyright (c) 2011-2020 Lightbend, Inc.

Scala includes software developed at
LAMP/EPFL (https://lamp.epfl.ch/) and
Lightbend, Inc. (https://www.lightbend.com/).

Licensed under the Apache License, Version 2.0 (the "License").
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.

This software includes projects with other licenses -- see `doc/LICENSE.md`.
(https://github.com/scala/scala/blob/2.13.x/doc/LICENSE.md)

# Scalatest

- This product includes software developed by
  Artima, Inc. (http://www.artima.com/).
  
# Cats
 
Cats Copyright (c) 2015 Cats Contributors.

Code in Cats is derived in part from Scalaz. The Scalaz license follows:

Copyright (c) 2009-2014 Tony Morris, Runar Bjarnason, Tom Adams, Kristian 
Domagala, Brad Clow, Ricky Clarkson, Paul Chiusano, Trygve Laugstøl, Nick 
Partridge, Jason Zaugg. All rights reserved.

Redistribution and use in source and binary forms, with or without modification, 
are permitted provided that the following conditions are met: 1. Redistributions 
of source code must retain the above copyright notice, this list of conditions 
and the following disclaimer. 2. Redistributions in binary form must reproduce 
the above copyright notice, this list of conditions and the following disclaimer 
in the documentation and/or other materials provided with the distribution. 3. 
The name of the author may not be used to endorse or promote products derived 
from this software without specific prior written permission.

THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED 
WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF 
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT 
SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, 
EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT 
OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 
INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 
CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING 
IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY 
OF SUCH DAMAGE.
