On 02/19/2011 02:02 AM, Sky Dai wrote: > > Where can I find detailed information about valgrind's IR representations and > can anyone show me a simple example of tracking pointer addition operations? >
There is no formal description of the IR semantics. Study libvex_ir.h which is pretty good as a starting point. If something is not clear (e.g. the width of operands) you may be able to find out by looking at ir_opt.c and ir_defs.c Florian ------------------------------------------------------------------------------ The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE: Pinpoint memory and threading errors before they happen. Find and fix more than 250 security defects in the development cycle. Locate bottlenecks in serial and parallel code that limit performance. http://p.sf.net/sfu/intel-dev2devfeb _______________________________________________ Valgrind-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/valgrind-users
