Pharos Static Analysis Framework Source Code Copyright 2017 Carnegie Mellon University. All Rights Reserved.
NO WARRANTY. THIS CARNEGIE MELLON UNIVERSITY AND SOFTWARE ENGINEERING INSTITUTE MATERIAL IS FURNISHED ON AN "AS-IS" BASIS. CARNEGIE MELLON UNIVERSITY MAKES NO WARRANTIES OF ANY KIND, EITHER EXPRESSED OR IMPLIED, AS TO ANY MATTER INCLUDING, BUT NOT LIMITED TO, WARRANTY OF FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT, TRADEMARK, OR COPYRIGHT INFRINGEMENT.
Released under a BSD-style license, please see LICENSE or contact [email protected] for full terms.
[DISTRIBUTION STATEMENT A] This material has been approved for public release and unlimited distribution.
This Software includes and/or makes use of the following Third-Party Software subject to its own license:
-
ROSE Compiler Framework (http://rosecompiler.org/)
Copyright 2017 LLNL
http://rosecompiler.org/ROSE_HTML_Reference/group__license.html
-
XSB (http://xsb.sourceforge.net/)
Copyright (C) The Research Foundation of SUNY, 1986, 1993-2013
Copyright (C) ECRC, Germany, 1990
https://sourceforge.net/p/xsb/src/HEAD/tree/trunk/XSB/LICENSE
-
Boost (http://www.boost.org/)
Copyright by various individual authors (see specific modules)
-
yaml-cpp (https://github.com/jbeder/yaml-cpp)
Copyright (c) 2008-2015 Jesse Beder
-
SQLLite (https://www.sqlite.org/)
Public Domain
-
GoogleTest (https://github.com/google/googletest)
Copyright 2008, Google Inc
https://github.com/google/googletest/blob/master/googletest/LICENSE
-
MD5 Implementation
Copyright (c) 2001 Alexander Peslyak placed in the Public Domain
-
Yices (optional) (http://yices.csl.sri.com/)
Copyright 2016, SRI International
DM17-0290