Thanks very much,
I know that it is complex, but if you saw my first post, I said...
...Any extra information will help me, for example:.... |
Well, Valgrind seems to be really good, I found that many other systems uses it to catch bugs.... and also, to watch what happen in the program... The technique used in it is the same used in VMs, the binary translation.
By the way, have some disadvantages:
-Excessive processing, lost is performance, uses a lot more memory;
-The whole thing is about 5Mb[compressed];
-And, it is just for linux, so, not good for me since my project is just for windows.
I saw that there is one project that is based on Valgrind see it...
http://groups.csail.mit.edu/pag/daikon/
Dynamic invariant detection runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. |
By the way, for what I know, the right term for this program is a type of debugger called: tracer, watcher or logger.
Maybe there is some other name that I dont know for this type of tool.
One other problem is that Daikon is 30Mb sized [compressed]. It is java based, so , to run it will need the JVM [more few MB...]. And, to "test" programs is necessary to have one front-end for each language used [more few MB...], and the front-end for C/C++ for windows uses the IBM Rational Purify [so, I will need a license for it, and it is some more MB. :-(]. And it also have few support for windows.
At the moment, no one seems to be good to use in my project, it is sad. :-(