Changes between Initial Version and Version 1 of Ticket #7, comment 6


Ignore:
Timestamp:
10/29/2018 04:52:51 PM (6 years ago)
Author:
Henrich Lauko
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7, comment 6

    initial v1  
    1010                                                                                                                                                                                                                                               
    1111Adding --lart stubs makes LART sad:                                                                                                                                                                                                           
    12                                                                                                                                                                                                                                                
     12                                     
     13E: .../lart/abstract/stash.cpp: 127:
     14  expected rets.size() == 1 && "No single return instruction found."
     15                                                                                                                                                                                                         
    13167. same error                                                                                                                                                                                                                                 
    14 8. partialy fixed, programs contains allocation of symbolic size - finds spurious error (similar to case 9)                                                                                                                                   
     178. partially fixed, programs contains an allocation of symbolic size - finds a spurious error (similar to case 9)                                                                                                                                   
    1518    - we need to check for tainted value inside of malloc                                                                                                                                                                                     
    16199. same error