Robuta

https://nl.mathworks.com/help/codeprover/ref/polyspace.generictargetoptions-class.html polyspace.GenericTargetOptions - Create a generic target configuration - MATLAB Create a custom target for a Polyspace analysis if your target processor does not match one of the predefined targets,. create atarget configurationpolyspacegenericmatlab