Splint 3.1.1
Szyna jest narzędziem do sprawdzania statycznie C programów dla luk w zabezpieczeniach i błędów programistycznych.Szyna ma wielu tradycyjnych kontroli szarpie tym niewykorzystanych deklaracji, typu niespójności, wykorzystania przed definicją, kod...