Translate java source into another language
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 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
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
The MARKet for Open Source
MARKOS will realize the prototype of a service and an interactive application providing an integrated view on the Open Source projects available the on web, focusing on functional, structural and licenses aspects of software code.
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.
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.
Static code analysis for Freepascal
Lint for the pascal programming language
Static Code Analysis (lint) for Pascal Programmed in C++ as Code::Blocks project see Free Pascal for compiler http://www.freepascal.org/ Version: 0.1.0.6 Usage: pascallinter pascalsourcefile pascallinter -help commandline tool
PatternDetect is an Eclipse plugin that extracts the design patterns used in an Eclipse Java project. PatternDetect can be extended with new design patterns.
A static source code analyser for vulnerabilities in PHP.
A scanner named pecker, written in php,It can check dangerous functions with lexical analysis. to scans files for malicious PHP Code. Github : https://github.com/cfc4n/pecker
PegTest is an interactive application for developing parsing expression grammars (PEGs). First, write your grammar. Then, write a test input. Finally, browse how the PEG has parsed your input.
Collate any file type into printable and shareable HTML!
Full customization! Modify existing .properties files or make your own! More information on how to mod. PrettyPrintr is coming soon.
Programming with Millions of Examples
Prime is a tool capable of downloading massive numbers of code examples, analyzing them, then using the analyzed results for validation, completion or prediction.
View current download statistics for software on various sites
progstat: Used to view current download statistics for posted programs on various sites.
QATracker gives an overview of software quality metrics over time. The metrics result from running any quality metrics tool for which a parser is available, e.g. Checkstyle, Cobertura, CPD, FindBugs, PMD, QALab, SonarJ
Static analysis tool for finding coding standards violations in C++ source files.
Provides tools, supporting quality management or quality assurance for software: Assessment execution (ISO 15504 (SPiCE), AutomotiveSPiCE, CMMi), diff tool calculating sizes (SLoC) of diffs, identification of conditional compilation, and more.
R Unit test framework R functions implementing a standard Unit Testing framework, with additional code inspection and report generation tools
REL (Research and Education Language) is a simple but very powerfull language with a compiler, an interpreter and a verifier.
Source code recovery project.
Software Modularization and Monitoring Tool
An Eclipse plug-in to monitor and act against the deterioration of software modularity in Java source code. On going development, with a prototype available.