Pages that link to "Item:Q287369"
From MaRDI portal
The following pages link to Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369):
Displaying 5 items.
- Internal models of system F for decompilation (Q428882) (← links)
- Unveiling metamorphism by abstract interpretation of code properties (Q2339470) (← links)
- Bidirectional grammars for machine-code decoding and encoding (Q5915877) (← links)
- LTL model checking of self modifying code (Q6102164) (← links)
- Reachability Analysis of Self Modifying Code (Q6175214) (← links)