search

nus-apr / CrashRepair

Security Vulnerability Repair via Concolic Execution and Code Mutations
16 stars 1 forks source link

Analysis crashes on coreutils/gnubug-26545 #128

Closed ChrisTimperley closed 1 year ago

ChrisTimperley commented 1 year ago 
                [warning] Unknown Crash Reason: 
                        [note] program did not crash
                [warning] Unknown Crash Reason: 
        Runtime Error
        sequence item 1: expected str instance, NoneType found
rshariffdeen commented 1 year ago

This bug is not reproducible by klee, its a memcpy param-overlap which is not detected by klee. I tried to modify/add the detection but its not straightforward without messing up the modelling.

ChrisTimperley commented 1 year ago

That's fine. Is it possible to have this scenario terminate normally rather than hitting a runtime error?

rshariffdeen commented 1 year ago

FIxed in c62f6b706ea6d8f0c0fc30e7e6c19fdfef36e692 analysis now exits gracefully if the program did not crash