Added missing copyright headers per klee/issue #301

9 files changed, 82 insertions, 0 deletions

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.