Pietro Braione

Managed Projects

JBSE

J

Analyzed about 4 hours ago

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

72.2K lines of code

3 current contributors

about 1 month since last commit

2 users on Open Hub

Very Low Activity

I Use This

Mostly written in Java

Tags bytecodeanalysis java jvm staticanalysis