BAP

MaRDI QIDQ24714swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-22110-1_37

Cited in

(13)

• Transfer function synthesis without quantifier elimination
• Bidirectional grammars for machine-code decoding and encoding
• Abstract interpretation of microcontroller code: intervals meet congruences
• Goanna
• BitBlaze
• biXid
• FloPSy
• GDSL
• BakerSFIeld
• WPDS++
• XSugar
• Ghidra
• Pushdown model checking for malware detection

This page was built for software: BAP