fagner.ink

• convex-doctor — static analyzer for Convex