assertpy
grappa
iXGuard
SolidityScan
NeuralTrust.ai
BiasGuard
Symantec Endpoint Protection Mobile
Palo Alto Networks GlobalProtect
Trend Micro Deep Security
BlackBerry Blend
iXGuardgrappa - grappa is an declarative, verbose, and expressive assertion library for Python.
SolidityScan - The Ultimate EVM Compatible Smart Contract Analysis Tool!