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 Disambiguation 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 tool with integrated correctness proving.
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
Koopa is a parser generator, made for Cobol. It can handle source files in isolation (no preprocessing required) and doesn't mind the presence of CICS/SQL fragments. The grammar is easily extensible in a way which minimizes the impact on the overall code.
A general purpose source code indexer and cross-referencer that provides web-based browsing of source code with links to the definition and usage of any identifier. Supports multiple languages. Up-to-date information in http://lxr.sourceforge.net
The “Learn About Encoding Project” has as its ultimate goal of demystifying the problems related to the study of character encoding (charset encoding): from harset’s proper use to the issue of canonicalization
Free configurable source file line counting tool based on C# and .NET.
Line Counter .NET is an analyzing tool that helps finding out the number of code lines, empty lines, comment lines etc. Of course counting of string and character literals is also supported. As special feature this tool allows users to configure their own “Comment Schemes”. Also note, this code analyzing tool finds and counts source code comments that are surrounded by code. A detailed help file is of course included.
Template for AspectJ, by which you can trace back the method call.
$. What it does? When we design our own Java classes, we often depend on the 3rd party Java classes. Sometimes, we need to clarify the relationship among those 3rd party Java classes. And Aspect by AspectJ can shed light on our way. This project is the template for the Aspect by AspectJ. By the pointcut for the method call, we can trace back'who calls it. The word 'who' in this context is: Which method of which class For instance ... By the pointcut for: com.thirdparty.Foo.bar() we can trace: Which method of which class calls: com.thirdparty.Foo.bar() $. Requirements This project depends on: AspectJ Ant
Management of source code quality is possible.
Metrix++ is an extendable tool to collect and analyse code metrics. - Multiple languages supported - Multiple metrics available - Configurable. Every metric has got 'turn-on' and other configuration options. There are no predefined thresholds for metrics or rules. You can choose and configure any limit you want. - High-performance. Processes thousands of files per minutes. - Seamless application to legacy code due to embedded capability to differentiate new code, modified and legacy.
Find Duplicate Code In your project folder and files
This software Find Duplicate Code In your project folder and files.It help programmer to reuse the code and increase program efficiency.
transfer text in diverse formats into specific xml parser-trees
MuLanPa is a source-analyser with a configurable parser and may be may be used for several programming-languages. Its xml-output should be used for tools like project-browsers or code-viewers like moritz (www.sourceforge.net/projects/moritz/) .
Compile and execute any code from within Notepad++
NCandE grants the popular Notepad++ text editor the capability to compile and execute any code, with native support for Ada, Batch, C, C++, D, Java, Lua and Python code. Custom languages can be added with the built-in GUI Configuration Tool. The compile (Build) and run (Execute) functions are added under the Run command in Notepad ++. The "Build" and "Execute" commands automatically detect which compiler is necessary for the file running the commands. Custom paths, commands and switches for compilers can also be easily implemented with the GUI Configuration Tool. For detailed information on NCandE, check out the wiki page.
This is a plugin for Resharper that adds intellisense for the NMock2 mocking framework to Visual Studio.
Null dereference verifier for Java Programs
NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. Designed to be a sound verifier, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis.
A framework that translate name-based pointcut to analysis-based ones
Nataly, which can translate name-based pointcuts into analysis-based pointcuts automatically. Analysis-based pointcuts, can specify join points through static program analysis. But another problem is that there are few approaches can generate analysis-based pointcuts. We implement Nataly to tackle these two problems with a novel pattern, which is generated by static analysis.
"No comment!" is a command-line tool that generates various comment-related metrics for source code files (e. g. comment density, blank lines per file)
Linter plugin for Notepad++
A Notepad++ plugin that allows realtime code check against any checkstyle-compatible linter: jshint, eslint, jscs, phpcs, csslint and many others.
Object conversion for an object-oriented world.
The Object Conversion Library aims to provide developers with a baseline template for object conversion. The library can included to a project to allow a developer to build specific object conversion features. A more detailed explanation can be found in the documentation section of the repository.
Ohcount is the source code line counter that powers Ohloh. Ohcount supports over 70 programming languages. Ohcount can also detect popular open source licenses such as GPL determine if code targets a particular programming API, such as Win32 or KDE.
C++, Java IDE with auto class, sequence, zone, dependency, diagrams
The OovAide project used to be named oovcde. Searching the web will bring up more information about oovcde at this time. The OovAide project is a C++ or Java analysis IDE for Windows or Linux with an automated multi-tasking build system, cross compiler support, an analysis tool based on CLang that creates UML class, component, sequence as well as zone and portion diagrams from C++ or Java source, static analysis and test coverage. The diagrams allow navigation through the source code, and can be edited manually and saved as .SVG files. It creates CMake files and can be built using Eclipse or CMake. Export to SQLite is supported.
This tool is an dependency management focused on sw-dev. It tracks source-code from software, and checks the object-dependencies and relations. The differences in two snapshots can show the need for further implementation- or testing-acitvities.
Basic Code Structure Viewer (for C)
Code coverage tool for .NET 2 and above
OpenCover is a free and open source code coverage tool for .NET 2 and above (Windows OSs only - no MONO), with support for 32 and 64 processes and covers both branch and sequence points. It uses the profiler API that is currently only available to .NET Frameworks running on the Windows platform. OpenCover is an attempt at building a code coverage utility that addresses certain issues in maintaining PartCover support for 64-bit processes.
A drop-in replacement for the src.zip shipped with Oracle Java 7, that contains sources to all Java classes that are shipped or generated by the OpenJDK project (the official src.zip only covers public classes), plus tools to generate it.