N

Null Safety Benchmark

Settings | Report Duplicate

1

I Use This!

Inactive

Analyzed 1 day 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...

...
has had 85 commits made by 2 contributors
representing 1,607 lines of code
...
is mostly written in Eiffel
with a well-commented source code
...
has a codebase with a long source history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in October, 2017
ending with its most recent commit over 4 years ago

Quick Reference

Homepage
Download

Code Locations:

https://bitbucket.org/kwaxer/nul...

Similar Projects:

Alexander Kogtenkov

Licenses

Creative Commons Attribution Non Commercial Share Alike 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.

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
...
you can embed statistics from Open Hub on your site
...
65% of companies leverage OSS to speed application development in 2016
...
search using multiple tags to find exactly what you need

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

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

30 Day Summary

Sep 16 2025 — Oct 16 2025

0 Commits
0 Contributors

12 Month Summary

Oct 16 2024 — Oct 16 2025

0 Commits
0 Contributors

Most Recent Contributors

...nder Kogtenkov

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!