Skip to content

Value analysis crashes in lib-entry mode with peculiar context

ID0000820: This issue was created automatically from Mantis Issue 820. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0000820 Frama-C Plug-in > Eva public 2011-05-11 2011-10-10
Reporter ddelmas Assigned To pascal Resolution fixed
Priority normal Severity crash Reproducibility always
Platform - OS - OS Version -
Product Version Frama-C Carbon-20110201 Target Version - Fixed in Version Frama-C Nitrogen-20111001

Description :

A crash occurs with command : frama-c -val -lib-entry -main F -context-width 1 -context-depth 0 crash_align.c

Additional Information :

The analysis does not crash with -context-depth 1.

Attachments

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information