10 parser design a context free grammar for boolean expressions

bliutech / mbased

MIT IEEE URTC 2024. GSET 2024. Repository for the "MBASED: Practical Simplifications of Mixed Boolean-Arithmetic Obfuscation". A Binary Ninja decompiler plugin taking ideas from compiler construction to simplify obfuscated boolean expressions.

https://github.com/bliutech/mbased/blob/main/.github/paper.pdf

MIT License

6 stars 0 forks source link

10 parser design a context free grammar for boolean expressions #31

Closed timoslater closed 3 months ago

timoslater commented 3 months ago

Summary

Closes #10

Created Classes for each note in the abstract syntax tree

New Classes

Var
VarExpr
ParenExpr
NotExpr
AndExpr
OrExpr

Manual Tests