Forum général.cherche-logiciel Analyseur statique de code C

Posté par  (Mastodon) . Licence CC By‑SA.
Étiquettes :
3
15
fév.
2023

Bonjour,

J'ai jamais trop utilisé d'analyseur de code dans ma carrière, donc je ne sais même pas si ce que je demande existe en fait !

Pourriez-vous me conseiller un (ou plusieurs) LL qui me permette de :
- faire des stats de base sur le code (nb et taille des fonctions par exemple)
- faire un graphe d'appel des fonctions
- sortir une doc du code si on met des commentaires sous un format spécifique
- analyser les erreurs (…)

Journal Comparatif d'outils d'analyse mémoire

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
36
21
avr.
2022

Cher journal,

Il n'y a pas si longtemps, j'ai dû faire un comparatif d'outils d'analyse mémoire dans nos programmes, pour le boulot. Tu connais sûrement ce genre d'outils, tels que Valgrind ou Address Sanitizer, sous le nom de memory sanitizers. Ces deux là sont assez connus mais il en existe d'autres tels que Dr. Memory (que je ne connaissais pas) ou encore Intel Inspector (que je ne connaissais qu'à peine).

D'une manière générale ces outils fonctionnent en gardant (…)

Journal Renaissance Ada

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
25
2
fév.
2022

Désolé pour le titre qui pourrait faire penser à une secte mais je n'y peux rien.

Renaissance Ada est le nom d'un ensemble bibliothèques et outils.

Le but de ces outils est de permettre la visualisation graphique de la structure d'un code, son analyse et sa modification en fonction de règles.

Pour ceux qui veulent aller vite (et les autres aussi, c'est intéressant), il y a une vidéo d'une vingtaine de minutes expliquant ce que l'on peut faire sur la (…)

Journal IKOS, un analyseur statique développé à la NASA

Posté par  . Licence CC By‑SA.
Étiquettes :
61
14
déc.
2018

Salut à tous,

Laissez moi vous présenter IKOS: https://github.com/NASA-SW-VnV/ikos

IKOS est un analyseur statique pour C et C++ basé sur LLVM, développé à la NASA. Il est gratuit et open source.

IKOS permet de détecter des bugs dans vos programmes C et C++. Contrairement à un analyseur statique « classique », il se repose sur une théorie mathématique appelée Interprétation Abstraite. IKOS prouve automatiquement l’inexistence de bugs dans vos programmes, pour toutes les exécutions possibles. En contrepartie, IKOS peut (…)

Forum Programmation.shell Vérifier vos scripts SHELL avec shellcheck

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
6
16
avr.
2014

Bonjour a tous,

je viens de découvrir un petit outil sympathique qui permet de vérifier la synthase, les erreurs de codes ou encore si votre script est optimisé ou pas!

http://www.shellcheck.net/

J'ai pu tester l'outil et je le trouve absolument génial!!

Le test sur mon blog:

http://journaldunadminlinux.fr/verifier-vos-scripts-shell-avec-shellcheck/

Bonne journée a tous!!