[csmith-project/csmith] 7e3325: add command line options to allow unsafe pointer d...

[Xuejun Yang <jxyang@cs.utah.edu>]

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/csmith

  Commit: 7e3325060b56cc5813b8701087b5206fb394c047
      https://github.com/csmith-project/csmith/commit/7e3325060b56cc5813b8701087b5206fb394c047
  Author: Xuejun Yang <jxyang@cs.utah.edu>
  Date:   2011-06-17 (Fri, 17 Jun 2011)

  Changed paths:
    M src/CGContext.cpp
  M src/CGOptions.cpp
  M src/CGOptions.h
  M src/ExpressionVariable.cpp
  M src/FactPointTo.cpp
  M src/FactPointTo.h
  M src/Lhs.cpp
  M src/RandomProgramGenerator.cpp

  Log Message:
  -----------
  add command line options to allow unsafe pointer dereferences

added "--null-ptr-deref-prob <N>" for null pointer dereferences and "--dangling-ptr-deref-prob <N>" for dangling pointer dereferences where N >= 0 and N <= 100. By default N = 0, there are no unsafe pointer dereferences in the random program. These options will be used to generate pointer-unsafe C programs that can be test cases of static analyzers.