luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix the null reference vulnerability

This commit is contained in:
qiuweibin 2025-03-07 10:48:02 +00:00
parent fbd19056e7
commit db4a3005e3
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/base/abci/abcVerify.c
View File

@ -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" );