codyze-v2

Packages

Link copied to clipboard
Link copied to clipboard

Main Crymlin code analysis package.

Simple constant propagation.

Link copied to clipboard

Interprocedural Weighted Pushdown Systems for CPG.

Link copied to clipboard

Language Server Protocol (LSP) Connector

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard