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...

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.

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.