C and C++ control flow graph generator and analyzer
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.
Maven OpenJPA Query Translator Plugin
The oqt-maven-plugin allows automatic JPQL to SQL query translation in a maven project. The result is outputted as standard maven report. Additional goals exist for simple JPQL validation.
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.
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
Diff-ext is an extension for filemanagers such as Windows Explorer and Nautilus that allows to launch diff/merge tools on selected files.
The "gc" language is a script language with c++ grammer and c++ class library . The gaiasle is a set of script language framework . It has some new ideas about soft development ,specially about web server programs .
Code Coverage Tool For Oracle PL/SQL
Provide metrics calculation and dependency analyzer plugin for the Eclipse platform. Measure metrics with avg and std deviation and detect cycles in package and type dependencies. Continuation of work from http://sourceforge.net/projects/metrics.
R Unit test framework R functions implementing a standard Unit Testing framework, with additional code inspection and report generation tools
FirstSpirit Templates replicated oneway to Subversion
FirstSpirit CMS Templates replicated to subversion SCM. This software just copies most important information containing the FirstSpirit TemplateStore to subversion.
Java reverse-engineering plug-in for Eclipse Modelling project. Depends on JDK and UML2 eclipse projects. Supports JKD5, including enums and generics.
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
Libaries and plugins for java developpement with Idea IntelliJ
Hexjector is an Opensource,Cross Platform PHP script to automate Site Pentest for SQL Injection Vulnerabilties.
An application written in Python which optimizes and shrinks your web code into a smaller file.
CodEvos aims to reinvent the various aspects of learning how to program by involving the community in each and every example and tutorial posted. CodEvos, social coding, redefined.
Eclipse Plug-In that determines the Minimal Access Modifier of Java types and methods project and computes the software metrics Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM). The Minimal Access Modifier of a Java type or type member is the most restrictive access modifier that is able to allow all actual usages of the particular type or member from inside a given code base (normally the entire source code of the respective Java project). The metric Inappropriate Generosity with Accessibility of Types (IGAT) indicates the proportion of those types which actual access modifier is more generous than the minimal one relative to the total number of types in a given source code subset. Analog the metric Inappropriate Generosity with Accessibility of Method (IGAM) indicates the proportion of those methods which actual access modifier is more generous than the minimal one relative to the total number of me
An interactive binary search tree. The user may interact with the tree by performing rotations, balancing, insertions, and deletions. For educational purposes
Web Doc processor is a Firefox extension for processing and validation of web documents inside browser. Extension is completlly embedded in browser and is available to use also off-line. It is modularized and easy to extend.
Security tool that replace sn.exe(Strong Naming Tool) in ASP.NET.This tool is for .Net developers only.Securing your web applications is very important .So with this tool you can protect your application by securing it source code.
Fast and convenient HTML editor.
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
Prime - the programming language. and it's compiler. It's multi-paradigm and support SOP (Subject-oriented programming - the generalised OOP). It's support low-level and high-level programming.