Atollic: TrueInspector, strumento per analisi di codici sorgente

Con TrueInspector, di Atollic, distribuito da Fenway Embedded Systems, i codici sorgente sono validati rispetto a un database costituito da standard di codifiche formali, rilevando automaticamente le costruzioni di codifiche note per essere inclini a errori.

Supporta lo standard di codifica Misra-C:2004, uno standard di codifica per sistemi embedded derivante dall’industria automobilistica che promuove elementi quali affidabilità, sicurezza, manutenibilità e portabilità.

Presenta una panoramica dei risultati di ispezioni, sia con dati statistici proposti in formati di testo ordinato sia con gli stessi visualizzati come tabelle grafiche, elencando in una relativa visualizzazione le violazioni effettive a regole, con collegamenti ipertestuali a righe di codici sorgente offensivi presenti nell’editor. Infine, una visualizzazione di descrizioni di regole spiega i dettagli concernenti regole di standard di codifiche specifiche, fra cui esempi di stili di codifiche scorrette, che abbiano innescato le violazioni stesse, nonché esempi di stili di codifiche soddisfacenti, che invece permettano di risolverle.

Fornisce inoltre dati metrici (valori statistici) software su codici sorgente a livello di moduli, file e funzioni, rendendo in particolare disponibili misure di complessità di codici, utilizzabili quindi per identificare e riscrivere, in stili di programmazione più semplici, sezioni di codici complessi, riducendo così la probabilità di errori software e facilitando, altresì, gli interventi di manutenzione.

Si integra perfettamente nell’ambiente integrato di progettazione TrueStudio C/C++, sempre di Atollic, creando in questo modo un ambiente di sviluppo altamente efficiente per sviluppatori embedded.

Atollic: www.atollic.com

Fenway Embedded Systems: www.fenwayembedded.com

Contenuti correlati

• 
  Analisi sulle risorse umane da ANIE Confindustria

  Il Servizio Studi di ANIE, ha pubblicato un’analisi sulle dinamiche di skill mismatch e labour shortage nelle imprese italiane dei settori Elettrotecnica ed Elettronica. La ricerca, basata su dati Unioncamere – ANPAL, Sistema Informativo Excelsior, evidenzia per...
• 
  Microprocessori multicore a 64-bit per l’“intelligent edge”

  Microchip Technology ha introdotto la gamma di MPU PIC 64 per soddisfare le crescenti esigenze degli odierni progetti embedded Leggi l’articolo completo su EMB93
• 
  5 prodotti OSHW per progetti embedded flessibili e personalizzabili

  Optare per un hardware open source significa credere nel potenziale di innovazione, accelerazione e trasformazione di ciascun prodotto o progetto, che deriva da una maggior capacità di controllo sulla tecnologia e dalla condivisione di conoscenze. Le prospettive...
• 
  I rischi e le minacce cyber legate alle Olimpiadi

  Il threat intelligence team Unit 42 di Palo Alto Networks ha analizzato i rischi collegati alle principali minacce informatiche che potrebbero essere messe in atto in occasione dei prossimi Giochi Olimpici di Parigi 2024. L’analisi sulla cybersecurity,...
• 
  AMD annuncia Embedded+

  Embedded+ è il nome di una nuova piattaforma architetturale di AMD che combina i processori AMD Ryzen Embedded con i SoC adattivi Versal su un’unica board integrata. L’obiettivo è quello di accelerare il time-to-market delle applicazioni Edge...
• 
  Le soluzioni Embedded: istruzioni per l’uso

  Di Sandro Mascetti – CEO di MAS Elettronica Nell’attuale scenario di Industria 4.0. le soluzioni embedded sono diventate un must have. Grazie alle numerose applicazioni che offrono, queste soluzioni sono molto diffuse e conosciute. I sistemi embedded...
• 
  Le risorse di Mouser per l’embedded

  Mouser Electronics mette a disposizione dei progettisti una piattaforma online con una serie di risorse per il mondo embedded. Si tratta del centro di risorse sull’Elaborazione Embedded che viene costantemente aggiornato con informazioni sulle applicazioni embedded attraverso...
• 
  Superare il terahertz gap con un software di simulazione

  La simulazione numerica consente di studiare a fondo le nuove tecnologie per laser, rivelatori e assorbitori nel “gap” tra infrarossi e microonde Leggi l’articolo completo su EO 512
• 
  Ottimizzare elaborazione, rilevamento e controllo general purpose con le MCU Arm Cortex-MO+

  Le MCU MSPM0 Arm Cortex-M0+ proposte da Texas Instruments offrono ai progettisti maggiori opzioni, più flessibilità di progettazione e una gamma più ampia di software e strumenti intuivi Leggi l’articolo completo su EO 512
• 
  Sicurezza: un problema volutamente ignorato

  Nel momento in cui le normative e i regolamenti che disciplinano la sicurezza entrano in vigore non solo in Europa, ma in tutto il mondo, le aziende devono necessariamente aggiungere funzioni atte a garantire la sicurezza dei...