Do you need just a one-click solution? Then we provide a tool which is fed with the Java JAR files and it outputs a report with compatibility problems. All the complexity is hidden underneath, you just have to provide your application modules and let VerifaLabs work.

It does not matter whether you develop for desktop, mobile, or server, we may analyze any Java binaries.

We provide you data, which lets you easily comprehend wrong dependencies in analyzed application. This way, you can see which invoked API is not fulfilled, what is the detail of the problem, and in many situations, we help you find a solution.

Overall Internal Compatibility

  • Verifies API calls in the whole application
  • Covers 100% of calls
  • Fast enough for Continuous integration

Calls Security Check

  • Verifies application calls against given rules
  • Explores malicious invocations
  • Helps enforce library arrangements

Backward Compatibility

  • Compatibility verification of evolved libraries
  • Suitable for both in-house and third party libraries

Verification Reports

HTML Reportgraph-libraries

The report is a HTML page, which may be opened on any devices, works offline  and provides flexibility together with  user interactivity. We show you an overview of problematic modules and problems categorization, then you can dive into details and analyze particular problems.

  • Can be directly generated by continuous integration
  • Easy to understand output
  • Easy accessibility and sharing on corporate network

Following example shows a method next(), from LineIterator, which is invoked with an incorrect return type. A solution, in this case, is to use another version of Commons-IO library.

While we analyze binary libraries, we provide functionality to decompile byte-code of classes to help developers overview the problem in their most familiar environment — source code.

detailSee example >

Microsoft Excel WorksheetVerifa Checker Excel Output


  • Speeds-up first configuration of tool
  • Comfortable work with thousands of results
  • Automatic severity classification
  • Automated Blacklist creation

Console Output

  • Works on any (Java compatible) platform
  • Logging-like usage
  • Parsable by third-party integration

Tools and Integration

We provide the main verification engine as a standalone application, but we also integrate  with popular developer tools. We have a Maven plugin, which may be invoked from your favorite IDE like Eclipse, IntelliJ IDEA, or integrated into continuous integration tools like Jenkins.