BAP

swMATH12790MaRDI QIDQ24714FDOQ24714

Author name not available (Why is that?)

Cited In (4)

• Bidirectional grammars for machine-code decoding and encoding
• Abstract interpretation of microcontroller code: intervals meet congruences
• Pushdown Model Checking for Malware Detection
• Transfer function synthesis without quantifier elimination

This page was built for software: BAP