Shift left requires abstractions on which early analysis can be performed. For architectural analysis, abstractions are ...