title: Eva plugin of Frama-C reports "invalid user input" after finishing analysis
body: <p>I get the following log when I am trying to apply Eva plugin to a C project.</p>
  
  <pre><code>[eva:summary] ====== ANALYSIS SUMMARY ======
    ----------------------------------------------------------------------------
    53 functions analyzed (out of 9107): 0% coverage.
    In these functions, 5300 statements reached (out of 14354): 36% coverage.
    ----------------------------------------------------------------------------
    Some errors and warnings have been raised during the analysis:
      by the Eva analyzer:      0 errors   15 warnings
      by the Frama-C kernel:    0 errors    2 warnings
    ----------------------------------------------------------------------------
    45 alarms generated by the analysis:
        29 invalid memory accesses
         4 accesses out of bounds index
         6 invalid shifts
         1 access to uninitialized left-values
         5 others
    ----------------------------------------------------------------------------
    Evaluation of the logical properties reached by the analysis:
      Assertions     1113 valid    18 unknown     1 invalid   1132 total
      Preconditions     0 valid     0 unknown     0 invalid      0 total
    98% of the logical properties reached have been proven.
    ----------------------------------------------------------------------------
  [kernel] Warning: warning CERT:MSC:38 treated as deferred error. See above messages for more information.
  [kernel] Frama-C aborted: invalid user input.
  </code></pre>
  
  <p>Frama-C aborted the analysis after providing the analysis summary. However, it does not point out which file and which line of code that has a problem.
  Could you please let me know which are possible problems in this case? And is the analysis finished?</p>