Open source tools for controlflow analysis of java programs
Dr. Garbage Tools Project is a set of open source tools for controlflow analysis of java programs, including Java Sourcecode Visualizer, Bytecode Visualizer and ControlFlow Factory for generation and visualization of the various ControlFlow Graphs. The tools are the result of a research project on the University of Oldenburg and have been developed by the Dr. Garbage Ltd. & Co KG.
https://github.com/jplevyak/ifa
IFA, Iterative Flow Analysis is a combined data-flow and controlflow analysis. It is capable of resolving the concrete types (as opposed to the nominal
or declared types) and the interprocedural call graph for statically or dynamically typed programs.
coreBOS is a business empowering tool, an adaptable software program that will help your business accomplish it's goals.
Please go to GITHUB: https://github.com/tsolucio/corebos which is where all the action is happening.
Jlint will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis on the code and building the lock graph. Jlint is fast, easy to learn, and requires no changes in the class files to be checked.
216,000+ customers in over 135 countries grow their businesses with HubSpot
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
An opensource Java graph library. Abandoned, ignore.
Spargel is a Java graph library that puts its effort in having a rather small but powerful code basis.
This is achieved by extending graphs via properties in form of vertice and edge maps. Because these maps are an individual implementation depending on the graph datastructure used, they are more memory efficient than using a Java HashMap.
Currently spargel is in its early stages, but will soon support more tasks. As now, implemented are:
* Adjecency graph data structures
* Algorithms...
The Network-Integrated Multimedia Middleware (NMM) is a flowgraph based multimedia framework that allows to create distributed multimedia applications: local and remote multimedia devices or software components can be combined.
flow is a cross-platform headers-only C++11 framework which provides the building blocks for streaming data packets through a graph of data-transforming nodes
An Error Handler for C/C++ funtions, focused on code readability. It allows a clear controlflow, adding Ignore, Retry, Jump, and Back functionality when a function returns error. It's macro based, written in C and targeting embedded systems.
Trusted by nearly 20,000 customers worldwide, and all major cloud providers.
OpenVPN's products provide scalable, secure remote access — giving complete freedom to your employees to work outside the office while securely accessing SaaS, the internet, and company resources.
SynApp2 builds feature-packed web applications and versatile PDF reports for MySQL and Oracle Database. The SynApp2 web application generator and MVC framework is written in PHP and JavaScript.
Volta is a suite of development tools for distributed, hard real-time systems. It includes Cascade, a controlflow analysis tool for Java, and Clepsydra, a worst-case execution time analyzer. Also included is a Clepsydra plug-in for jEdit.
Don't hard-code data-structures for Artificial Intelligence (AI). Evolve them (and controlflow) as cycles of arrays in arrays with size constraints based on other array sizes (at specific index) in terms of range, multiply, exponent, or permutation. No working code yet. Whats there now is an extension of GigaLineCompile which would become part of Human AI Net, but there are other projects to finish before I can come back to this one.
BorderFlow implements a general-purpose graph clustering algorithm. It maximizes the inner to outer flow ratio from the border of each cluster to the rest of the graph.
The Waterken Server is a platform for building Java applications that use eventual controlflow operations, such as asynchronous invocation, to communicate both within the application and across the network to other HTTP-based software.
SafiServer is an engine that powers the applications (called Saflets) created using SafiWorkshop. SafiServer uses these applications to control communications (i.e. Asterisk) along with a multitude of other applications (database, email, etc).
Bug tracking PHP application, intended to enable final users to report and track bugs or issues, allowing managers to open/assign this bugs to developers. Real easy time tracking interface, and ajax attachments management. Custom reports supported.
Prosper is a web application development framework to augment Prolog applications with a web interface. It supports controlflow in visual logic and promotes a clear separation of model from view.
One component-based data flow developing environment, including one breadboard editor for wiring channels between modules and one dashboard editor for placing visual control.
Web-based Business Workflow management tool, supporting email & SMS notifications of tasks organized into arbitrarily complex Business Processes. Includes escalations, group-based access control, reporting, SLA measurements and trouble tickets.
Execution monitor for Java Applications.<br/>
BERSERK implements the Intercepting Filter design pattern. <br/>
Allows composing and runtime editing of execution flow and intercept services with access control, logging or any user-defined filters.
A system to create and fill out digital questionaries, surveys and forms to collect data. Contains a flexible, condition based system for checks and flowcontrol. Will run on Java platforms, PDAs and web servers.