kvasir-dtrace failure for gtest1.6 about daikon HOT 3 CLOSED

I made some modifications to the generate_fjalar_entries.c file, then execute the command
make -C $DAIKONDIR kvasir from the new compiled kvasir-dtrace, then the implementation
of kvasir-dtrace./sample1_unittest, output the results:

qs@ubuntu:~/work/daikon/kvasir/valgrind/fjalar$ vim generate_fjalar_entries.c
qs@ubuntu:~/work/daikon/kvasir/valgrind/fjalar$ git diff
diff --git a/generate_fjalar_entries.c b/generate_fjalar_entries.c
index 25faa73..e686897 100644
--- a/generate_fjalar_entries.c
+++ b/generate_fjalar_entries.c
@@ -279,7 +279,7 @@ static char ignore_function_with_name(char* name) {
       VG_STREQ(name, "~_Alloc_hider") ||
       VG_STREQ(name, "_Rep") ||
       (0 == VG_(strncmp)(name, "._", 2)) ||
-      (0 == VG_(strncmp)(name, "_S_", 3)) ||
+//      (0 == VG_(strncmp)(name, "_S_", 3)) ||
 //    (0 == VG_(strncmp)(name, "_M_", 3)) ||
       (0 == VG_(strncmp)(name, "_GLOBAL", 7)) ||
       (0 == VG_(strncmp)(name, "__tcf", 5)) ||
qs@ubuntu:~/work/daikon/kvasir/valgrind/fjalar$

qs@ubuntu:~/work/gtest-1.6.0/make$ ls
gtest-all.o  gtest_main.a  gtest_main.o  Makefile  sample1.o  sample1_unittest  sample1_unittest.o
qs@ubuntu:~/work/gtest-1.6.0/make$ kvasir-dtrace ./sample1_unittest
==7683== kvasir-5.1.6, C/C++ Language Front-End for Daikon with DynComp comparability
analysis tool.
==7683== Copyright (C) 2007-2014, University of Washington CSE PLSE Group
==7683== Using Valgrind-3.9.0.PLSE and LibVEX; rerun with -h for copyright info
==7683== Command: ./sample1_unittest
==7683==
Unexpected unnamed parameter in FormatForComparisonFailureMessage<int, int>
Unexpected unnamed parameter in IsContainerTest<int>
Unexpected unnamed parameter in DefaultPrintTo<int>
Unexpected unnamed parameter in DefaultPrintTo<int>
Unexpected unnamed parameter in operator new
Unexpected unnamed parameter in operator delete
Unexpected unnamed parameter in operator delete
Unexpected unnamed parameter in OnTestProgramStart
Unexpected unnamed parameter in OnTestIterationStart
Unexpected unnamed parameter in OnTestIterationStart
Unexpected unnamed parameter in OnEnvironmentsSetUpStart
Unexpected unnamed parameter in OnEnvironmentsSetUpEnd
Unexpected unnamed parameter in OnTestCaseStart
Unexpected unnamed parameter in OnTestStart
Unexpected unnamed parameter in OnTestPartResult
Unexpected unnamed parameter in OnTestEnd
Unexpected unnamed parameter in OnTestCaseEnd
Unexpected unnamed parameter in OnEnvironmentsTearDownStart
Unexpected unnamed parameter in OnEnvironmentsTearDownEnd
Unexpected unnamed parameter in OnTestIterationEnd
Unexpected unnamed parameter in OnTestIterationEnd
Unexpected unnamed parameter in OnTestProgramEnd
Unexpected unnamed parameter in HasOneFailure
Unexpected unnamed parameter in HasOneFailure
Unexpected unnamed parameter in HasOneFailure
Unexpected unnamed parameter in TestPropertyKeyIs
Unexpected unnamed parameter in OnTestProgramStart
Unexpected unnamed parameter in OnEnvironmentsSetUpEnd
Unexpected unnamed parameter in OnEnvironmentsTearDownEnd
Unexpected unnamed parameter in OnTestProgramEnd
Unexpected unnamed parameter in OnEnvironmentsSetUpStart
Unexpected unnamed parameter in OnEnvironmentsTearDownStart
Unexpected unnamed parameter in OnTestIterationEnd
Unexpected unnamed parameter in OnTestIterationEnd
Unexpected unnamed parameter in OnTestProgramStart
Unexpected unnamed parameter in OnTestIterationStart
Unexpected unnamed parameter in OnTestIterationEnd
Unexpected unnamed parameter in CurrentStackTrace
Unexpected unnamed parameter in CurrentStackTrace
Unexpected unnamed parameter in TestPartResult
Unexpected unnamed parameter in TestCaseNameIs
Unexpected unnamed parameter in GetCurrentOsStackTraceExceptTop
Unexpected unnamed parameter in FormatForComparisonFailureMessage<long long int, long
long int>
Unexpected unnamed parameter in _Destroy<testing::internal::ParameterizedTestCaseInfoBase**,
testing::internal::ParameterizedTestCaseInfoBase*>
Unexpected unnamed parameter in _Destroy<testing::TestPartResult*, testing::TestPartResult>
Unexpected unnamed parameter in _Destroy<testing::TestProperty*, testing::TestProperty>
Unexpected unnamed parameter in operator=
Unexpected unnamed parameter in __iterator_category<__gnu_cxx::__normal_iterator<testing::TestProperty*,
std::vector<testing::TestProperty> > >
Unexpected unnamed parameter in __find_if<__gnu_cxx::__normal_iterator<testing::TestProperty*,
std::vector<testing::TestProperty> >, testing::internal::TestPropertyKeyIs>
Unexpected unnamed parameter in TestProperty
Unexpected unnamed parameter in operator=
Unexpected unnamed parameter in _Destroy<testing::TestInfo**, testing::TestInfo*>
Unexpected unnamed parameter in _Destroy<int*, int>
Unexpected unnamed parameter in _Destroy<testing::TestEventListener**, testing::TestEventListener*>
Unexpected unnamed parameter in TraceInfo
Unexpected unnamed parameter in operator=
Unexpected unnamed parameter in _Destroy<testing::Environment**, testing::Environment*>
Unexpected unnamed parameter in _Destroy<testing::TestCase**, testing::TestCase*>
Unexpected unnamed parameter in __iterator_category<__gnu_cxx::__normal_iterator<testing::TestCase**,
std::vector<testing::TestCase*> > >
Unexpected unnamed parameter in __find_if<__gnu_cxx::__normal_iterator<testing::TestCase**,
std::vector<testing::TestCase*> >, testing::internal::TestCaseNameIs>
Unexpected unnamed parameter in _Destroy<char**, char*>
Unexpected unnamed parameter in _Destroy<std::basic_string<char>*, std::basic_string<char>
>
Unexpected unnamed parameter in _Destroy<testing::internal::TraceInfo*, testing::internal::TraceInfo>
Unexpected unnamed parameter in _S_do_it
Unexpected unnamed parameter in _S_do_it
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in __destroy<testing::internal::ParameterizedTestCaseInfoBase**>
Unexpected unnamed parameter in __destroy<testing::internal::ParameterizedTestCaseInfoBase**>
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in __uninitialized_copy_a<testing::TestPartResult*, testing::TestPartResult*,
testing::TestPartResult>
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in __uninitialized_copy_a<testing::TestProperty*, testing::TestProperty*,
testing::TestProperty>
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in __destroy<testing::TestInfo**>
Unexpected unnamed parameter in __destroy<testing::TestInfo**>
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in __destroy<int*>
Unexpected unnamed parameter in __destroy<int*>
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in __uninitialized_copy_a<testing::TestInfo**, testing::TestInfo**,
testing::TestInfo*>
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in __uninitialized_copy_a<int*, int*, int>
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in __destroy<testing::TestEventListener**>
Unexpected unnamed parameter in __destroy<testing::TestEventListener**>
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in __uninitialized_copy_a<testing::TestEventListener**,
testing::TestEventListener**, testing::TestEventListener*>
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in __uninitialized_copy_a<testing::Environment**, testing::Environment**,
testing::Environment*>
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in __uninitialized_copy_a<testing::internal::TraceInfo*,
testing::internal::TraceInfo*, testing::internal::TraceInfo>
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in __destroy<testing::Environment**>
Unexpected unnamed parameter in __destroy<testing::Environment**>
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in __destroy<testing::TestCase**>
Unexpected unnamed parameter in __destroy<testing::TestCase**>
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in __uninitialized_copy_a<testing::TestCase**, testing::TestCase**,
testing::TestCase*>
Unexpected unnamed parameter in _Destroy<testing::internal::String*, testing::internal::String>
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in __destroy<char**>
Unexpected unnamed parameter in __destroy<char**>
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in __uninitialized_copy_a<char**, char**, char*>
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in __uninitialized_copy_a<std::basic_string<char>*, std::basic_string<char>*,
std::basic_string<char> >
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in __uninitialized_copy_a<__gnu_cxx::__normal_iterator<const
testing::internal::TraceInfo*, std::vector<testing::internal::TraceInfo> >, testing::internal::TraceInfo*,
testing::internal::TraceInfo>
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in __uninitialized_copy_a<testing::internal::String*,
testing::internal::String*, testing::internal::String>
Unexpected unnamed parameter in allocator<std::_Rb_tree_node<testing::internal::String>
>
Unexpected unnamed parameter in deallocate
Unexpected unnamed parameter in allocate
Unexpected unnamed parameter in IsContainerTest<long long int>
Unexpected unnamed parameter in DefaultPrintTo<long long int>
Unexpected unnamed parameter in DefaultPrintTo<long long int>
Unexpected unnamed parameter in new_allocator
==7683==
==7683== Process terminating with default action of signal 11 (SIGSEGV)
==7683==  Access not within mapped region at address 0x0
==7683==    at 0x8055B29: testing::internal::UnitTestImpl::UnitTestImpl(testing::UnitTest*)
(gtest.cc:3974)
==7683==    by 0x8055995: testing::UnitTest::UnitTest() (gtest.cc:3914)
==7683==    by 0x8055283: testing::UnitTest::GetInstance() (gtest.cc:3649)
==7683==    by 0x805F4C3: testing::internal::GetUnitTestImpl() (gtest-internal-inl.h:906)
==7683==    by 0x8051C0C: testing::internal::MakeAndRegisterTestInfo(char const*, char
const*, char const*, char const*, void const*, void (*)(), void (*)(), testing::internal::TestFactoryBase*)
(gtest.cc:2240)
==7683==    by 0x804C29F: __static_initialization_and_destruction_0(int, int) (sample1_unittest.cc:79)
==7683==    by 0x804C490: _GLOBAL__sub_I__ZN27FactorialTest_Negative_Test10test_info_E
(sample1_unittest.cc:141)
==7683==    by 0x806F301: __libc_csu_init (in /home/qs/work/gtest-1.6.0/make/sample1_unittest)
==7683==    by 0x4177A19: (below main) (libc-start.c:246)
==7683==  If you believe this happened as a result of a stack
==7683==  overflow in your program's main thread (unlikely but
==7683==  possible), you can try to increase the size of the
==7683==  main thread stack using the --main-stacksize= flag.
==7683==  The main thread stack size used in this run was 8388608.
==7683==
==7683== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)
Segmentation fault (core dumped)
qs@ubuntu:~/work/gtest-1.6.0/make$

This test exposed a number of issues with Fjalar/Kvasir on C++ code with significant
use of template classes.  The corrections have been committed to the active tree and
will appear in the next Daikon release - 5.1.12 scheduled for the first of Dec.