Should'a learn to manage pull request... #20
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
- SymEngine, TaintEngine, SnapshotEngin were been moved in Trace - Todo: Use Instruction class
class in the trace - Remove the Basic Block Class - We don't care for the moment
- Semantic add mem, imm - Semantic add mem, reg
|
Indeed, I forgot to add the arguments of the executable file... I do it now. |
|
I obviously did something wrong when I tried to merge your changes to keep up with upstream. I'll try to do better next time. But, I can't get something right with this github interface right now. I need a bit more practice. It will be better next time, merge should be easy. Go for it. |
|
Hold on... I'll start with a clean revision this evening. I have introduced a twirk I need to chase it. |
JonathanSalwan
added a commit
that referenced
this pull request
Feb 6, 2015
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
Closed
Merged
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
My bad, this is just a test of pull request trying to keep up with original code and adding a bit (it's an experiment to see how it works).