Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Verify and finish the semantics of the first commit #1

Closed
JonathanSalwan opened this issue Jan 25, 2015 · 1 comment
Closed

Verify and finish the semantics of the first commit #1

JonathanSalwan opened this issue Jan 25, 2015 · 1 comment
Labels
Enhancement Feature

Comments

@JonathanSalwan
Copy link
Owner

Checkout :

  • add
  • mov
  • cmp
  • push
  • pop
@JonathanSalwan
Copy link
Owner Author

duplicate #11

JonathanSalwan added a commit that referenced this issue Feb 6, 2015
@JonathanSalwan
Remove the '|| usage' in the triton shell script.
7aca6ca 
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
JonathanSalwan pushed a commit that referenced this issue Dec 13, 2015
@eunchong
Merge pull request #1 from eunchong/eunchong-patch-1
3e8fb4f 
Update CMakeLists.txt
@vancaho vancaho mentioned this issue Jun 20, 2017
Closed
@tiedaoxiaotubie tiedaoxiaotubie mentioned this issue Mar 18, 2020
Closed
@sh4m2hwz sh4m2hwz mentioned this issue Jun 18, 2021
Closed
@Colton1skees Colton1skees mentioned this issue Apr 12, 2023
Open
46 tasks
@Antwy Antwy mentioned this issue Jun 10, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Enhancement Feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@JonathanSalwan