Open Source Source Code Analysis Tools - Page 11

IncludeGraph is a tool written in Python that performs code analysis on a C and C++ source tree. It can determine the inclusion path for a header file as well as provide charts about which headers are the most included ones or which files include the most headers. It also has a limited knowledge of conditional preprocessor constructs by implementing a subset of the functionality of the C preprocessor.

Java libraries with the functionality of indenting source code utilizing regular expresions. Currently C/C++, Java, HTML, and XML are supported.

Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance. Infer checks for null pointer exceptions, resource leaks, annotation reachability, missing lock guards, and concurrency race conditions in Android and Java code. Infer checks for null pointer dereferences, memory leaks, coding conventions and unavailable API’s. Start with the Getting Started guide and our other docs to download and try Infer yourself. Infer is still evolving, and we want to continue to develop it in the open. We hope it will be useful for other projects, so please try it out or contribute to it, join the community and give us feedback!

Libaries and plugins for java developpement with Idea IntelliJ

News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki ICI transforms production compilers into open interactive plugin-based research infrastructure as the first step towards future intelligent self-tuning computing systems. More information: http://cTuning.org/ici

JASTI (Java AST Inspector) is an inspector for the OpenJDK compiler AST

The Java Code Clone Detection API (JCCD) allows to implement individual code clone detectors. These code clone detectors can be easily integrated into other Java applications. JCCD is based on a pipeline architecture which allows to replace whole par

JClassViewer is a viewer for class and jar files. Features: - required Java 7 or higher - used the line numbers to reconstruct an output that is near to the original output. - debugging in Eclipse - should support other languages like Scale in the future

[This project is frozen, but has an offspring with more features: https://github.com/jeffhain/jadecy ] JCycles provides treatments to compute cycles, or just strongly connected components, in directed graphs in general, or in classes or packages dependencies graphs parsed from class files (major version <= 51, else does best effort). It uses Tarjan's algorithm for SCCs, and Johnson's for cycles, with continuations instead of recursion, which allows to handle large graphs (< Integer.MAX_VALUE vertices). Requires Java 5 or later.

JITTAC is an Architecture Consistency plug-in for Eclipse that helps maintain consistency between the architectural design and the implementation. It detects the potential problem areas by a method based on Reflexion Model (jrmtool) and prompts the developer accordingly. For a fuller description, please see the website.

JLineCounter is a tiny tool written in java for counting lines in a text file. text files may be source files like c,java,csharp etc.

For source code and more info, visit: http://rondevera.github.com/jslintmate/

Application for searching classpath dependencies of source code. Sometimes you do not know, which common libraries you need to compile existing java source code including transitive dependencies.

This tool helps you to reverse engineer UML Sequence Diagram for your java program at runtime. It works well with both complex java programs (that have multiple threads) and J2EE applications deployed on Application Servers.

Java Cobol Lexer take a cobol source program and return it as a list of lexical tokens. Library takes source code in fixed, free and mixed formats. It recognizes standard Cobol 85.

Java library to parse GNU Makefiles. The source code is available from SVN. The latest revision should be in trunk, the latest "stable" release should be in branch.

Java reverse-engineering plug-in for Eclipse Modelling project. Depends on JDK and UML2 eclipse projects. Supports JKD5, including enums and generics.

This projects aims at providing an object model which describes a java source file static and dynamic behaviour. The generated object model can be used to analyse the source code or generate new code (unit tests, for example).

JavaCount is a simple (Code, Comments, Cyclomatic and Statements) counter for Java methods that ouput the metrics in various formats (csv, xml, etc) -- Acknowledgement: EU Funded FP6 Qualoss Project (see http://www.qualoss.eu).

JavacTo is a prototype tool designed to evaluate the need and value of translating java code into another programming language. An ideal language for translation is a language that supports the concept of packages, classes, interfaces, and enums as well as built-in memory garbage collection. Languages such as C# and D, are well suited as a translation “To” language. Eclipse project provided to get started. Three visitor classes provided to learn how to use JavacTo and write visitor classes. Vistor javadocs available at: http://docs.oracle.com/javase/8/docs/jdk/api/javac/tree/index.html

JazzTeamEdu project contains Java educational sources provided by JazzTeam Open Source company. These sources are examples of usage of classes, investigations related to popular frameworks which are not formed as separate project yet.

Jistory is an Eclipse plug-in for history sensitive detection of design anomalies in source code. This plug-in aims to aid the developer in writing better code by using history sensitive heuristics to analyse multiple versions of source code.

Justus is a tool set for Progress 4GL (ABL) Developers. It includes a simplified parser for 4GL, an API to load Profiler data and a Test Coverage Tool.

KDD (Kernel Data Disambiguator) is a new automated software analysis tool that can generate a sound kernel data definition for any C-based OS (e.g. Windows and Linux) without any prior knowledge of the OS. KDD disambiguates the pointer-based relations including generic pointers - to infer their candidate types/values - by performing static points-to analysis on the kernel’s source code. KDD takes the source code of an OS kernel as input and outputs an accurate directed type-graph that represents the kernel data definition. KDD is able to scale to the enormous size of kernel code, unlike many other points-to analysis tools.

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. Other Projects and pages of the team's members: www.settlers-android-clone.com (by Andreas Eberle and Michael Zangl) www.andreas-eberle.com