B2R2.MiddleEnd.ConcEval (nuget): B2R2 concrete evaluation engine.
Keywords: Binary|Disassembly|Assembly|CFG|Reversing|x86|AARCH64|MIPS|AVR|ELF|Mach-O|PE