search

illera88 / Ponce

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
https://docs.idaponce.com
Other
1.48k stars 72 forks source link

Set optimizations #32

Closed 0ca closed 8 years ago

0ca commented 8 years ago

I think we are not setting the optimizations from triton, like optimization_align.

We should think too how we want to use the ONLY_TAINTED optimization.

0ca commented 8 years ago

These are the three optimizations added:

    triton::api.enableSymbolicOptimization(triton::engines::symbolic::ALIGNED_MEMORY, true);
    triton::api.enableSymbolicOptimization(triton::engines::symbolic::ONLY_ON_SYMBOLIZED, true);
    triton::api.enableSymbolicOptimization(triton::engines::symbolic::ONLY_ON_TAINTED, true);

Maybe we want the user to configure if use or not the ONLY_ON_*.

illera88 commented 8 years ago

We will leave this configuration options to v0.2.

0ca commented 8 years ago

We should also use the AST_DICTIONARIES optimization

0ca commented 8 years ago

Done!

image