Open Hub
Open Hub

Tags : Browse Projects

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

JBSE

Compare

  Analyzed about 24 hours ago

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

74.4K lines of code

3 current contributors

13 days 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 about 6 hours 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]

232K lines of code

8 current contributors

almost 7 years since last commit

1 users on Open Hub

Inactive
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 19 minutes ago

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

657K lines of code

0 current contributors

almost 9 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