1
I Use This!
Inactive
Analyzed about 5 hours ago. based on code collected 1 day ago.

Project Summary

A set of benchmark examples to test and compare different null safety solutions for their soundness and expressiveness.

Tags

correctness expressiveness null-safety object-initialization soundness static-analysis void-safety

In a Nutshell, Null Safety Benchmark...

Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International
Permitted
Forbidden
Required

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
  • ...
    data presented on the Open Hub is available through our API
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

Eiffel
33%
Java
30%
Kotlin
29%
2 Other
8%

30 Day Summary

Feb 27 2024 — Mar 28 2024

12 Month Summary

Mar 28 2023 — Mar 28 2024

Ratings

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