BitBlaze
From MaRDI portal
Software:22028
No author found.
Related Items (6)
Alternating Control Flow Reconstruction ⋮ Combining Model Checking and Testing ⋮ On detecting environment sensitivity using slicing ⋮ Abstract interpretation of microcontroller code: intervals meet congruences ⋮ Bidirectional grammars for machine-code decoding and encoding ⋮ DynOpVm: VM-based software obfuscation with dynamic opcode mapping
This page was built for software: BitBlaze
