Hybrid Approaches
Layer | Target | Availability* | |||||||
---|---|---|---|---|---|---|---|---|---|
System | Hardware | OS | Application | Function | Type† | ISA(s) | Binary? | Source code | Data Set |
Avatar | 2, 3 | ARM | ✔️ | ✔️ | ✔️ | ||||
Inception | 2, 3 | ARM | ✔️ | ~ | |||||
Mousse | 1 | ARM | ✔️ | ~ |
Legend: : Passed through : Emulated : Not modified : Replaced : 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.