diff options
| author | Timotej Kapus <tk1713@ic.ac.uk> | 2019-11-05 09:53:03 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-12-12 17:50:24 +0000 |
| commit | 3f2f8aa30b35bb87fa7b7aa914233437b5d68cb2 (patch) | |
| tree | 1c15b6f34f723151279abb32ab906fac3c0a7889 /scripts | |
| parent | eedc49570c3ed3111b2a2a11a7861ac90ab650f8 (diff) | |
| download | klee-3f2f8aa30b35bb87fa7b7aa914233437b5d68cb2.tar.gz | |
[optimize-array] Fix hash collisions
The caching maps in ArrayExpr are broken, they only consider hashes and don't check for structural equality. This can lead to hash collisions and invalid Expr replacement. This is especially potetent for UpdateLists, who only put the array name in the hash, so there can be a lot of colisions.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions