--- src/aig/aig/aigUtil.c.orig 2019-05-30 20:27:31.000000000 -0600
+++ src/aig/aig/aigUtil.c 2019-06-04 09:42:11.236444258 -0600
@@ -725,7 +725,7 @@ void Aig_ManPrintVerbose( Aig_Man_t * p,
void Aig_ManDump( Aig_Man_t * p )
{
static int Counter = 0;
- char FileName[20];
+ char FileName[24];
// dump the logic into a file
sprintf( FileName, "aigbug\\%03d.blif", ++Counter );
Aig_ManDumpBlif( p, FileName, NULL, NULL );
--- src/aig/gia/giaScript.c.orig 2019-05-30 20:27:31.000000000 -0600
+++ src/aig/gia/giaScript.c 2019-06-04 09:42:11.237444240 -0600
@@ -610,10 +610,10 @@ void Gia_ManPerformFlow( int fIsMapped,
void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, int nCutNum, int fBalance, int fMinAve, int fUseMfs, int fVerbose )
{
char Comm1[100], Comm2[100], Comm3[100], Comm4[100];
- sprintf( Comm1, "&synch2 -K %d -C 500; &if -m%s -K %d -C %d; %s &save", nLutSize, fMinAve?"t":"", nLutSize, nCutNum, fUseMfs ? "&put; mfs2 -W 4 -M 500 -C 7000; &get -m;":"" );
- sprintf( Comm2, "&dch -C 500; &if -m%s -K %d -C %d; %s &save", fMinAve?"t":"", nLutSize, nCutNum+4, fUseMfs ? "&put; mfs2 -W 4 -M 500 -C 7000; &get -m;":"" );
- sprintf( Comm3, "&synch2 -K %d -C 500; &lf -m%s -E 5 -K %d -C %d; %s &save", nLutSize, fMinAve?"t":"", nLutSize, nCutNum, fUseMfs ? "&put; mfs2 -W 4 -M 500 -C 7000; &get -m;":"" );
- sprintf( Comm4, "&dch -C 500; &lf -m%sk -E 5 -K %d -C %d; %s &save", fMinAve?"t":"", nLutSize, nCutNum+4, fUseMfs ? "&put; mfs2 -W 4 -M 500 -C 7000; &get -m;":"" );
+ snprintf( Comm1, 100U, "&synch2 -K %d -C 500; &if -m%s -K %d -C %d; %s &save", nLutSize, fMinAve?"t":"", nLutSize, nCutNum, fUseMfs ? "&put; mfs2 -W 4 -M 500 -C 7000; &get -m;":"" );
+ snprintf( Comm2, 100U, "&dch -C 500; &if -m%s -K %d -C %d; %s &save", fMinAve?"t":"", nLutSize, nCutNum+4, fUseMfs ? "&put; mfs2 -W 4 -M 500 -C 7000; &get -m;":"" );
+ snprintf( Comm3, 100U, "&synch2 -K %d -C 500; &lf -m%s -E 5 -K %d -C %d; %s &save", nLutSize, fMinAve?"t":"", nLutSize, nCutNum, fUseMfs ? "&put; mfs2 -W 4 -M 500 -C 7000; &get -m;":"" );
+ snprintf( Comm4, 100U, "&dch -C 500; &lf -m%sk -E 5 -K %d -C %d; %s &save", fMinAve?"t":"", nLutSize, nCutNum+4, fUseMfs ? "&put; mfs2 -W 4 -M 500 -C 7000; &get -m;":"" );
// perform synthesis
if ( fVerbose )
--- src/base/abci/abcMiter.c.orig 2019-05-30 20:27:31.000000000 -0600
+++ src/base/abci/abcMiter.c 2019-06-04 09:42:11.238444223 -0600
@@ -860,7 +860,7 @@ void Abc_NtkAddFrame( Abc_Ntk_t * pNtkFr
{
int fVerbose = 0;
int NodeBef = Abc_NtkNodeNum(pNtkFrames);
- char Buffer[10];
+ char Buffer[12];
Abc_Obj_t * pNode, * pLatch;
int i;
// create the prefix to be added to the node names
--- src/base/io/ioReadBlifMv.c.orig 2019-06-04 09:40:32.232191985 -0600
+++ src/base/io/ioReadBlifMv.c 2019-06-04 09:42:11.239444205 -0600
@@ -1656,7 +1656,7 @@ static int Io_MvWriteValues( Abc_Obj_t *
***********************************************************************/
static int Io_MvParseLiteralMv( Io_MvMod_t * p, Abc_Obj_t * pNode, char * pToken, Vec_Str_t * vFunc, int iLit )
{
- char Buffer[10];
+ char Buffer[12];
Io_MvVar_t * pVar;
Abc_Obj_t * pFanin, * pNet;
char * pCur, * pNext;
--- src/base/ver/verCore.c.orig 2019-05-30 20:27:31.000000000 -0600
+++ src/base/ver/verCore.c 2019-06-04 09:42:11.240444188 -0600
@@ -1171,7 +1171,7 @@ int Ver_ParseAssign( Ver_Man_t * pMan, A
pNode = Abc_NtkCreateNodeBuf( pNtk, pNet );
// get the fanout net
- sprintf( Buffer2, "%s[%d]", Buffer, Bit );
+ snprintf( Buffer2, 1000U, "%s[%d]", Buffer, Bit );
pNet = Ver_ParseFindNet( pNtk, Buffer2 );
if ( pNet == NULL )
{
--- src/base/wlc/wlcNdr.c.orig 2019-05-30 20:27:31.000000000 -0600
+++ src/base/wlc/wlcNdr.c 2019-06-04 09:42:11.241444170 -0600
@@ -478,7 +478,7 @@ Wlc_Ntk_t * Wlc_NtkFromNdr( void * pData
pNtk->pManName = Abc_NamStart( NameIdMax+1, 10 );
for ( i = 1; i <= NameIdMax; i++ )
{
- char pName[20]; sprintf( pName, "s%0*d", nDigits, i );
+ char pName[20]; snprintf( pName, 20U, "s%0*d", nDigits, i );
NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, &fFound );
assert( !fFound && i == NameId );
}
--- src/base/wln/wlnNdr.c.orig 2019-05-30 20:27:31.000000000 -0600
+++ src/base/wln/wlnNdr.c 2019-06-04 09:42:11.242444152 -0600
@@ -256,7 +256,7 @@ Wln_Ntk_t * Wln_NtkFromNdr( void * pData
pNtk->pManName = Abc_NamStart( NameIdMax+1, 10 );
for ( i = 1; i <= NameIdMax; i++ )
{
- char pName[20]; sprintf( pName, "s%0*d", nDigits, i );
+ char pName[20]; snprintf( pName, 20U, "s%0*d", nDigits, i );
NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, &fFound );
assert( !fFound && i == NameId );
}
--- src/bdd/cas/casCore.c.orig 2019-05-30 20:27:31.000000000 -0600
+++ src/bdd/cas/casCore.c 2019-06-04 09:42:11.243444135 -0600
@@ -259,7 +259,7 @@ int Abc_CascadeExperiment( char * pFileG
if ( fCheck )
{
char Command[200];
- sprintf( Command, "cec %s %s", FileNameIni, FileNameFin );
+ snprintf( Command, 200U, "cec %s %s", FileNameIni, FileNameFin );
Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Command );
}
--- src/opt/dau/dauMerge.c.orig 2019-05-30 20:27:31.000000000 -0600
+++ src/opt/dau/dauMerge.c 2019-06-04 09:42:11.243444135 -0600
@@ -661,7 +661,7 @@ printf( "%s\n", pDsd1 );
nVarsShared = Dau_DsdMergeFindShared(pDsd0, pDsd1, pMatches0, pMatches1, pVarPres);
if ( nVarsShared == 0 )
{
- sprintf( pRes, "(%s%s)", pDsd0, pDsd1 );
+ snprintf( pRes, DAU_MAX_STR, "(%s%s)", pDsd0, pDsd1 );
if ( fVerbose )
printf( "Disjoint:\n" );
if ( fVerbose )
@@ -715,7 +715,7 @@ Dau_DsdMergeStorePrintDefs( pS );
// create new function
// assert( nVarsTotal <= 6 );
- sprintf( pS->pOutput, "(%s%s)", pDsd0, pDsd1 );
+ snprintf( pS->pOutput, DAU_MAX_STR, "(%s%s)", pDsd0, pDsd1 );
pTruth = Dau_DsdToTruth( pS->pOutput, nVarsTotal );
Status = Dau_DsdDecompose( pTruth, nVarsTotal, 0, 1, pS->pOutput );
//printf( "%d ", Status );
--- src/proof/fra/fraCore.c.orig 2019-05-30 20:27:31.000000000 -0600
+++ src/proof/fra/fraCore.c 2019-06-04 09:42:11.243444135 -0600
@@ -156,7 +156,7 @@ int Fra_FraigMiterAssertedOutput( Aig_Ma
static inline void Fra_FraigNodeSpeculate( Fra_Man_t * p, Aig_Obj_t * pObj, Aig_Obj_t * pObjFraig, Aig_Obj_t * pObjReprFraig )
{
static int Counter = 0;
- char FileName[20];
+ char FileName[24];
Aig_Man_t * pTemp;
Aig_Obj_t * pNode;
int i;
--- src/sat/bmc/bmcMaj.c.orig 2019-05-30 20:27:31.000000000 -0600
+++ src/sat/bmc/bmcMaj.c 2019-06-04 09:42:11.243444135 -0600
@@ -585,7 +585,7 @@ void Exa_ManDumpBlif( Exa_Man_t * p, int
Extra_PrintHexadecimalString( Buffer, (unsigned *)p->pTruth, p->nVars );
if ( fCompl )
Abc_TtNot( p->pTruth, p->nWords );
- sprintf( FileName, "%s_%d_%d.blif", Buffer, 2, p->nNodes );
+ snprintf( FileName, 1000U, "%s_%d_%d.blif", Buffer, 2, p->nNodes );
pFile = fopen( FileName, "wb" );
fprintf( pFile, "# Realization of the %d-input function %s using %d two-input gates:\n", p->nVars, Buffer, p->nNodes );
fprintf( pFile, ".model %s_%d_%d\n", Buffer, 2, p->nNodes );