SVF

Nouvelles

• Analyse de la sécurité des logiciels de nouveaux cours pour l'analyse et la vérification du code d'apprentissage avec SVF pour le plaisir et l'expertise!
• SVF prend désormais en charge LLVM-16.0.0 avec des pointeurs opaques (contribué par Xiao Cheng).
• Moderniser le CMake de SVF (contribué par Johannes).
• SVF prend maintenant en charge LLVM-3.0.0 (remerciez Shengjie Xu pour son aide!).
• Le clustering d'objets publié dans notre article Oopsla est maintenant disponible dans SVF
• Des ensembles de points à hachage publiés dans notre article SAS sont désormais disponibles dans SVF
• Analyse des logiciels d'apprentissage ou d'enseignement? Découvrez SVF-Enfiching!
• SVF prend désormais en charge LLVM-2.0.0 (merci Xiyu Yang pour son aide!).
• VSFS publié dans notre article CGO est maintenant disponible en SVF
• TypeClone publié dans notre article ECOOP est désormais disponible en SVF
• SVF utilise désormais un seul script pour sa construction. Tapez simplement source ./build.sh Dans votre terminal, c'est tout!
• SVF prend désormais en charge LLVM-10.0.0!
• Nous remercions Bsauce d'avoir écrit un manuel d'utilisation de SVF (Link1 et Link2) en chinois
• SVF prend désormais en charge LLVM-9.0.0 (merci par Byoungyoung Lee pour son aide!).
• SVF prend désormais en charge un ensemble d'analyses de pointes sensibles au terrain.
• Utilisez SVF comme LIB externe pour votre propre projet (contribué par Hongxu Chen).
• SVF prend désormais en charge LLVM-7.0.0.
• SVF prend désormais en charge Docker. Essayez SVF dans Docker!
• SVF prend désormais en charge LLVM-6.0.0 (contribué par Jack Anthony).
• SVF prend maintenant en charge LLVM-4.0.0 (contribué par Jared Carlson. Merci Jared et Will pour leurs discussions approfondies sur la mise à jour de SVF!)
• SVF prend désormais en charge l'analyse pour les programmes C ++.

Documentation

SVF est un outil d'analyse de flux de valeur statique pour les langages basés sur LLVM. SVF (CC'16) est capable de jouer

• AE ( EXÉCUTION RÉSUMÉ ): EXÉCUTION DU DOMAINE (ICSE'24), Analyse typoState (FSE'24);
• WPA ( Analyse du programme entier ): analyse sensible au champ (SAS'19), sensible à l'écoulement (CGO'21, OOPSLA'21);
• DDA ( analyse axée sur la demande ): analyse de points à points sensibles au contexte (FSE'16, TSE'18);
• MSSA ( Memory SSA Form Construction ): Régions de mémoire, effets secondaires, formulaire SSA (JSS'18);
• Saber ( vérification des erreurs de mémoire ): fuites de mémoire et doubles-de-deux (iSsta'12, tse'14, icse'18);
• MTA ( analyse des programmes multithread ): flux de valeur pour les programmes multithread (CGO'16);
• CFL ( Analyse de contexage sans contextes ): solveur CFL standard, grammaire et grammaire (Oopsla'22, PLDI'23);
• SVFIR et MemoryModel ( SVFIR ): SVFIR, abstraction de la mémoire et structure de points à points (SAS'21);
• Graphiques: générer une variété de graphiques , y compris le graphique d'appel, ICFG, graphique de hiérarchie de classe, graphique de contrainte, graphique de flux de valeur pour les analyses statiques et l'intégration du code (Oopsla'20, Tosem'21)

Nous publions le code source SVF dans l'espoir de bénéficier à la communauté open source. Vous êtes obligé de reconnaître l'utilisation de l'outil en faisant référence ou en citant des publications pertinentes ci-dessus.

Le document Doxygen de SVF est disponible ici.

À propos de SVF	Guide de configuration	Guide de l'utilisateur	Guide du développeur
Présentation de SVF - ce qu'il fait et comment nous le concevons	Un guide de configuration étape par étape pour construire SVF	Options de ligne de commande pour exécuter SVF, obtenir des sorties d'analyse et tester SVF avec un exemple ou un ptaben	Documentation technique détaillée et comment rédiger vos propres analyses dans SVF ou utiliser SVF comme LIB pour votre outil, et le cours sur SVF