Hitex vertreibt mit Goanna ein Tool zur statischen Code-Analyse für in C/C++ geschriebene Programme. Goanna nutzt Modellprüfung, interprozedurale Analyse und abstrakte Datenwertver- folgung, um durch tiefgreifende statische Analyse Fehler in der Software aufzuzeigen. Das Tool findet Speicherlecks, Pufferüberläufe, Zerstörung von Speicherinhalten etc. und führt dabei die Analyse auch über Dateigrenzen hinweg aus. Da Goanna einfach zu installieren ist, kann der Anwender schnell beginnen, die Qualität der vorhandenen Software zu überprüfen und gegebenenfalls zu verbessern.
展开▼
机译:借助Goanna,Hitex出售了用于以C / C ++编写的程序的静态代码分析工具。 Goanna使用模型测试,过程间分析和抽象数据值跟踪来通过深入的静态分析来识别软件中的错误。该工具可以发现内存泄漏,缓冲区溢出,内存内容破坏等情况,还可以跨文件边界进行分析。由于Goanna易于安装,因此用户可以快速开始检查现有软件的质量,并在必要时进行改进。
展开▼