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

Other Useful Business Software

Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

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
Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

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. We are SOC 2 Type 2 certified. 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...

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