Sign in

Repository Index

47,133 repositories indexed

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

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

Spends CPU cycles so you don't spend tokens. The LLM gets a briefing packet instead of a flashlight in a dark room.

Static analysis tool to prevent logging of sensitive data by detecting struct fields marked as sensitive.