Search Results for "static code analysis"

GXSM -- Gnome X Scanning Microscopy: A multi-channel image and vector-probe data acquisition and visualization system designed for SPM techniques (STM,AFM..), but also SPA-LEED/LEED/LEEM data analysis. A plug-in interface allows any user add-on data-processing and special hardware and instrument support. Latest: NC-AFM and related explorative methods as SQDM can be configured. High-Speed external PAC-PLL hardware option with digital DSP link. Based on several hardware options it supports a commercially available DSP hardware and provided also Open Source Code for all the low level signal processing tasks and instrument controls in a most flexible and adaptable manner. ...

The AOFlagger is a tool that can find and remove radio-frequency interference (RFI) in radio astronomical observations. The code has been highly optimized for speed and accuracy. It is used by default for the LOFAR radio telescope and thus is in productional stage. The software can run in a fully automated way, but a graphical interface is provided to analyse results and tweak the strategy. The preferred input file format is the Casa Measurement Set (MS) format. I believe that the...

Quan is designed to model physical quantities in C++ programs. Advantages include automated dimensional analysis checking, automatic unit conversions, self documentation of code.

This tool helps with analysis multithreaded logs by visualising log events on a timeline. It is user responsibility to create rules for log parsing in actionscript (like JavaScript) You need to have latest Qt sdk installed in order to build it from source code.

This site hosts the source code for C++ version of the Broker for SBW, NOM module, advanced simulation suite, analysis applications and model editors.

ParTools allows the interactive analysis of a C program execution profile and data dependencies to facilitate the discovery and selection of suitable parallelization candidates in a manual parallelization process. The flow does not assume any specific parallelization technique, thus it can be broadly applied. The original (serial) C source is automatically annotated to trace the execution profile and data dependencies at run-time. The annotated program is then executed using a...

Open source animation of kmeans clustering in X Window System using the C++ libplotter library. Supports Linux, Mac, and BSD. Includes common initialization methods such as Forgy, Macqueen, random, and angular. Sample videos are available through the Files Tab above. The SVN repo is accessible thorugh the Code Tab above. Requires a C++ compiler, libplot-dev, and libncurses5-dev Mac alternative to libplot-dev: macports plotutils +x11

CoFlo generates Control-Flow Graphs from C and C++ source code. It can then output the graphs in a number of ways and perform various control flow analyses. NOTE: CoFlo has not been under active development for several years. At this time, I suggest you look into LLVM-based tooling to see if there is anything similar to CoFlo which will meet your needs.

QuickFlash is a C++-based analysis library for data files generated by the Flash hydrodynamics code. It provides high-performance access to large datasets in low memory situations and other restrictive environments.

Static analysis tool for C & C++ source code. Object browser, source viewer and preprocess demistificator. Dependecy solver and hierarchy ilustrator.

METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.

NOTE: Use Fltk_Contour insted this code! FMesh is a simply scientific data visualization tool based on OpenGL. FMesh can generate 2D and 3D graph of contour and color maps for any (x,y,z) scattered data set, many other options are included.