Program Synthesis

• qsynthesis

  1 135 2.6 Python

  Greybox Synthesizer geared for deobfuscation of assembly instructions.

  

I stumbled on the idea of Program Synthesis when I was looking to solve VMProtect's Mixed-Boolean-Arithmetic (MBA) expressions in my own VMP Decompiler. I tried experimenting with this project but had limited success:

https://github.com/quarkslab/qsynthesis

I have yet to try the project from Denuvo but it looks promising:

https://github.com/DenuvoSoftwareSolutions/SiMBA

If any commenter has other suggestions, would love to hear them!

• SiMBA

  2 135 0.0 Python

  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions (by DenuvoSoftwareSolutions)

  

I stumbled on the idea of Program Synthesis when I was looking to solve VMProtect's Mixed-Boolean-Arithmetic (MBA) expressions in my own VMP Decompiler. I tried experimenting with this project but had limited success:

https://github.com/quarkslab/qsynthesis

I have yet to try the project from Denuvo but it looks promising:

https://github.com/DenuvoSoftwareSolutions/SiMBA

If any commenter has other suggestions, would love to hear them!

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project