Also bitte nicht so kompliziert!
Das geht alles ganz einfach.
Man kann MemProof direkt über die
IDE starten und alles wird auf das aktuelle Projekt eingestellt.
Über Tools->Tools konfigurieren kann man über Hinzufügen ein neues Tool einrichten.
Dort dann den Pfad zu MemProof angeben und als Parameter $EXENAME $PARAMS wählen. fertig.
Wenn man nur mal kurz einen Test machen will, ohne nähere Informationen über den Quellcode zubekommen, startet man einfach.
Für mehr Informationen muss man in Projekt->Optionen->Linker->Mit TD32Debug-Info einschalten und über Projekt->Projekt erzeugen alles neucompilieren und dann wieder über Tools MemProof starten. Dann wird auch der Quellcode eingeblendet.
Einfacher geht es nun wirklich nicht.
Zusätzlich zeigt MemProof auch offene Handles an oder auch harte Fehler. Es werden die Peaks der benutzen Recourcen angezeigt. Und noch vieles mehr...
MemProof zeigt auch, welche Dlls geladen wurden
(ich weiss nicht ob das auch die anderen erwähnten Tools können)
MfG
Thorsten