Pietro Braione

Managed Projects

JBSE

J

Analyzed 1 day ago

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

72.2K lines of code

3 current contributors

4 months since last commit

2 users on Open Hub

Very Low Activity

I Use This

Mostly written in Java

Tags bytecodeanalysis java jvm staticanalysis