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