jspecify / jspecify Star 527 Code Issues Pull requests Discussions An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis. android kotlin java static-analysis annotations null standard-library nullability-analysis jvm-languages bugfinding Updated Sep 27, 2024 Java
ghulamyazdani / BugFest Star 1 Code Issues Pull requests Show those pesky bugs who is the boss by detecting and removing bugs in a code!✨ bugfest bugfinding Updated Nov 30, 2021 C++