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

Project Summary

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

Tags

bytecodeanalysis java jvm staticanalysis

Quick Reference

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.

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
  • ...
    check out hot projects on the Open Hub
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

Java
100%
2 Other
<1%

30 Day Summary

Jul 17 2022 — Aug 16 2022

12 Month Summary

Aug 16 2021 — Aug 16 2022
  • 15 Commits
    Down -225 (93%) from previous 12 months
  • 1 Contributors
    Down -4 (80%) from previous 12 months