Displaying 1 result from an estimated 1 matches for "exprtest".
Did you mean:
exprtests
2015 Dec 15
2
Trouble supressing ASAN reported leaks
...( Arch Linux package 3.7.0-6).
The sort of reported leaks I see are
```
==9912==ERROR: LeakSanitizer: detected memory leaks
Direct leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x4df4a0 in operator new(unsigned long)
(/home/dsl11/dev/klee/klee/build_asan/unittests/Expr/Release+Asserts/ExprTests+0x4df4a0)
#1 0x4f76e1 in
klee::Array::CreateArray(std::__cxx11::basic_string<char,
std::char_traits<char>, std::allocator<char> > const&, unsigned long,
klee::ref<klee::ConstantExpr> const*, klee::ref<klee::ConstantExpr>
const*, unsigned int, unsigned int)
/ho...