From 7aca6ca1aa0848835cf625e4b59091ed0d49a4ce Mon Sep 17 00:00:00 2001
From: Jonathan Salwan <jonathan.salwan@gmail.com>
Date: Fri, 6 Feb 2015 22:40:47 +0100
Subject: [PATCH] Remove the '|| usage' in the triton shell script.

If an analyzed binary returns something like -1 (sometime it does),
the usage message of the triton shell script is displayed - it
should not.

Below, an example of this wrong behavior.

$ ./triton -startAnalysis check ./samples/crackmes/crackme_xor a
[Start analysis]
...
----- Model -----
UNSAT
-----------------
0x4005b2        mov eax, 0x1                            #20 = (_ bv1 32)
0x4005b7        jmp 0x4005c8                            n/a
0x4005c8        pop rbp                                 #21 = #1
                                                        #22 = (bvadd #0(_ bv8 64))
[Stop analysis]
loose
Triton binary analyzer usage: triton MODE [MODE_ARGS] EXEC [EXEC_ARGS]\n
Available modes are:
 -startAnalysis <func_name>  Start the analysis the scope of the
function
 -detectFormatString         Enable the format string detection analysis
---
 .gitignore | 1 +
 triton     | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 7925d9aaf..754a666dc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@ pintool.log
 *.o
 *.so
 note_perso
+smt2_branches
diff --git a/triton b/triton
index e9641a6a1..1f2ea19ce 100755
--- a/triton
+++ b/triton
@@ -63,4 +63,5 @@ if [ ! -x ${EXEC} ]; then
 fi
 
 # Running Triton
-${ROOT}/../../../pin -t ${ROOT}/triton.so ${MODE} ${MODE_ARGS} -- ${EXEC} ${EXEC_ARGS} || usage
+${ROOT}/../../../pin -t ${ROOT}/triton.so ${MODE} ${MODE_ARGS} -- ${EXEC} ${EXEC_ARGS}
+