Colton Skees issues

Results 4 issues of


                                            Colton Skees

Reduce usage of concrete evaluation in x86 semantics

Hi @JonathanSalwan, In [x86semantics.cpp](https://github.com/JonathanSalwan/Triton/blob/master/src/libtriton/arch/x86/x86Semantics.cpp), there are 46 instruction handlers where the emitted ASTs are dependent upon a concrete value retrieved through `.evaluate()`: - [ ] x86Semantics::cmpsb_s - [ ] x86Semantics::cmpsd_s...

Enhancement

Discussion

ISA Semantics

libTriton

Incorrect list of basic blocks inside a function of libtiff compiled with clang O0

Using the serialized protobuf definitions from [here](https://zenodo.org/record/6566082/files/x86_dataset.tar.xz?download=1), the list of basic blocks for function `0x1B380` of `linux\libs\clang_O0\libtiff.so.5.4.0` are incorrect. The ida pro ground truth(`linux\libs\clang_O0\Block-idaBlocks-libtiff.so.5.4.0.pb`) lists these blocks as children of...

bug

v2

WIP

Improve boolean minimization

- Implements algorithm for recovering bitwise ORs