Open Hub
Open Hub

 Settings |  Report Duplicate

2
I Use This!
Very Low Activity
Analyzed about 3 hours ago. based on code collected about 3 hours ago.

Project Summary

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

Tags

bytecodeanalysis java jvm staticanalysis

In a Nutshell, JBSE...

Quick Reference

Project Links:

Code Locations:
https://github.com/pietrobraione...
Similar Projects:
Managers:
Pietro Braione

Licenses

GNU General Public License v3.0 only
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Use Patent Claims

Forbidden

Sub-License

Hold Liable

Required

Distribute Original

Disclose Source

Include Copyright

State Changes

Include License

Include Install Instructions

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    data presented on the Open Hub is available through our API
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    compare projects before you chose one to use

Code

Lines of Code

Activity

Commits per Month

Community

Languages

Java 		99%
3 Other 		1%

30 Day Summary

Oct 12 2025 — Nov 11 2025

12 Month Summary

Nov 11 2024 — Nov 11 2025
  • 11 Commits
    Up + 6 (120%) from previous 12 months
  • 1 Contributors
    Down 0 (0%) from previous 12 months

Most Recent Contributors

...ndropellegrini pietro
Pietro Braione ...s-Axel Jaloyan
Giovanni Denaro MatteoModonato

Ratings

Be the first to rate this project
Click to add your rating
  
Review this Project!