modelcheck
modelguard
shapeaudit
