A LLVM-based static analysis framework which comes with a taint and type state analysis.
🔗 Visiter PhasarDescription
A LLVM-based static analysis framework which comes with a taint and type state analysis.
💬 Notre avis
Phasar est un framework d'analyse statique basé sur LLVM, ce qui en fait un outil puissant pour les développeurs qui veulent inspecter la qualité et la sécurité de leur code. En creusant un peu, on constate qu'il propose des analyses de type et de traçage, ce qui permet de déceler des vulnérabilités potentielles. Cependant, il est principalement destiné à un public averti, et il faut un certain niveau de connaissance en programmation pour en tirer pleinement parti. Si vous cherchez des alternatives, vous pourriez considérer d'autres outils comme SonarQube ou Coverity, qui sont plus connus et peut-être plus accessibles pour certains. L'interface et la documentation peuvent sembler un peu techniques, ce qui pourrait rebuter les novices. En termes de prix, Phasar est gratuit, mais on ne sait pas s'il y a des fonctionnalités premium à l'avenir, donc surveillez bien cela si vous envisagez de l'utiliser à long terme. En somme, c'est un outil intéressant, mais il peut ne pas convenir à tout le monde, surtout si vous n'avez pas une solide expérience en développement logiciel. <!-- ai-reviewed -->
🤖 Fiche enrichie
Points positifs
Analyse de code de qualité
Basé sur LLVM
Gratuit
Points négatifs
Nécessite des connaissances techniques
Interface un peu complexe
🔗 Sites similaires
abaplint
Linter for ABAP, written in TypeScript.
abapOpenChecks
Enhances the SAP Code Inspector with new and customizable checks.
SPARK
copyright: — Static analysis and formal verification toolset for Ada.
Astrée
copyright: — Astrée automatically proves the absence of runtime errors and invalid concurrent behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally precise. The analyzer also checks for MISRA/CERT/CWE/Adaptive Autosar coding rules and supports qualification for ISO 26262, DO-178C level A, and other safety standards. Jenkins and Eclipse plugins are available.
CBMC
Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.
CPAchecker
A tool for configurable software verification of C programs. The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.
CScout
Complexity and quality metrics for C and C preprocessor code.
Frama-C
A sound and extensible static analyzer for C code.
Goblint
A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.
Helix QAC
copyright: — Enterprise-grade static analysis for embedded software. Supports MISRA, CERT, and AUTOSAR coding standards.
KLEE
A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure. It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible.
LDRA
copyright: — A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.
💬 Commentaires
Aucun commentaire pour le moment. Soyez le premier ! 🎯