Merge pull request #345 from mdimjasevic/master

Added missing copyright headers per klee/issue #301

33 files changed, 299 insertions, 4 deletions

diff --git a/include/klee/Internal/ADT/DiscretePDF.inc b/include/klee/Internal/ADT/DiscretePDF.inc
index 1eb23629..5aee2de5 100644
--- a/include/klee/Internal/ADT/DiscretePDF.inc
+++ b/include/klee/Internal/ADT/DiscretePDF.inc
@@ -1,6 +1,11 @@
-//===- DiscretePDF.inc - --*- C++ -*-===//
-
+//===- DiscretePDF.inc - --*- C++ -*---------------------------------------===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
 //
+//===----------------------------------------------------------------------===//
 
 namespace klee {
 
diff --git a/include/klee/util/PrintContext.h b/include/klee/util/PrintContext.h
index 6b1ef77a..a72af033 100644
--- a/include/klee/util/PrintContext.h
+++ b/include/klee/util/PrintContext.h
@@ -1,3 +1,12 @@
+//===-- PrintContext.h ------------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 #ifndef PRINTCONTEXT_H_
 #define PRINTCONTEXT_H_
 
diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp
index 70ee736e..dcc1b238 100644
--- a/lib/Basic/CmdLineOptions.cpp
+++ b/lib/Basic/CmdLineOptions.cpp
@@ -1,3 +1,12 @@
+//===-- CmdLineOptions.cpp --------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * This file groups command line options definitions and associated
  * data that are common to both KLEE and Kleaver.
diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h
index ffd3cfe9..9e1f9a62 100644
--- a/lib/Solver/MetaSMTBuilder.h
+++ b/lib/Solver/MetaSMTBuilder.h
@@ -1,4 +1,14 @@
- /*
+//===-- MetaSMTBuilder.h ----------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
+
+/*
  * MetaSMTBuilder.h
  *
  *  Created on: 8 Aug 2012
diff --git a/scripts/IStatsMerge.py b/scripts/IStatsMerge.py
index 1bd61c3e..ae87033f 100755
--- a/scripts/IStatsMerge.py
+++ b/scripts/IStatsMerge.py
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- IStatsMerge.py ----------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 
 import sys, os
diff --git a/scripts/IStatsSum.py b/scripts/IStatsSum.py
index ce680c7b..0546e895 100755
--- a/scripts/IStatsSum.py
+++ b/scripts/IStatsSum.py
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- IStatsSum.py ------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 
 import sys, os
diff --git a/scripts/coverageServer.py b/scripts/coverageServer.py
index db708545..841b8e5e 100644
--- a/scripts/coverageServer.py
+++ b/scripts/coverageServer.py
@@ -1,4 +1,14 @@
 #!/usr/bin/python
+
+# ===-- coverageServer.py -------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from flask import *
 from functools import wraps
 from subprocess import call
diff --git a/scripts/genTempFiles.sh b/scripts/genTempFiles.sh
index f77cbcea..fa6e435f 100755
--- a/scripts/genTempFiles.sh
+++ b/scripts/genTempFiles.sh
@@ -1,5 +1,14 @@
 #!/bin/bash
 
+# ===-- genTempFiles.sh ---------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 if [ -z "$1" ] ; then
 	echo "No directory given"
 	exit 1
diff --git a/scripts/klee-chroot-env b/scripts/klee-chroot-env
index 3b524d8e..079714dd 100755
--- a/scripts/klee-chroot-env
+++ b/scripts/klee-chroot-env
@@ -1,6 +1,15 @@
 #!/usr/bin/env python2
 #-*- coding: utf-8 -*-
 #
+# ===-- klee-chroot-env ---------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+#
 # Buiding chroot environment for the program under test.
 #
 # This script uses `ldd' to get the shared libraries required by a program,
diff --git a/scripts/klee-clang b/scripts/klee-clang
index 212bc8ed..7b98a97d 100755
--- a/scripts/klee-clang
+++ b/scripts/klee-clang
@@ -1,5 +1,14 @@
 #!/usr/bin/env python
 
+# ===-- klee-clang --------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import os, sys
 import subprocess
 import re
diff --git a/scripts/klee-control b/scripts/klee-control
index 50c1f82d..2f111524 100755
--- a/scripts/klee-control
+++ b/scripts/klee-control
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- klee-control ------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import os, signal, popen2
 
 def getPID(dir):
diff --git a/scripts/klee-gcc b/scripts/klee-gcc
index 3ed4c23a..2add2248 100755
--- a/scripts/klee-gcc
+++ b/scripts/klee-gcc
@@ -1,5 +1,14 @@
 #!/usr/bin/env python
 
+# ===-- klee-gcc ----- ----------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import os, sys
 
 def isLinkCommand():
diff --git a/scripts/objdump b/scripts/objdump
index ff055697..3090d383 100755
--- a/scripts/objdump
+++ b/scripts/objdump
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- objdump -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 """
 An objdump wrapper for use with klee & kcachegrind.
 
diff --git a/tools/gen-random-bout/gen-random-bout.cpp b/tools/gen-random-bout/gen-random-bout.cpp
index 46f662dd..fca24008 100644
--- a/tools/gen-random-bout/gen-random-bout.cpp
+++ b/tools/gen-random-bout/gen-random-bout.cpp
@@ -1,3 +1,12 @@
+//===-- gen-random-bout.cpp -------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 #include <assert.h>
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index edc5f4c9..9c374eb8 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -1,3 +1,12 @@
+//===-- main.cpp ------------------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 #include "expr/Lexer.h"
 #include "expr/Parser.h"
 
diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats
index 6ed772cd..93ae33d5 100755
--- a/tools/klee-stats/klee-stats
+++ b/tools/klee-stats/klee-stats
@@ -1,5 +1,15 @@
 #!/usr/bin/env python
 # -*- encoding: utf-8 -*-
+
+# ===-- klee-stats --------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 """Output statistics logged by Klee."""
 
 # use '/' to mean true division and '//' to mean floor division
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 0dfa4399..568c70bb 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -1,5 +1,14 @@
 /* -*- mode: c++; c-basic-offset: 2; -*- */
 
+//===-- main.cpp ------------------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 #include "klee/ExecutionState.h"
 #include "klee/Expr.h"
 #include "klee/Interpreter.h"
diff --git a/tools/ktest-tool/ktest-tool b/tools/ktest-tool/ktest-tool
index b7504be8..b73c6375 100755
--- a/tools/ktest-tool/ktest-tool
+++ b/tools/ktest-tool/ktest-tool
@@ -1,5 +1,14 @@
 #!/usr/bin/env python
 
+# ===-- ktest-tool --------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import os
 import struct
 import sys
diff --git a/unittests/Makefile b/unittests/Makefile
index 175ccdd5..b7e51371 100644
--- a/unittests/Makefile
+++ b/unittests/Makefile
@@ -1,4 +1,11 @@
 ##===- unittests/Makefile ----------------------------------*- Makefile -*-===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
 
 LEVEL = ..
 
diff --git a/unittests/Ref/RefTest.cpp b/unittests/Ref/RefTest.cpp
index 229fd9a8..48a15885 100644
--- a/unittests/Ref/RefTest.cpp
+++ b/unittests/Ref/RefTest.cpp
@@ -1,3 +1,12 @@
+//===-- RefTest.cpp ---------------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 /* Regression test for a bug caused by assigning a ref to itself.
    More details at http://keeda.stanford.edu/pipermail/klee-commits/2012-February/000904.html */
 
diff --git a/utils/emacs/klee-pc-mode.el b/utils/emacs/klee-pc-mode.el
index 3d68b1cf..d036dddb 100644
--- a/utils/emacs/klee-pc-mode.el
+++ b/utils/emacs/klee-pc-mode.el
@@ -1,3 +1,12 @@
+;;===-- klee-pc-mode.el ---------------------------------------------------===;;
+;; 
+;;                     The KLEE Symbolic Virtual Machine
+;; 
+;; This file is distributed under the University of Illinois Open Source
+;; License. See LICENSE.TXT for details.
+;; 
+;;===----------------------------------------------------------------------===;;
+
 (provide 'klee-pc-mode)
 
 (require 'font-lock)
diff --git a/utils/hacks/TreeGraphs/Animate.py b/utils/hacks/TreeGraphs/Animate.py
index 07f43756..03be6643 100755
--- a/utils/hacks/TreeGraphs/Animate.py
+++ b/utils/hacks/TreeGraphs/Animate.py
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- Animate.py --------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import os
 import TreeGraph
 import Image
diff --git a/utils/hacks/TreeGraphs/DumpTreeStream.py b/utils/hacks/TreeGraphs/DumpTreeStream.py
index b3614c7c..0b3f0ee1 100644
--- a/utils/hacks/TreeGraphs/DumpTreeStream.py
+++ b/utils/hacks/TreeGraphs/DumpTreeStream.py
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- DumpTreeStream.py -------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 
 import sys, os, struct
diff --git a/utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py b/utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py
index 048540ab..664ac668 100644
--- a/utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py
+++ b/utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py
@@ -1,3 +1,13 @@
+# ===-- __init__.py -------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
+
 from __future__ import division
 
 ###
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py b/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py
index d310c20a..9e97a943 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py
@@ -1,3 +1,12 @@
+# ===-- Intersect2D.py ----------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import vec2, math
 
 def intersectLineCircle((p, no), (C, r)):
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py b/utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py
index 5a09be62..fc101475 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py
@@ -1,3 +1,12 @@
+# ===-- mat2.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import vec2
 
 def det(m):
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py b/utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py
index c25d7e50..d2c23b1b 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py
@@ -1,3 +1,12 @@
+# ===-- mat3.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import vec3,mat2
 
 def identity():
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py b/utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py
index e927c936..3d161fe4 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py
@@ -1,3 +1,12 @@
+# ===-- mat4.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import vec4,mat3
 
 def identity():
@@ -150,4 +159,4 @@ def inv(m):
 	
 def toGL(m):
 	m0,m1,m2,m3= m
-	return m0+m1+m2+m3
\ No newline at end of file
+	return m0+m1+m2+m3
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/quat.py b/utils/hacks/TreeGraphs/Graphics/Geometry/quat.py
index 663d3d8c..c564a9f3 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/quat.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/quat.py
@@ -1,3 +1,12 @@
+# ===-- quat.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 
 import math
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py b/utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py
index 73bc5717..fa4c722c 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py
@@ -1,3 +1,12 @@
+# ===-- vec2.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 from math import ceil,floor,sqrt,atan2,pi,cos,sin
 import random
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py b/utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py
index 48ebf129..5235f844 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py
@@ -1,3 +1,12 @@
+# ===-- vec3.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 from math import ceil,floor,sqrt
 from random import random as _random
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py b/utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py
index c0741bb3..398c5c51 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py
@@ -1,3 +1,12 @@
+# ===-- vec4.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 from math import ceil,floor,sqrt
 import vec3
diff --git a/utils/hacks/TreeGraphs/TreeGraph.py b/utils/hacks/TreeGraphs/TreeGraph.py
index 28bd9fd6..3b4d3e96 100755
--- a/utils/hacks/TreeGraphs/TreeGraph.py
+++ b/utils/hacks/TreeGraphs/TreeGraph.py
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- TreeGraph.py ------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 import sys
 from types import GeneratorType