Updated README and added licenses.

LICENSE

@@ -0,0 +1,26 @@
+Copyright (c) 2016, SRI International 
+All rights reserved. 
+
+Redistribution and use in source and binary forms, with or without 
+modification, are permitted provided that the following conditions are met: 
+
+ * Redistributions of source code must retain the above copyright notice, 
+   this list of conditions and the following disclaimer. 
+ * 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. 
+ * Neither the name of SRI International nor the names of its contributors 
+   may be used to endorse or promote products derived from this software 
+   without specific prior written permission. 
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "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 COPYRIGHT OWNER OR CONTRIBUTORS 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. 

LICENSE_Facebook

@@ -0,0 +1,30 @@
+BSD License
+
+For Infer software
+
+Copyright (c) 2013-present, Facebook, Inc. All rights reserved.
+
+Redistribution and use in source and binary forms, with or without modification,
+are permitted provided that the following conditions are met:
+
+* Redistributions of source code must retain the above copyright notice, this
+list of conditions and the following disclaimer.
+
+* 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.
+
+* Neither the name Facebook nor the names of its contributors may be used to
+endorse or promote products derived from this software without specific
+prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "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 COPYRIGHT HOLDER OR CONTRIBUTORS 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.

PATENTS_Facebook

@@ -0,0 +1,33 @@
+Additional Grant of Patent Rights Version 2
+
+"Software" means the Infer software distributed by Facebook, Inc.
+
+Facebook, Inc. (“Facebook”) hereby grants to each recipient of the Software
+(“you”) a perpetual, worldwide, royalty-free, non-exclusive, irrevocable
+(subject to the termination provision below) license under any Necessary
+Claims, to make, have made, use, sell, offer to sell, import, and otherwise
+transfer the Software. For avoidance of doubt, no license is granted under
+Facebook's rights in any patent claims that are infringed by (i) modifications
+to the Software made by you or any third party or (ii) the Software in
+combination with any software or other technology.
+
+The license granted hereunder will terminate, automatically and without notice,
+if you (or any of your subsidiaries, corporate affiliates or agents) initiate
+directly or indirectly, or take a direct financial interest in, any Patent
+Assertion: (i) against Facebook or any of its subsidiaries or corporate
+affiliates, (ii) against any party if such Patent Assertion arises in whole or
+in part from any software, technology, product or service of Facebook or any of
+its subsidiaries or corporate affiliates, or (iii) against any party relating
+to the Software. Notwithstanding the foregoing, if Facebook or any of its
+subsidiaries or corporate affiliates files a lawsuit alleging patent
+infringement against you in the first instance, and you respond by filing a
+patent infringement counterclaim in that lawsuit against that party that is
+unrelated to the Software, the license granted hereunder will not terminate
+under section (i) of this paragraph due to such counterclaim.
+
+A "Necessary Claim" is a claim of a patent owned by Facebook that is
+necessarily infringed by the Software standing alone.
+
+A "Patent Assertion" is any lawsuit or other action alleging direct, indirect,
+or contributory infringement or inducement to infringe any patent, including a
+cross-claim or counterclaim.

README.md

@@ -8,6 +8,7 @@ analysis tools, including:
 
 * [Randoop](https://randoop.github.io/randoop/)
 * [Bixie](http://sri-csl.github.io/bixie/)
+* [Checker Framework](http://types.cs.washington.edu/checker-framework/)
 
 `do-like-javac` supports projects built with:
 
@@ -16,6 +17,10 @@ analysis tools, including:
 * Gradle
 * Manual invocation of `javac`
 
+If you have a project that builds through Eclipse that you want to analyze,
+Eclipse can generate an Ant-compatible `build.xml` file by right-clicking the
+project, selecting "Export" and choosing the "Ant Buildfiles" option.
+
 Dependencies
 ============
 
@@ -96,7 +101,9 @@ No special arguments are required to run [Randoop](https://randoop.github.io/ran
 LICENSE
 =======
 
-Parts of the code in this directory were taken from the Facebook Infer project.
-Its license is available at
+Parts of the code in this project were taken from the Facebook Infer project.
+Files containing such code have Facebook copyright notices at the top and are
+licensed under the terms laid out in LICENSE_Facebook.
 
-  https://github.com/facebook/infer/blob/master/LICENSE
+The rest of the project is licensed under the BSD license under the terms laid
+out in LICENSE.

do_like_javac/arg.py

@@ -1,3 +1,11 @@
+# Copyright (c) 2013 - present Facebook, Inc.
+# All rights reserved.
+#
+# This source code is licensed under the BSD style license found in the
+# LICENSE_Facebook file in the root directory of this source tree. An
+# additional grant of patent rights can be found in the PATENTS_Facebook file
+# in the same directory.
+
 import argparse
 import os
 import sys

do_like_javac/capture/ant.py

@@ -2,8 +2,9 @@
 # All rights reserved.
 #
 # This source code is licensed under the BSD style license found in the
-# LICENSE file in the root directory of this source tree. An additional grant
-# of patent rights can be found in the PATENTS file in the same directory.
+# LICENSE_Facebook file in the root directory of this source tree. An
+# additional grant of patent rights can be found in the PATENTS_Facebook file
+# in the same directory.
 
 import util
 import generic

do_like_javac/capture/gradle.py

@@ -2,8 +2,9 @@
 # All rights reserved.
 #
 # This source code is licensed under the BSD style license found in the
-# LICENSE file in the root directory of this source tree. An additional grant
-# of patent rights can be found in the PATENTS file in the same directory.
+# LICENSE_Facebook file in the root directory of this source tree. An
+# additional grant of patent rights can be found in the PATENTS_Facebook file
+# in the same directory.
 
 import util
 import generic

do_like_javac/capture/javac.py

@@ -2,8 +2,9 @@
 # All rights reserved.
 #
 # This source code is licensed under the BSD style license found in the
-# LICENSE file in the root directory of this source tree. An additional grant
-# of patent rights can be found in the PATENTS file in the same directory.
+# LICENSE_Facebook file in the root directory of this source tree. An
+# additional grant of patent rights can be found in the PATENTS_Facebook file
+# in the same directory.
 
 import util
 import generic

do_like_javac/capture/mvn.py

@@ -2,8 +2,9 @@
 # All rights reserved.
 #
 # This source code is licensed under the BSD style license found in the
-# LICENSE file in the root directory of this source tree. An additional grant
-# of patent rights can be found in the PATENTS file in the same directory.
+# LICENSE_Facebook file in the root directory of this source tree. An
+# additional grant of patent rights can be found in the PATENTS_Facebook file
+# in the same directory.
 
 import re
 import util

do_like_javac/capture/util.py

@@ -4,8 +4,9 @@
 # All rights reserved.
 #
 # This source code is licensed under the BSD style license found in the
-# LICENSE file in the root directory of this source tree. An additional grant
-# of patent rights can be found in the PATENTS file in the same directory.
+# LICENSE_Facebook file in the root directory of this source tree. An
+# additional grant of patent rights can be found in the PATENTS_Facebook file
+# in the same directory.
 
 import do_like_javac.log
 import os

do_like_javac/log.py

@@ -2,8 +2,9 @@
 # All rights reserved.
 #
 # This source code is licensed under the BSD style license found in the
-# LICENSE file in the root directory of this source tree. An additional grant
-# of patent rights can be found in the PATENTS file in the same directory.
+# LICENSE_Facebook file in the root directory of this source tree. An
+# additional grant of patent rights can be found in the PATENTS_Facebook file
+# in the same directory.
 
 import os
 import sys