GDSL

MaRDI QIDQ25036swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=2559596

Cited in

(8)

• Bidirectional grammars for machine-code decoding and encoding
• Improved tool support for machine-code decompilation in HOL4
• biXid
• BAP
• BakerSFIeld
• Rocksalt
• XSugar
• TSL

This page was built for software: GDSL