2 files changed, 19 insertions, 0 deletions
diff --git a/src/misc/extra/extraUtilFile.c b/src/misc/extra/extraUtilFile.c
index 5f905814..9f73a5f1 100644
--- a/src/misc/extra/extraUtilFile.c
+++ b/src/misc/extra/extraUtilFile.c
@@ -185,6 +185,7 @@ char * Extra_FileNameGenericAppend( char * pBase, char * pSuffix )
 {
     static char Buffer[1000];
     char * pDot;
+    assert( strlen(pBase) + strlen(pSuffix) < 1000 );
     strcpy( Buffer, pBase );
     if ( (pDot = strrchr( Buffer, '.' )) )
         *pDot = 0;
diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h
index 4422fc85..fe6e98dd 100644
--- a/src/misc/vec/vecInt.h
+++ b/src/misc/vec/vecInt.h
@@ -257,6 +257,24 @@ static inline Vec_Int_t * Vec_IntDupArray( Vec_Int_t * pVec )
   SeeAlso     []
 
 ***********************************************************************/
+static inline void Vec_IntErase( Vec_Int_t * p )
+{
+    p->pArray = NULL;
+    p->nSize = 0;
+    p->nCap = 0;
+}
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
 static inline void Vec_IntFree( Vec_Int_t * p )
 {
     ABC_FREE( p->pArray );