C

crust

A C static analyzer that allows to implement some parts of the memory management rules from RUST

Project ID: 7655623
Name
Last commit
Last update
doc Loading commit data...
src Loading commit data...
COPYING Loading commit data...
HISTORY.md Loading commit data...
README.md Loading commit data...
crust.h Loading commit data...
setup.py Loading commit data...