Data-Flow Analysis Framework for Java download

A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all

Project Activity

See All Activity >

License

BSD License

Follow Data-Flow Analysis Framework for Java

Data-Flow Analysis Framework for Java Web Site

nel_h2

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it Free

Rate This Project

User Reviews

Be the first to post a review of Data-Flow Analysis Framework for Java!

Additional Project Details

Languages

English

Intended Audience

Developers, Science/Research

Programming Language

Java

Related Categories

Java Build Tools, Java Code Generators, Java Compilers

Registered

2002-09-16

Similar Business Software

Robot Framework

Robot Framework is a generic open-source automation framework. It can be used for test automation and robotic process automation (RPA). Robot Framework is supported by Robot Framework Foundation. Many industry-leading companies use the tool in their software development. Robot Framework is open...

See Software
Grails

A powerful Groovy-based web application framework for the JVM built on top of Spring Boot. Convention-over-configuration, sensible defaults, opinionated APIs, and the Groovy language combine to make the Grails® framework easy to learn for Java developers. The Grails framework is built on top of...

See Software
HUnit

HUnit is a unit testing framework for Haskell, inspired by the JUnit tool for Java. It's easy to use HUnit, assuming you are familiar with Haskell, though not necessarily with JUnit. A test-centered methodology for software development is most effective when tests are easy to create, change, and...

See Software
Adobe PDF Library SDK

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same source code as Acrobat for...

See Software
Etheno

Etheno is an Ethereum-testing, JSON RPC multiplexer, analysis tool wrapper, and test integration tool. It eliminates the complexity of setting up analysis tools like Echidna on large, multi-contract projects. If you are a smart contract developer, you should use Etheno to test your contracts. If...

See Software
Testinium

Selenium & Appium based with extensive mobile device mobile devices and web browsers for quick results. Helps you to manage your automation tests on one platform. Software tests have to be repeated often during development cycles to ensure quality. For each release of the software, it may be...

See Software