Riktlinjer för säker C-kod (MISRA)

https://en.wikipedia.org/wiki/MISRA_C

http://caxapa.ru/thumbs/468328/misra-c-2004.pdf
https://misra.org.uk/LinkClick.aspx?...f7xA=&tabid=57

MISRA är alltså riktlinjer för säker kod, i wikilänken finns det kritik mot det hela och jag är själv skeptisk till detta. Är detta nödvändigt? Finns det nån poäng med såna här riktlinjer? Det låter som manager-bs som hämmar kreativitet och utveckling men låter bra. Nån som har erfarenhet?

IMHO:

Nödvändigt? Nej.
Poäng? Ja. (lätt att få bra metrics från t.ex. statisk kodanalys)
Hämmar kreativitet och utveckling? Beror på hur viktigt MISRA är för organisationen men generellt sett: ja, i form av kostnad för att trolla bort varningar.

Nyttan beror lite på vad man ska göra. Ska man t ex styra en ABS-broms, så är det viktigare att programmet gör vad det ska varje gång än att man fick kreativ frihet när man skrev det.

Om det finns risk att någon skadas eller dör på grund av en eventuell bugg i din kod, kan det vara en bra idé, såvida du inte är smartare och har mer erfarenhet än de som tagit fram MISRA, samt att du vet att du kommer kunna visa att du är smartare och har mer erfarenhet än de som tagit fram MISRA när någon skadats eller dött.

denna typ av arbete testas alltid rigoröst, tror ni denna typ av riktlinjer är nödvändiga för att förhindra buggar eller kommer man ändå hitta dem?

Denna typ av riktlinjer kanske t.o.m. är hämmande för utveckling eftersom de hindrar folk att utveckla nya koncept och teknologier?

Det är omöjligt att uttömmande testa en komplex produkt. Man måste designa för robusthet.


Områden där riktlinjerna är relevanta är inte rätt områden för att experimentera. Det kan man göra i andra projekt.

Frågan är väl snarare vad buggarna får för konsekvenser innan man hittar dem. Det är även den frågeställningen som rättfärdigar MISRAs existens.

När det gäller C/C++ finns det helt klart poänger med att ha riktlinjer, så inte folk som inte begriper bättre skjuter sig i foten, eller snarare spränger bort hela benet när det gäller C.

ok, uppskattar era inlägg så jag vet hur "andra sidan" resonerar. Jag håller inte med om resonemanget men nu vet jag iaf hur ni tänker. tack, tack.

Har du några motargument?

ja

Hur lyder dessa?