Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

A programming language with static memory management based on λ-calculus

Crucible is a library for symbolic simulation of imperative programs