Pure Emulation
| Layer | Target | Availability* | |||||||
|---|---|---|---|---|---|---|---|---|---|
| System | Hardware | OS | Application | Function | Type† | ISA(s) | Binary? | Source code | Data Set |
| BaseSafe |
|
|
|
|
2 | ARM | ✔️ | ✔️ | ✔️ |
| Clements’21 |
|
|
|
|
2 | ARM | ✔️ | ||
| Costin’16 |
|
|
|
|
1 | ARM, MIPS | ✔️ | ||
| DICE |
|
|
|
|
2, 3 | ARM, MIPS | ✔️ | ✔️ | ✔️ |
| Firm-AFL |
|
|
|
|
1 | ARM, MIPS | ✔️ | ✔️ | ✔️ |
| Firmadyne |
|
|
|
|
1 | ARM, MIPS | ✔️ | ✔️ | |
| FirmAE |
|
|
|
|
1 | ARM, MIPS | ✔️ | ✔️ | ✔️ |
| HALucinator |
|
|
|
|
2, 3 | ARM, MIPS | ✔️ | ✔️ | ✔️ |
| Li’20 |
|
|
|
|
2 | — | ~ | ~ | |
| LuaQEMU |
|
— |
|
|
3 | ARM | ✔️ | ✔️ | |
| P2IM |
|
|
|
|
2, 3 | ARM | ✔️ | ✔️ | ✔️ |
| PartEmu |
|
|
|
|
2 | 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.