Assertion: arsenal's goal | /r/HasProperty | to be general analysis framework
Facets:
value: for iot devices
type: TRANSITIVE-OBJECT
Source sentences:
text: The ultimate goal of FirmPin is to be a general analysis framework for IoT devices.