---
id: 4554
title: "What theoretical tools are needed to simplify MBA expressions?"
source_domain: blog.quarkslab.com
source_url: "https://blog.quarkslab.com/what-theoretical-tools-are-needed-to-simplify-mba-expressions.html"
published_at: "2015-09-22T22:00:00Z"
tags: ["reverse-engineering", "obfuscation", "mba", "program-analysis", "deobfuscation", "math"]
phying_url: "https://phying.com/item/4554"
lang: en
---

# What theoretical tools are needed to simplify MBA expressions?

## Summary

Why Mixed Boolean-Arithmetic (MBA) expressions are hard to de-obfuscate: the maths behind expressions that mix arithmetic and bitwise operators, and the theoretical tools needed to simplify them.

## Intelligence Metadata

- **Sources:** blog.quarkslab.com
- **Published:** 2015-09-22T22:00:00Z
- **Original:** https://blog.quarkslab.com/what-theoretical-tools-are-needed-to-simplify-mba-expressions.html
- **Phying News:** https://phying.com/item/4554