Skip to content

Commit

Permalink
update index
Browse files Browse the repository at this point in the history
  • Loading branch information
Triton Library committed Jul 25, 2024
1 parent b885ce3 commit c218ff7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -87,7 +87,7 @@ <h3>About</h3>
<ul>
<li><b>Dynamic symbolic execution</b></li>
<li><b>Dynamic taint analysis</b></li>
<li><b>AST representation</b> of the <b>x86</b>, <b>x86-64</b>, <b>ARM32</b> and <b>AArch64</b> ISA semantic</li>
<li><b>AST representation</b> of the <b>x86</b>, <b>x86-64</b>, <b>ARM32</b>, <b>AArch64</b> and <b>RISC-V 32/64</b> ISA semantic</li>
<li><b>Expressions synthesis</b></li>
<li><b>SMT simplification</b> passes</li>
<li><b>Lifting</b> to <b>LLVM</b> as well as <b>Z3</b> and back</li>
Expand Down

0 comments on commit c218ff7

Please sign in to comment.