SESCon: Secure Ethereum Smart Contracts by Vulnerable Patterns’ Detection

Table 1

Comparison of vulnerability detection.

Vul. ID [14]	Solhint [42]	Securify [9]	Slither [11]	SmartCheck [13]	SESCon
SWC-100	Yes	Yes	Yes	Yes	Yes
SWC-101	No	Yes	Yes	No	Yes
SWC-102	Yes	No	Yes	No	Yes
SWC-103	Partially	Yes	Yes	Yes	Yes
SWC-104	Yes	Yes	Yes	Yes	Yes
SWC-105	Yes	Yes	Yes	No	Yes
SWC-106	Yes	Yes	Yes	No	Yes
SWC-107	Partially	Yes	Yes	Partially	Yes
SWC-108	Yes	Yes	Partially	Yes	Yes
SWC-109	No	Yes	No	No	Yes
SWC-110	No	No	Yes	No	Yes
SWC-111	Yes	No	Yes	Yes	Yes
SWC-112	Partially	Yes	Yes	Partially	Yes
SWC-113	Yes	Partially	No	Yes	Yes
SWC-114	Partially	Yes	Yes	Partially	Yes
SWC-115	No	Yes	No	Yes	Yes
SWC-116	Yes	Yes	Partially	No	Yes
SWC-117	No	No	No	No	Yes
SWC-118	No	No	Yes	No	Yes
SWC-119	No	Partially	Yes	No	Yes
SWC-120	Yes	No	No	No	Yes
SWC-121	No	Partially	Yes	No	Yes
SWC-122	No	No	Yes	No	Yes
SWC-123	No	No	Yes	No	Yes
SWC-124	No	Yes	No	Yes	Yes
SWC-125	No	Partially	No	No	Yes
SWC-126	No	Partially	Yes	No	Yes
SWC-127	Partially	No	Yes	Partially	Yes
SWC-128	No	No	Partially	Partially	Yes
SWC-129	Partially	Partially	No	No	Yes
SWC-130	No	Yes	Partially	No	Yes
SWC-131	Partially	No	Yes	No	Yes
SWC-132	Partially	Yes	Yes	No	Yes
SWC-133	No	No	Partially	No	Partially
SWC-134	Partially	No	Partially	No	Partially
SWC-135	No	Partially	No	No	Partially
SWC-136	No	No	No	No	Partially