Hybrid Approaches

Layer Target Availability*
System Hardware OS Application Function Type ISA(s) Binary? Source code Data Set
Avatar passthrough emulated symbolic passthrough unmodified passthrough unmodified passthrough unmodified symbolic 2, 3 ARM ✔️ ✔️ ✔️
Inception passthrough emulated symbolic unmodified unmodified unmodified 2, 3 ARM ✔️ ~
Mousse passthrough passthrough unmodified unmodified unmodified symbolic 1 ARM ✔️ ~

  Legend:   passthrough: Passed through   emulated: Emulated   unmodified: Not modified   replaced: Replaced   symbolic: Symbolic model   ~: Partial Availability

* When available, source code and data sets can be found by clicking on the checkmarks.
Target types are described in our faq.