[klee-dev] The license of runtime/klee-libc

[Jonathan Neuschäfer]

Hello,

the top-level LICENSE.TXT file states:

  The klee software contains code written by third parties.  Such software will
  have its own individual LICENSE.TXT file in the directory in which it appears.
  This file will describe the copyrights, license, and restrictions which apply
  to that code.
  
  The disclaimer of warranty in the University of Illinois Open Source License
  applies to all code in the klee Distribution, and nothing in any of the other 
  licenses gives permission to use the names of the klee Team or Stanford 
  University to endorse or promote products derived from this Software.
  
  The following pieces of software have additional or alternate copyrights,
  licenses, and/or restrictions:
  
  Program             Directory
  -------             ---------
  klee-libc           runtime/klee-libc

Yet, runtime/klee-libc doesn't contain a LICENSE.TXT file.

The following files in this directory don't have the standard KLEE
license comment:

  FILE		COMPLEXITY	AUTHOR
  atoi.c:	trivial		Berkeley
  memchr.c:	trivial		Chris Torek / Berkeley
  memcmp.c:	trivial		Chris Torek / Berkeley
  stpcpy.c:	trivial		David E. O'Brien / Berkeley
  strcat.c:	trivial		Berkeley
  strncmp.c:	trivial		Berkeley
  strncpy.c:	trivial		Chris Torek / Berkeley
  strtol.c:	non-trivial	Berkeley
  strtoul.c:	non-trivial	Berkeley

I propose:
 - either adding a LICENSE.TXT file to runtime/klee-libc,
 - or replacing the above files with files that may carry the KLEE
   license comment.

Please let me know what you think.


Thanks,
 Joanthan Neuschäefer