Sign in

Repository Index

55,140 visible repositories in the index

Tags: Static analysis
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–4 of 4 · Most stars

Flog reports the most tortured code in an easy to read pain report. The higher the score, the more pain the code is in.

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.