Spalk Splint is een tool die C-programma's controleert voor beveiligingsproblemen en coderingsfouten.
Download nu

Spalk Rangschikking & Samenvatting

Spalk Tags

Debugger beveiligingsproblemen codering fouten Spalk

Spalk Beschrijving

Splint is een hulpmiddel dat C-programma's controleert op beveiligingsproblemen en coderingsfouten. Splint is een hulpmiddel voor het statisch controleren van C-programma's voor beveiligingskwetsbaarheden en programmeerfouten.Splint doet veel van de traditionele pluiscontroles, waaronder ongebruikte aangiften, inconsistenties, gebruik vóór definitie, onbereikbare code, genegeerde retourwaarden, uitvoeringspaden zonder terugkeer, waarschijnlijke oneindige paden Loops en vallen door de gevallen. Meer krachtige controles worden mogelijk gemaakt door aanvullende informatie in broncodeannotaties. Annotaties zijn gestileerde opmerkingen die aannames over functies, variabelen, parameters en typen, aanvulling op de cheques en types worden ingeschakeld die specifiek zijn ingeschakeld door annotaties, zijn veel van de traditionele pluiscontroles verbeterd door deze aanvullende informatie te benutten. Meer inspanning wordt in annoterende programma's gebruikt. Resultaten controleren. Een representatieve inspanningsuitkeringscurve voor het gebruik van splint wordt weergegeven in figuur 1.Plint is ontworpen om flexibel te zijn en de programmeurs in staat te stellen passende punten te selecteren op de inspanningsvoordeelcurve voor bepaalde projecten. Verschillende controles worden ingeschakeld en er wordt meer informatie ingeschakeld Code-annotaties Het aantal bugs dat kan worden gedetecteerd verhogingen dramatisch. Probleem gedetecteerd door splint omvatten: · Derferencing van een mogelijk nulaanwijzer · Mogelijke ongedefinieerde opslag of retourstalling die niet goed is gedefinieerd · Type Mismatches, met grotere precisie en flexibiliteit dan verstrekt C Compilers · Overtredingen van informatie verbergen · Memory Management-fouten, waaronder toepassingen van bungelende referenties en geheugenlekken · Gevaarlijke aliasing · Wijzigingen en globale variabele toepassingen die inconsistent zijn met opgegeven interfaces · Problematische controlestroom zoals waarschijnlijk oneindige lussen, dalen door zaken of onvolledige schakelaars , en verdachte uitspraken · Buffer overloop kwetsbaarheden · gevaarlijk Macro-implementaties of aanroepingen · Schendingen van aangepaste naamgevingconventies.

Spalk Gerelateerde software