
Product
Introducing Module Reachability: Focus on the Vulnerabilities That Matter
Module Reachability filters out unreachable CVEs so you can focus on vulnerabilities that actually matter to your application.
github.com/andreacervetti/buttons
A Button Mania game written in Ada
The game presents a 6x6 grid of button with number from 0 to 3.
Clicking on a number that number and the four number surrounding it decrease by 1. If the value is 0 it is set to 3 again. The goal of the game is to set all numbers to 0. The game can be set to different level of difficulty. Every level can be solved in a maximum number of moves that is <level number> * 3. So, level "Normal" (5) can be solved in 15 moves.
To compile the program you will need:
Both can be dowloaded from Adacore.
Under Linux or Freebsd you can use the packages that came with your distribution.
FAQs
Did you know?
Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.
Product
Module Reachability filters out unreachable CVEs so you can focus on vulnerabilities that actually matter to your application.
Company News
Socket is bringing best-in-class reachability analysis into the platform — cutting false positives, accelerating triage, and cementing our place as the leader in software supply chain security.
Product
Socket is introducing a new way to organize repositories and apply repository-specific security policies.