Adding out-of-bounds checks to AIGER readers.

src/aig/gia/giaAiger.c

@@ -369,7 +369,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS
 
     // read signal names if they are of the special type
     pCur = pSymbols;
-    if ( *pCur != 'c' )
+    if ( pCur < (unsigned char *)pContents + nFileSize && *pCur != 'c' )
     {
         int fBreakUsed = 0;
         unsigned char * pCurOld = pCur;

src/base/io/ioReadAiger.c

@@ -477,7 +477,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck )
  
     // read the names if present
     pCur = pSymbols;
-    if ( *pCur != 'c' )
+    if ( pCur < pContents + nFileSize && *pCur != 'c' )
     {
         int Counter = 0;
         while ( pCur < pContents + nFileSize && *pCur != 'c' )