BitBlaze

swMATH10059MaRDI QIDQ22028FDOQ22028

Author name not available (Why is that?)

Cited In (6)

• Bidirectional grammars for machine-code decoding and encoding
• Alternating Control Flow Reconstruction
• Abstract interpretation of microcontroller code: intervals meet congruences
• On detecting environment sensitivity using slicing
• Combining Model Checking and Testing
• DynOpVm: VM-based software obfuscation with dynamic opcode mapping

This page was built for software: BitBlaze