Il s'agit de l'application Windows Infer, dont la dernière version est téléchargeable sous le nom Inferversionv1.1.0.zip. Elle peut être exécutée en ligne sur l'hébergeur gratuit OnWorks pour 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 n'importe quel émulateur en ligne OS OnWorks à partir de ce site Web, mais un meilleur émulateur en ligne Windows.
- 5. Depuis le système d'exploitation OnWorks Windows 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 et installez-la.
- 7. Téléchargez Wine depuis les dépôts de logiciels de vos distributions Linux. Une fois installé, vous pouvez ensuite double-cliquer sur l'application pour les exécuter avec Wine. Vous pouvez également essayer PlayOnLinux, une interface sophistiquée sur Wine qui vous aidera à installer des programmes et des jeux Windows populaires.
Wine est un moyen d'exécuter un logiciel Windows sur Linux, mais sans Windows requis. Wine est une couche de compatibilité Windows open source qui peut exécuter des programmes Windows directement sur n'importe quel bureau Linux. Essentiellement, Wine essaie de ré-implémenter suffisamment de Windows à partir de zéro pour qu'il puisse exécuter toutes ces applications Windows sans avoir réellement besoin de Windows.
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 + +
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.
