Menu

#377 Dr Memory plugin (similar to the valgrind)

Undefined
open
nobody
None
Feature_Request
2016-06-29
2016-06-27
No

Integration of Dr Memory dynamic tool

Discussion

  • Teodor Petrov

    Teodor Petrov - 2016-06-27

    What do you mean by this feature request? How do you expect this tool to be integrated?

     
  • Martin Strunz

    Martin Strunz - 2016-06-28

    Maybe if it is possible like valgrind because it has the same functionality.

     
  • Teodor Petrov

    Teodor Petrov - 2016-06-28
    • summary: Integration of Tool --> Dr Memory plugin (similar to the valgrind)
     
  • Teodor Petrov

    Teodor Petrov - 2016-06-28

    Don't know if it is possible. Does it have xml, json or similar machine parsable output?

     
  • Martin Strunz

    Martin Strunz - 2016-06-29

    Here is the output option:
    Dr. Memory's results are written to a file called results.txt inside a subdirectory created for each invocation of Dr. Memory, inside Dr. Memory's log directory.

    http://drmemory.org/docs/page_running.html

     

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.