Open Hub
Open Hub

Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

JBSE

Compare

  Analyzed 1 day ago

A symbolic Java virtual machine for program analysis, verification and test generation.

72.2K lines of code

3 current contributors

about 2 months since last commit

2 users on Open Hub

Very Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: gpl3
Tags bytecodeanalysis java jvm staticanalysis

The OPAL Project - An OPen Analysis Library for Java Bytecode

Compare

  Analyzed 1 day ago

OPAL is a platform for analyzing and engineering Java byte code that is written in Scala and which leverages Scala's advanced language features to provide a new and previously unseen level of customizability and scalability. OPAL was designed from the ground up with extensibility, adaptability and ... [More] scalability in mind. In general, OPAL facilitates writing concurrent analyses and is already highly parallelized. On top of the framework for representing and engineering Java byte code, OPAL in particular provides a framework for the abstract interpretation of Java bytecode. Additionally, it has built-in support for the analysis of static source code dependencies and generally provides extensive support for pattern-matching on Java bytecode. [Less]

498K lines of code

8 current contributors

2 days since last commit

1 users on Open Hub

High Activity
0.0
 
0 Reviews
I Use This
Mostly written in Scala
Licenses: bsd_2clau...
Tags abstractinterpretation architecture bytecode bytecodeanalysis concurrent dependencies dependencyanalysis java javabytecode jvm scala staticanalysis

KAnnotator

Compare

  Analyzed about 21 hours ago

Infer @Nullable/@NotNull and other annotations from byte code

657K lines of code

0 current contributors

almost 8 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Python
Licenses: apache_2
Tags analysis annotations bytecodeanalysis code_analysis java static staticanalysis