Pages that link to "Item:Q3600477"
From MaRDI portal
The following pages link to An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries (Q3600477):
Displaying 7 items.
- Runtime verification of embedded real-time systems (Q479806) (← links)
- Context-sensitive analysis without calling-context (Q656869) (← links)
- Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953) (← links)
- Range and set abstraction using SAT (Q2814098) (← links)
- Alternating Control Flow Reconstruction (Q2891419) (← links)
- Refinement-Based CFG Reconstruction from Unstructured Programs (Q3075470) (← links)
- A program understanding approach for stripped binary code (Q5188910) (← links)