about summary refs log tree commit diff homepage
path: root/test/Feature
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2012-06-01 17:01:52 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2012-06-01 17:01:52 +0000
commit2234ee6cdbe8b5a160ddba9d7e67c87a014eaa69 (patch)
tree7f0707510f3775f392e59e0c612fc2745ab2360d /test/Feature
parent0957ad0803f472bcb2dc8a5f64aa5583d1d2c6fe (diff)
downloadklee-2234ee6cdbe8b5a160ddba9d7e67c87a014eaa69.tar.gz
Patch by Oscar Dustmann fixing a buffer overflow when long names are
used: "patch for STPBuilder.cpp that allows for arbitrary length
symbol names while still limiting the unique string to 32 bytes."



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@157820 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Feature')
0 files changed, 0 insertions, 0 deletions