Permalink
Browse files

Typo

  • Loading branch information...
1 parent d7e625d commit 5fbbc2ee2ebe5d593c5850c76f4cc6ca749170ae @JonathanSalwan committed Oct 17, 2016
View
@@ -2,7 +2,7 @@
**Triton** is a dynamic binary analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE)
engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification
-passes, a SMT Solver Interface and, the last but not least, Python bindings.
+passes, an SMT Solver Interface and, the last but not least, Python bindings.
<p align="center">
<img src="http://triton.quarkslab.com/files/triton_v03_architecture.svg"/></br>
@@ -22,7 +22,7 @@
\section py_SolverModel_description Description
<hr>
-This object is used to represent a model from a SMT solver.
+This object is used to represent a model from an SMT solver.
~~~~~~~~~~~~~{.py}
>>> from triton import *
@@ -22,7 +22,7 @@
\section solver_interface_description Description
<hr>
-The solver engine is the interface between a SMT solver and **Triton** itself. All requests are sent to the SMT solver
+The solver engine is the interface between an SMT solver and **Triton** itself. All requests are sent to the SMT solver
as Triton AST (See: \ref py_ast_page). The AST representation as string looks like a manually crafted SMT2-LIB script.
<b>Example:</b>

0 comments on commit 5fbbc2e

Please sign in to comment.