Pietro Braione

Managed Projects

JBSE

J

Analyzed 1 day ago

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

71.8K lines of code

3 current contributors

9 days since last commit

2 users on Open Hub

Very Low Activity

I Use This

Mostly written in Java

Tags bytecodeanalysis java jvm staticanalysis