Selecting "occurrence" crashes Frama-C
ID0000550: This issue was created automatically from Mantis Issue 550. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000550 | Frama-C | Plug-in > occurrence | public | 2010-07-28 | 2014-02-12 |
| Reporter | boris | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | Frama-C Carbon-20101201-beta1 |
Description :
My binary search example crashes Frama-C if I right-click on some variable, eg low, and select "occurrence".
Additional Information :
The full backtrace is: Raised at file "src/kernel/globals.ml", line 492, characters 10-95 Called from file "src/value/eval.ml", line 5154, characters 22-44 Re-raised at file "src/value/eval.ml", line 5169, characters 50-53 Called from file "src/project/computation.ml", line 914, characters 2-6 Re-raised at file "src/project/computation.ml", line 918, characters 8-11 Called from file "camlinternalOO.ml", line 374, characters 12-17 Called from file "camlinternalOO.ml", line 384, characters 24-40 Called from file "src/project/computation.ml", line 914, characters 2-6 Re-raised at file "src/project/computation.ml", line 918, characters 8-11 Called from file "src/occurrence/register.ml", line 152, characters 2-12 Called from file "src/kernel/journal.ml", line 323, characters 15-26 Re-raised at file "src/kernel/journal.ml", line 338, characters 14-15 Called from file "src/occurrence/register_gui.ml", line 37, characters 9-32 Called from file "src/lib/extlib.ml", line 176, characters 12-15 Re-raised at file "src/lib/extlib.ml", line 181, characters 10-11 Called from file "src/gui/gtk_helper.ml", line 533, characters 8-385
Unexpected error (Globals.No_such_entry_point("Could not find entry point: main")). Please report as 'crash' at http://bts.frama-c.com