diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-06-01 17:01:52 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-06-01 17:01:52 +0000 |
| commit | 2234ee6cdbe8b5a160ddba9d7e67c87a014eaa69 (patch) | |
| tree | 7f0707510f3775f392e59e0c612fc2745ab2360d /Makefile | |
| parent | 0957ad0803f472bcb2dc8a5f64aa5583d1d2c6fe (diff) | |
| download | klee-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 'Makefile')
0 files changed, 0 insertions, 0 deletions