Il s'agit de l'application Linux nommée Infer dont la dernière version peut être téléchargée sous le nom Inferversionv1.1.0.zip. Il peut être exécuté en ligne sur le fournisseur d'hébergement gratuit OnWorks pour les postes de travail.
Téléchargez et exécutez en ligne cette application nommée Infer with OnWorks gratuitement.
Suivez ces instructions pour exécuter cette application :
- 1. Téléchargé cette application sur votre PC.
- 2. Entrez dans notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous voulez.
- 3. Téléchargez cette application dans ce gestionnaire de fichiers.
- 4. Démarrez l'émulateur en ligne OnWorks Linux ou Windows en ligne ou l'émulateur en ligne MACOS à partir de ce site Web.
- 5. Depuis le système d'exploitation OnWorks Linux que vous venez de démarrer, accédez à notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous souhaitez.
- 6. Téléchargez l'application, installez-la et exécutez-la.
CAPTURES D'ÉCRAN
Ad
Inférer
DESCRIPTION
Infer est un outil d'analyse statique - si vous donnez à Infer du code Java ou C/C++/Objective-C, il produit une liste de bogues potentiels. Tout le monde peut utiliser Infer pour intercepter les bogues critiques avant qu'ils ne soient envoyés aux utilisateurs et aider à prévenir les plantages ou les mauvaises performances. Infer vérifie les exceptions de pointeur nul, les fuites de ressources, l'accessibilité des annotations, les protections de verrouillage manquantes et les conditions de concurrence dans le code Android et Java. Infer vérifie les déréférencements de pointeur nul, les fuites de mémoire, les conventions de codage et les API indisponibles. Commencez par le guide de démarrage et nos autres documents à télécharger et essayez Infer yourself. Infer est toujours en évolution, et nous voulons continuer à le développer à l'air libre. Nous espérons qu'il sera utile pour d'autres projets, alors essayez-le ou contribuez-y, rejoignez la communauté et donnez-nous votre avis !
Comment ça marche
- Infer est déployé dans Facebook et s'exécute en continu pour vérifier certaines propriétés de chaque modification de code
- Il peut également être utilisé pour d'autres codes : Infer peut également analyser le code C et le code Java qui n'est pas Android
- Infer suit les problèmes causés par les déréférencements de pointeur nul et les fuites de ressources et de mémoire
- Infer est arrivé sur Facebook avec l'acquisition de la startup de vérification Monoidics en 2013
- Lors de l'analyse des fichiers C, Infer capture la commande gcc et exécute clang à la place pour les analyser
- De plus, nous avons des linters Infer pour décrire des analyses syntaxiques superficielles, en utilisant le langage AL
Langage de programmation
C + +
Catégories
Il s'agit d'une application qui peut également être récupérée à partir de https://sourceforge.net/projects/infer.mirror/. Il a été hébergé dans OnWorks afin d'être exécuté en ligne de la manière la plus simple à partir de l'un de nos systèmes d'exploitation gratuits.
