gibt es irgendwelche Werkzeuge für die symbolische Ausführung von Binärdateien. Ich meine mit denen wir brauchen nicht den Quellcode zu verändern - wie klee_make_symbolic oder wir können solche Veränderungen in IR (llvm ir etc.) Dank im VorausWerkzeuge für die symbolische Ausführung von Binärdateien
Vielleicht miasm kann Ihren Anforderungen entsprechen. Es ist ein Reverse-Engineering-Framework, das statische symbolische Ausführung unterstützt. Soweit ich weiß, ist es einfacher als KLEE und S2E.
Symbolisch Ausführung Binärcode ist viel viel härter tun Ich bezweifle, dass es solche Werkzeuge gibt.
Beachten Sie jedoch, dass Sie Ihren Code bei der Verwendung von KLEE nicht unbedingt ändern müssen, da er die POSIX-Umgebung und die C-Bibliothek modellieren kann (sofern mit Unterstützung dafür kompiliert). Mit diesen Funktionen können Sie automatisch argv Argumente und Tastaturinteraktionen symbolisieren.
Danke! Es ist viel näher an dem, was ich gesucht habe! – hilly