ShiftLeftSecurity / codepropertygraph

Specification and Scala tooling for the Code Property Graph, a language-agnostic representation of program code for analysis.

a16z / erc4626-tests

Foundry property-based test suites that check whether an ERC4626 vault implementation meets the standard's requirements.