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

Merge pull request #383 from QiuYitai/master 

Fix the NULL Pointer Dereference vulnerability in `Abc_NtkCecFraigPart`.
This commit is contained in:
alanminko 2025-03-07 23:17:19 +07:00 committed by GitHub
parent fbd19056e7 db4a3005e3
commit cab003b277
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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" );