The following pages link to Compiler Construction (Q5308721):
Displayed 9 items.
- Automatic reconstruction of data types in the decompilation problem (Q840093) (← links)
- Scalable and precise refinement of cache timing analysis via path-sensitive verification (Q2251379) (← links)
- Unveiling metamorphism by abstract interpretation of code properties (Q2339470) (← links)
- Assisted Identification of Mode of Operation in Binary Code with Dynamic Data Flow Slicing (Q2822697) (← links)
- Alternating Control Flow Reconstruction (Q2891419) (← links)
- Refinement-Based CFG Reconstruction from Unstructured Programs (Q3075470) (← links)
- Solving Multiple Dataflow Queries Using WPDSs (Q3522064) (← links)
- Program Analysis Using Weighted Pushdown Systems (Q5458821) (← links)
- Relational abstract interpretation of arrays in assembly code (Q6108433) (← links)