Category/Software-development/static-analysis

Broaden your selection: Category/Software-development

Category/Software-development

• bug-tracking-system
• compiler
• database-application-development
• debugging
• game-development
• model-checker
• program-build-automation
• program-editor
• programming-language
• programming-language-conversion
• shell
• small-specific-development-task
• specification-tool
• version-control
• static-analysis
• testing-qa

static-analysis (18)

Achoz

will offer search and tools to reduce your data, keep it clean, fast and easy. in alpha development stage.

AdaControl

AdaControl verifies that Ada software meets the requirements of a number of parameterizable rules. It is not intended to supplement checks made by the compiler, but rather to search for particular violations of good-practice rules, or to check that some rules are obeyed project-wide. This package also contains the following utilities:

• pfni: Print Full Name Image - expands any identifier to a

fully-qualified name

• ptree: Prints a graphic representation

of an ASIS tree with corresponding source

Adlint

AdLint is a source code static analyzer. It can point out insecure or nonportable code fragments, and can measure various quality metrics of the source code. It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99.

Cf4ocl

The C Framework for OpenCL, cf4ocl, is a cross-platform pure C object-oriented framework for developing and benchmarking OpenCL projects. It aims to:

• Promote the rapid development of OpenCL host programs in C (with support for C++) and avoid the tedious and error-prone boilerplate code usually required.
• Assist in the benchmarking of OpenCL events, such as kernel execution and data transfers. Profiling comes for free with cf4ocl.
• Simplify the analysis of the OpenCL environment and of kernel requirements.
• Allow for all levels of integration with existing OpenCL code: use as much or as few of cf4ocl required for your project, with full access to the underlying OpenCL objects and functions at all times.

Features:

• Object-oriented interface to the OpenCL API

* New/destroy functions, no direct memory alloc/free * Easy (and extensible) device selection * Simple event dependency mechanism * User-friendly error management

• OpenCL version and platform independent
• Integrated profiling
• Advanced device query utility
• Offline kernel compiler and linker

ClassyShark3xodus

Checks apps for code signatures of known trackers (provided by Exodus). Also can list all classes for launchable (via the app drawer) packages. Can be used against any APK: - installed: via an app manager, - downloaded: via any file manager (long press and open with ClassyShark3xodus), - launchable installed: via the first screen list (long press to list all classes, including obfuscated ones). Note: doesn't work on odexed/system packages (it's a work-in-progress). Finally, the app doesn't sync or connect to the Internet and thus cannot sneak on end users. The app is updated when Exodus updates their list of trackers: https://reports.exodus-privacy.eu.org/api/trackers ClassyShark3xodus is based on Google's ClassyShark: https://github.com/google/android-classyshark

Cutter.re

Cutter is a free and open-source reverse engineering platform powered by rizin. It aims at being an advanced and customizable reverse engineering platform while keeping the user experience in mind. Cutter is created by reverse engineers for reverse engineers.

FOSSology

http://sourceforge.net/projects/fossology/ Scan files for licenses and copyrights, perhaps more analysis in the future.

GDL

The Gnu Data Language (GDL) is a free alternative to the data visualization and analysis tool, called IDL (Interactive Data Language), frequently used by scientists. GDL and its library routines are designed as a tool for numerical data analysis and visualisation. GDL is dynamically typed, vectorized and has object-oriented programming capabilities. The library routines handle numerical calculations, data visualisation, signal/image processing, file input/output (incl. graphical and scientific data formats such as TIFF, PNG, netCDF, HDF etc) and interaction with host OS. Despite its name, GDL is not a GNU package.

Gprofng-gui

gprofng GUI is a feature rich graphical interface to operate gprofng, which is part of the GNU binutils.

Hotspot

GUI for both recording and viewing runs with Linux perf, providing detailed insights including flamegraphs, timeline, caller/callee and annotated source/disassembly

... further results