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

• 
  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...
• 
  Come rendere sicuro e semplice l’aggiornamento OTA con TUF

  L’ambiente dei dispositivi embedded è ancora il bersaglio di continue minacce. Più un dispositivo è connesso e più funzioni intelligenti offre all’utente, maggiore sarà la “superficie di attacco” per eventuali minacce informatiche Leggi l’articolo completo su Embedded...
• 
  Come proteggere le soluzioni OT dagli attacchi cyber

  I cyberattacchi che hanno inizio nell’ambiente IT possono ora facilmente migrare in un sistema OT non protetto, causando interruzioni di operazioni vitali e rischi eccessivi per la salute e la sicurezza pubblica Leggi l’articolo completo su Embedded...
• 
  Renesas presenta Quick-Connect Studio per accelerare il ciclo di progettazione

  Renesas Electronics ha annunciato la disponibilità di una nuova piattaforma di progettazione di sistemi IoT, online e basata su cloud, che consente agli utenti di progettare, in un ambiente grafico, hardware e software per convalidare rapidamente i...