photo

Shrikant Lahane


Last seen: environ 3 ans il y a Actif depuis 2020

Followers: 0   Following: 0

Statistiques

Feeds

Afficher par

Question


Can we simulate the NvM_WriteBlock() in the code prover ?
Hello I doing the static analysis of an autosar project. I have configured NVM_SINGLE_BLOCK_CALLBACK for the NvM_WriteBlock() ...

plus de 3 ans il y a | 1 réponse | 0

0

réponse

Question


What are badly-typed functions in polyspace code prover 2016b ?

plus de 3 ans il y a | 1 réponse | 0

1

réponse