search for: exprtest

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...