My repository to upload scripts with everything I'm learning about symbolic execution, links will be included explaining about the tools and interesting functionalities.
- Tigress Protection Analysis with Triton
- Synthesizing (obfuscated) expressions: It contains explanation about synthesizing MBA expressions.
- From an obfuscated function to a synthesized LLVM IR: Lifting obfuscated functions to LLVM IR and synthesizing them to obtain a simpler function.
- Dead Store Elimination: Using Triton for dead code elimination in assembly code.
- Stubs code to avoid emulation: Code for avoiding emulating some libc code, including it inside of the engine.