--- src/aig/miniaig/ndr.h.orig	2019-12-17 15:57:46.000000000 -0700
+++ src/aig/miniaig/ndr.h	2019-12-18 09:47:14.076891270 -0700
@@ -496,8 +496,16 @@ static inline void Ndr_WriteVerilog( cha
 {
     Ndr_Data_t * p = (Ndr_Data_t *)pDesign; int Mod;
 
-    FILE * pFile = pFileName ? fopen( pFileName, "wb" ) : stdout;
-    if ( pFile == NULL ) { printf( "Cannot open file \"%s\" for writing.\n", pFileName ); return; }
+    FILE * pFile;
+    if (pFileName)
+    {
+        pFile = fopen( pFileName, "wb" );
+        if ( pFile == NULL ) { printf( "Cannot open file \"%s\" for writing.\n", pFileName ); return; }
+    }
+    else
+    {
+        pFile = stdout;
+    }
 
     Ndr_DesForEachMod( p, Mod )
         Ndr_WriteVerilogModule( pFile, p, Mod, pNames );
--- src/base/abci/abcMiter.c.orig	2019-12-17 15:57:46.000000000 -0700
+++ src/base/abci/abcMiter.c	2019-12-18 09:44:30.567338848 -0700
@@ -863,7 +863,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-12-18 09:43:13.388550105 -0700
+++ src/base/io/ioReadBlifMv.c	2019-12-18 09:43:30.483503314 -0700
@@ -1626,7 +1626,7 @@ static int Io_MvParseLineMv( Io_MvMod_t
 ***********************************************************************/
 static int Io_MvWriteValues( Abc_Obj_t * pNode, Vec_Str_t * vFunc )
 {
-    char Buffer[10];
+    char Buffer[12];
     Abc_Obj_t * pFanin;
     int i;
     // add the fanin number of values
@@ -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/wlc/wlcNdr.c.orig	2019-12-17 15:57:46.000000000 -0700
+++ src/base/wlc/wlcNdr.c	2019-12-18 08:43:25.865457806 -0700
@@ -487,7 +487,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-12-17 15:57:46.000000000 -0700
+++ src/base/wln/wlnNdr.c	2019-12-18 08:43:25.866457804 -0700
@@ -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/opt/dau/dauMerge.c.orig	2019-12-17 15:57:46.000000000 -0700
+++ src/opt/dau/dauMerge.c	2019-12-18 09:48:48.630632559 -0700
@@ -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-12-17 15:57:46.000000000 -0700
+++ src/proof/fra/fraCore.c	2019-12-18 09:50:22.838375767 -0700
@@ -163,7 +163,7 @@ static inline void Fra_FraigNodeSpeculat
     // create manager with the logic for these two nodes
     pTemp = Aig_ManExtractMiter( p->pManFraig, pObjFraig, pObjReprFraig );
     // dump the logic into a file
-    sprintf( FileName, "aig\\%03d.blif", ++Counter );
+    snprintf( FileName, 20U, "aig\\%03d.blif", ++Counter );
     Aig_ManDumpBlif( pTemp, FileName, NULL, NULL );
     printf( "Speculation cone with %d nodes was written into file \"%s\".\n", Aig_ManNodeNum(pTemp), FileName );
     // clean up