valgrind-users

[Valgrind-users] catchconv no usable output

[Donald R. <don...@ny...>]

Hello,
I have integrated catchconv with valgrind 3.11.svn, and have gotten
everything to compile and link on a debian 7.8 32-bit virtual machine.

When I run the command:
valgrind --tool=catchconv --inline-path-queries=yes
--log-file=aplay.txt aplay trumpet-12.wav

All I get in the aplay.txt file is:
==13910== Catchconv, a type mismatch constraint generator
==13910== Copyright (C) 2006-7, Regents of the University of
California, Berkeley.
==13910== Using Valgrind-3.11.0.SVN and LibVEX; rerun with -h for copyright info
==13910== Command: aplay trumpet-12.wav
==13910== Parent PID: 13900
==13910==
==13910==
XXX Stat counters:
XXX Unhandled binop: 0
XXX Unhandled unop: 0
XXX CalcCondition: 0

I was expecting something more that I could feed to the stp constraint solver.
This is all I get no matter what program I try ot test with catchconv
and valgrind.

Any suggestions on how I can get this to work properly would be appreciated.

Thanks in advance,
Donald

Re: [Valgrind-users] catchconv no usable output

[Philippe W. <phi...@sk...>]

On Thu, 2015-03-26 at 21:41 -0700, Donald Raikes wrote:

> I was expecting something more that I could feed to the stp constraint solver.
> This is all I get no matter what program I try ot test with catchconv
> and valgrind.
> 
> Any suggestions on how I can get this to work properly would be appreciated.
Unlikely someone on this list will have a precise idea about
what this catchconv tool is supposed to do and why it is
not working.

So, here are only some general advices:
* read the code of catchconv 
* enable various valgrind traces (or catchconv tool, if it has some)
   do   :    valgrind --tool=catchconv --help-debug
   to see what traces you could activate
* debug the tool : see the section 'Debugging Valgrind with GDB'
   in README_DEVELOPERS

Philippe