From db4a3005e31bbc9438e1b2ee1b3a610259a55e64 Mon Sep 17 00:00:00 2001
From: qiuweibin <354238065@qq.com>
Date: Fri, 7 Mar 2025 10:48:02 +0000
Subject: [PATCH] Fix the null reference vulnerability

---
 src/base/abci/abcVerify.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/base/abci/abcVerify.c b/src/base/abci/abcVerify.c
index f3e86746c..3ae3e1846 100644
--- a/src/base/abci/abcVerify.c
+++ b/src/base/abci/abcVerify.c
@@ -324,6 +324,12 @@ void Abc_NtkCecFraigPart( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int nSeconds, in
         }
         else if ( RetValue == 0 )
         {
+            if(!pMiterPart)
+            {
+                printf("ERROR: Failed to create cone for output %d.\n", i);
+                Status = -1; 
+                break; 
+            }
             int * pSimInfo = Abc_NtkVerifySimulatePattern( pMiterPart, pMiterPart->pModel );
             if ( pSimInfo[0] != 1 )
                 printf( "ERROR in Abc_NtkMiterProve(): Generated counter-example is invalid.\n" );