Skip to content

Commit

Permalink
#59 Done. Identifying unsupported instructions.
Browse files Browse the repository at this point in the history
  • Loading branch information
Francisco Oca committed Oct 14, 2016
1 parent 1a295fe commit 397dccd
Show file tree
Hide file tree
Showing 5 changed files with 37 additions and 8 deletions.
3 changes: 2 additions & 1 deletion Ponce/src/callbacks.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,8 @@ void tritonize(ea_t pc, thid_t threadID)
msg("[+] Triton At " HEX_FORMAT ": %s (Thread id: %d)\n", pc, tritonInst->getDisassembly().c_str(), threadID);

/* Process the IR and taint */
triton::api.buildSemantics(*tritonInst);
if (!triton::api.buildSemantics(*tritonInst))
msg("[!] Instruction at " HEX_FORMAT " not supported by Triton: %s (Thread id: %d)\n", pc, tritonInst->getDisassembly().c_str(), threadID);

/*In the case that the snapshot engine is in use we shoudl track every memory write access*/
if (snapshot.exists())
Expand Down
2 changes: 1 addition & 1 deletion Triton
Submodule Triton updated 21 files
+1 −1 .build_number
+1 −1 CMakeLists.txt
+1 −1 Doxyfile
+17 −5 src/examples/cpp/Makefile
+0 −10 src/examples/cpp/ir.cpp
+4 −4 src/libtriton/api/api.cpp
+6 −2 src/libtriton/arch/architecture.cpp
+6 −1 src/libtriton/arch/instruction.cpp
+2 −2 src/libtriton/arch/x86/x8664Cpu.cpp
+2 −2 src/libtriton/arch/x86/x86Cpu.cpp
+4 −1 src/libtriton/arch/x86/x86Semantics.cpp
+29 −13 src/libtriton/bindings/python/modules/tritonCallbacks.cpp
+33 −10 src/libtriton/bindings/python/objects/pyInstruction.cpp
+4 −4 src/libtriton/includes/api.hpp
+2 −2 src/libtriton/includes/architecture.hpp
+2 −2 src/libtriton/includes/cpuInterface.hpp
+4 −1 src/libtriton/includes/instruction.hpp
+3 −0 src/libtriton/includes/pythonObjects.hpp
+1 −1 src/libtriton/includes/x8664Cpu.hpp
+1 −1 src/libtriton/includes/x86Cpu.hpp
+2 −2 src/libtriton/includes/x86Semantics.hpp
40 changes: 34 additions & 6 deletions builds/PonceBuild/Ponce/Ponce.vcxproj
View file
Original file line number Diff line number Diff line change
Expand Up @@ -159,42 +159,42 @@
<IntDir>$(Platform)\$(Configuration)\</IntDir>
<TargetExt>.plw</TargetExt>
<LinkIncremental>false</LinkIncremental>
<TargetName>$(ProjectName)_x86_static</TargetName>
<TargetName>$(ProjectName)_x86_IDA69_win</TargetName>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='x68ReleaseStatic_IDA6.8|Win32'">
<OutDir>$(SolutionDir)$(Platform)\</OutDir>
<IntDir>$(Platform)\$(Configuration)\</IntDir>
<TargetExt>.plw</TargetExt>
<LinkIncremental>false</LinkIncremental>
<TargetName>$(ProjectName)_x86_static_IDA68</TargetName>
<TargetName>$(ProjectName)_x86_IDA68_win</TargetName>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='X64ReleaseStatic|Win32'">
<OutDir>$(SolutionDir)$(Platform)\</OutDir>
<IntDir>$(Platform)\$(Configuration)\</IntDir>
<TargetExt>.p64</TargetExt>
<LinkIncremental>false</LinkIncremental>
<TargetName>$(ProjectName)_x64_static</TargetName>
<TargetName>$(ProjectName)_x64_IDA69_win</TargetName>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='X64ReleaseStatic_IDA6.8|Win32'">
<OutDir>$(SolutionDir)$(Platform)\</OutDir>
<IntDir>$(Platform)\$(Configuration)\</IntDir>
<TargetExt>.p64</TargetExt>
<LinkIncremental>false</LinkIncremental>
<TargetName>$(ProjectName)_x64_static_IDA68</TargetName>
<TargetName>$(ProjectName)_x64_IDA68_win</TargetName>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='x86ReleaseZ3dyn|Win32'">
<OutDir>$(SolutionDir)$(Platform)\</OutDir>
<IntDir>$(Platform)\$(Configuration)\</IntDir>
<TargetExt>.plw</TargetExt>
<LinkIncremental>false</LinkIncremental>
<TargetName>$(ProjectName)_x86_z3dyn</TargetName>
<TargetName>$(ProjectName)_x86_IDA69_win_z3dyn</TargetName>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='x64ReleaseZ3dyn|Win32'">
<OutDir>$(SolutionDir)$(Platform)\</OutDir>
<IntDir>$(Platform)\$(Configuration)\</IntDir>
<TargetExt>.p64</TargetExt>
<LinkIncremental>false</LinkIncremental>
<TargetName>$(ProjectName)_x64_z3dyn</TargetName>
<TargetName>$(ProjectName)_x64_IDA69_win_z3dyn</TargetName>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='x64Release|Win32'">
<OutDir>$(SolutionDir)$(Platform)\</OutDir>
Expand All @@ -214,6 +214,10 @@
<PostBuildEvent>
<Command>copy /Y $(TargetPath) "C:\Program Files (x86)\IDA 6.95\plugins"</Command>
</PostBuildEvent>
<PreBuildEvent>
<Command>"C:\Program Files\Git\git-bash.exe" -c "cd /c/PonceProject/; bash version_number_update.sh"</Command>
<Message>This event update the version before compile the plugin</Message>
</PreBuildEvent>
</ItemDefinitionGroup>
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='x86ReleaseStatic|Win32'">
<ClCompile>
Expand Down Expand Up @@ -251,6 +255,10 @@
<PostBuildEvent>
<Command>copy /Y $(TargetPath) "C:\Program Files (x86)\IDA 6.95\plugins"</Command>
</PostBuildEvent>
<PreBuildEvent>
<Command>"C:\Program Files\Git\git-bash.exe" -c "cd /c/PonceProject/; bash version_number_update.sh"</Command>
<Message>This event update the version before compile the plugin</Message>
</PreBuildEvent>
</ItemDefinitionGroup>
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='x68ReleaseStatic_IDA6.8|Win32'">
<ClCompile>
Expand Down Expand Up @@ -288,6 +296,10 @@
<PostBuildEvent>
<Command>copy /Y $(TargetPath) "C:\Program Files (x86)\IDA 6.95\plugins"</Command>
</PostBuildEvent>
<PreBuildEvent>
<Command>"C:\Program Files\Git\git-bash.exe" -c "cd /c/PonceProject/; bash version_number_update.sh"</Command>
<Message>This event update the version before compile the plugin</Message>
</PreBuildEvent>
</ItemDefinitionGroup>
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='X64ReleaseStatic|Win32'">
<ClCompile>
Expand Down Expand Up @@ -325,6 +337,10 @@
<PostBuildEvent>
<Command>copy /Y $(TargetPath) "C:\Program Files (x86)\IDA 6.95\plugins"</Command>
</PostBuildEvent>
<PreBuildEvent>
<Command>"C:\Program Files\Git\git-bash.exe" -c "cd /c/PonceProject/; bash version_number_update.sh"</Command>
<Message>This event update the version before compile the plugin</Message>
</PreBuildEvent>
</ItemDefinitionGroup>
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='X64ReleaseStatic_IDA6.8|Win32'">
<ClCompile>
Expand Down Expand Up @@ -362,6 +378,10 @@
<PostBuildEvent>
<Command>copy /Y $(TargetPath) "C:\Program Files (x86)\IDA 6.95\plugins"</Command>
</PostBuildEvent>
<PreBuildEvent>
<Command>"C:\Program Files\Git\git-bash.exe" -c "cd /c/PonceProject/; bash version_number_update.sh"</Command>
<Message>This event update the version before compile the plugin</Message>
</PreBuildEvent>
</ItemDefinitionGroup>
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='x86ReleaseZ3dyn|Win32'">
<ClCompile>
Expand Down Expand Up @@ -399,6 +419,10 @@
<PostBuildEvent>
<Command>copy /Y $(TargetPath) "C:\Program Files (x86)\IDA 6.95\plugins"</Command>
</PostBuildEvent>
<PreBuildEvent>
<Command>"C:\Program Files\Git\git-bash.exe" -c "cd /c/PonceProject/; bash version_number_update.sh"</Command>
<Message>This event update the version before compile the plugin</Message>
</PreBuildEvent>
</ItemDefinitionGroup>
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='x64ReleaseZ3dyn|Win32'">
<ClCompile>
Expand Down Expand Up @@ -475,6 +499,10 @@
<PostBuildEvent>
<Command>copy /Y $(TargetPath) "C:\Program Files (x86)\IDA 6.95\plugins"</Command>
</PostBuildEvent>
<PreBuildEvent>
<Command>"C:\Program Files\Git\git-bash.exe" -c "cd /c/PonceProject/; bash version_number_update.sh"</Command>
<Message>This event update the version before compile the plugin</Message>
</PreBuildEvent>
</ItemDefinitionGroup>
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
<ImportGroup Label="ExtensionTargets">
Expand Down
Binary file modified external-libs/libs/ALL_static_MT_x86/triton.lib
View file
Binary file not shown.
Binary file modified external-libs/libs/Z3_dyn_rest_static_MT_x86/triton.lib
View file
Binary file not shown.

0 comments on commit 397dccd

Please sign in to comment.