Search Results for "code analyzer"

JET employs Julia's type inference system to detect potential bugs and type instabilities. JET is tightly coupled to the Julia compiler, and so each JET release supports a limited range of Julia versions. See the Project.toml file for the range of supported Julia versions. The Julia package manager should install a version of JET compatible with the Julia version you are running. If you want to use JET on unreleased version of Julia where compatibility with JET is yet unknown, clone this git...

Viking is a free/open source program to manage GPS data. You can import, plot and create tracks, routes and waypoints, show OSM, Bing Aerial and other maps, geotag images, create routes using OSRM, see real-time GPS position (not in Windows), make maps using Mapnik (not in Windows), control items, etc. It is written in mostly in C (with some C++) & the GTK+3 toolkit. Viking is currently dual managed - with a corresponding Github presence...

Finally, the binary release of the version 0.2.5 is out. Now, Atheris comes with an extensible, modular plug-in architecture, i.e. you can easily write your own graphical analyzer for Atheris. The documentation on how to write you own analyzer will follow in the next days. If you are running a non Debian-based Linux, download the zip file and follow the instructions in the README file. If you have problems, want to contribute your code or have some special needs, let us know and send an email to philipp.eittenberger(Ätt)uni-bamberg.de (If you want the source code of version 0.2.3 and compile Atheris yourself check it out with svn per: "svn co https://atheris.svn.sourceforge.net/svnroot/atheris/trunk atheris")

Nmdepend is a lightweight 'link-time' dependency analyzer for C++. It uses object files and libraries instead of source-code as input. It can help to manage 'cross-directory' dependencies. Dependencies can be visualized in combination with Graphviz.